Зюзьков В. М. Математическая логика и теория алгоритмов: учебное пособие для вузов / Зюзьков Валентин Михайлович, Шелупанов Александр Александрович; рецензенты В. А. Кочегуров, П. М. Нагорский. - 2-е изд. - Москва: Горячая линия - Телеком, 2007. - 176 с. - (Учебное пособие для высших учебных заведений: Специальность). - ISBN 5-93517-349-2.Гриф: Министерство образования и науки РФ Отраслевые рубрики: математика, математическая логика, теория алгоритмов Ключевые слова: алгоритмы, булева алгебра, булевы функции, диаграммы Венна, интерпретации, исчисления, логика, логика высказываний, логика предикатов, логические парадоксы, многозначные логики, предикаты, теория множеств, Черча тезис
Сигла хранения | Всего экз. | В наличии | Заказано | абонемент | 2 | 2 | 0 | чит. зал | 1 | 1 | 0 |
|