Основания математики: исчисления высказываний и предикатов: учебно-методическое пособие

Корнеева Н. Н. (Наталья Николаевна)

dc.contributor.author	Корнеева Н. Н. (Наталья Николаевна)
dc.date.accessioned	2015-06-30T09:50:02Z
dc.date.available	2015-06-30T09:50:02Z
dc.date.issued	2014
dc.identifier.uri	http://dspace.kpfu.ru/xmlui/handle/net/21425
dc.description.abstract	Учебно-методическое пособие предназначено для студентов второго курса Высшей школы информационных технологий и информационных систем и содержит основные разделы, излагаемые в курсе математической логики: исчисление высказываний и исчисление предикатов
dc.subject.other	Математическая логика -- Исчисление логическое -- Учебно-методические пособия
dc.title	Основания математики: исчисления высказываний и предикатов: учебно-методическое пособие
dc.type	eBook
dc.contributor.org	Высшая школа информационных технологий и информационных систем
dc.description.speciality	230700.62 Прикладная информатика
dc.description.course	Математическая логика
dc.description.qualification	бакалавриат
dc.collection	Учебно-методические материалы
dc.source.id	RU05CLSL05CEOR05C821