Normal view
MARC view
Математическая логика и теория алгоритмов А. К. Гуц
Material type:
TextPublication details: Москва ЛИБРОКОМ 2009Edition: Изд. 2-е, допDescription: 117 сISBN: 9785397000567; 5397000567Subject(s): Колмогоров, Андрей Николаевич 1903-1987 | Пост, Эмиль Леон | Тьюринг, Алан Мэтисон 1912-1954 | Васильев, Николай Александрович | Хоар, Чарльз | Вригт, Георг фон | Крипке, Сол 1940- | учебные пособия для вузов | логика высказываний | логика предикатов | метод резолюций | исчисление высказываний | исчисление предикатов | арифметика формальная | логическое программирование | математическая логика | теория алгоритмов | исчисления формальные | логика нечеткая | арифметика нечеткая | логики модальные | логики временные | логики алгоритмические | Крипке семантика | Хоара логика алгоритмическая, аксиомы | Васильева логика | Лукасевича логика трехзначная | функции рекурсивные | Тьюринга-Поста машина | Маркома алгорифмы нормальные | сложность алгоритмов | виртуальная реальность, генератор | логики неклассические | логика интуиционистская | логики временные | алгоритмы эффективные | алгоритмические проблемы неразрешимые | Кантгоуту логически возможные среды | алгоритмы реальности
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Выдается в читальный зал | Книгохранилище | 1-985291к (Browse shelf (Opens below)) | Available | 13820000715384 | |
| 1 неделя | Читальный зал 5 | 510 Г977 (Browse shelf (Opens below)) | Available | 13820000715385 |
Библиогр.: с. 114-117
There are no comments on this title.