Конспект лекций О. Б. Лупанова по курсу "Введение в математическую логику" [учебное пособие для студентов и аспирантов]

Bibliographic Details
Main Author:	Лупанов, Олег Борисович
Other Authors:	Угольников, Александр Борисович (Editor)
Format:	eBook
Language:	Russian
Published:	Москва Издательство ЦПИ при механико-математическом факультете МГУ им. М. В. Ломоносова 2007
Subjects:	математическая логика функции алгебры логики функции многозначной логики исчисление предикатов логика предикатов логические сети автоматов теория функции вычислимые алгоритмы
Online Access:	http://lib.tsu.ru/limit/2017/000554855/000554855.pdf Перейти в каталог НБ ТГУ

Similar Items