| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 87.45я73 - Л 656
Лихтарников, Л. М.
Математическая логика : курс лекций. Задачник-практикум и решения: учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. — 3-е изд., испр. — Санкт-Петербург : Лань, 2008. — 288 с. — (Учебники для вузов. Специальная литература). — ISBN 9785811400829. — Текст : непосредственный.
Математическая логика : курс лекций. Задачник-практикум и решения: учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. — 3-е изд., испр. — Санкт-Петербург : Лань, 2008. — 288 с. — (Учебники для вузов. Специальная литература). — ISBN 9785811400829. — Текст : непосредственный.
Экземпляры: Всего: 1, из них: аб.-1 в наличии 1
Подробнее
Авторы: Лихтарников Л. М., Сукачева Т. Г.
Отраслевые рубрики: логика, математика, математическая логика, философия
Ключевые слова: алгебра логики, алгоритмы, булева алгебра, высказывания, Геделя теорема о неполноте, двойственность, дедукция, дизъюнктивные нормальные формы, доказательство, исчисление высказываний, категоричность, конъюнктивные нормальные формы, логика предикатов, логические теории, непротиворечивость, предикаты, разрешимость
Индексы ББК: 87.45я73, 22.12я73
Представления: Формат MARC21