Kazan Federal University Digital Repository

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

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account

Statistics