Normal view
MARC view
Математическая логика и теория алгоритмов [учебное пособие для вузов по специальностям "Комплексное обеспечение информационной безопасности автоматизированных систем", "Организация и технология защиты информации"] В. М. Зюзьков, А. А. Шелупанов
Material type: TextSeries: Учебное пособие для высших учебных заведенийPublication details: Москва Горячая линия - Телеком 2007Edition: 2-е издDescription: 176 с. ил., портрISBN: 9785935173494; 5935173492Subject(s): учебные пособия для вузов | математическая логика | алгоритмов теория | множеств теория | парадоксы математической логики | логика высказываний | булевы алгебры | логика предикатов | исчисление предикатов | исчисление высказываний | логический вывод | метод резолюций | многозначные логики | функции частично рекурсивные | ламбда-исчисление | Тьюринга машины | Черча тезис | сложность алгоритмов | упражненияItem type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | 2-007661к (Browse shelf (Opens below)) | Available | 13820000818416 | |
1 неделя | Читальный зал 5 | 510 З-981 (Browse shelf (Opens below)) | Available | 13820000818417 |
Библиогр.: с. 173-174
There are no comments on this title.