Show simple item record

Богульская, Нина Александровна
Вепринцев, Дмитрий Владимирович
2011
978-5-7638-2123-9
Учебное пособие.
Доступ к полному тексту открыт из сети СФУ, вне сети доступ возможен для читателей Научной библиотеки СФУ или за плату.
Изложены классические исчисления математической логики: исчисление высказываний и исчисление предикатов, а также основные понятия теории алгоритмов; особое внимание уделяется вопросам теории и приложений булевых функций. Приведены многочисленные примеры.
http://catalog.sfu-kras.ru/ftext?%D0%91%D0%91%D0%9A22.12%2F%D0%91+748-105447
rus
ИПК СФУ
Для личного использования.
логика математическая
математическая логика
алгебра логики
алгоритмов теория
теория алгоритмов
исчисление предикатов
исчисление высказываний
булевы функции
учебные пособия
Математическая логика и теория алгоритмов
Book
Сибирский федеральный университет
Красноярск
http://lib3.sfu-kras.ru/ft/lib2/elib/b22/0233326.pdf
RU/НБ СФУ/BOOK1/ББК22.12/Б 748-105447


Files in this item

FilesSizeFormatView

This item appears in the following Collection(s)

Show simple item record