Математическая логика: конспект лекций

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

dc.contributor.author	Корнеева Н. Н. (Наталья Николаевна)
dc.date.accessioned	2015-06-30T09:51:41Z
dc.date.available	2015-06-30T09:51:41Z
dc.date.issued	2014
dc.identifier.uri	http://dspace.kpfu.ru/xmlui/handle/net/21881
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	RU05CLSL05CEOR05C315030