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