Kazan Federal University Digital Repository

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

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account