Cover Image

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

Учебно-методическое пособие предназначено для студентов второго курса Высшей школы информационных технологий и информационных систем и содержит основные разделы, излагаемые в курсе математической логики: исчисление высказываний и исчисление предикатов...

Full description

Main Author: Корнеева Н. Н. (Наталья Николаевна)
Other Authors: Казанский (Приволжский) федеральный университет: Высшая школа информационных технологий и информационных систем, Кафедра автономных робототехнических систем
Format: eBook
Published: 2014
Subjects:
Online Access: http://libweb.kpfu.ru/ebooks/50-ITIS/50_006_A5-000446.pdf
Tags: Add Tag
No Tags.
Bibliographic record:

Корнеева Н. Н. Основания математики: исчисления высказываний и предикатов: учебно-методическое пособие - 2014 - URL: http://libweb.kpfu.ru/ebooks/50-ITIS/50_006_A5-000446.pdf