Шапорев С. Д. Математическая логика: курс лекций и практических занятий: учебное пособие для вузов / Шапорев Сергей Дмитриевич. - Санкт-Петербург: БХВ-Петербург, 2019. - 416 с.: ил. - (Учебное пособие). - Список лит.: с. 405. - Предм. указ.: с. 406. - ISBN 978-5-9775-3806-0.Гриф: Научно-методический совет по математике вузов Северо-Запада Отраслевые рубрики: математика, математическая логика Ключевые слова: алгебра высказываний, алгебра логики, булева алгебра, Жегалкина полином, исчисление высказываний, исчисление предикатов, Карно карты, логика предикатов, логические задачи, логические операции, машина Тьюринга, рекурсия, теорема дедукции, теория алгоритмов
| Сигла хранения | Всего экз. | В наличии | Заказано | | абонемент | 40 | 33 | 0 |
| 
Блог Мишки Б.
