Refine your search
Availability
-
Bibliographic level
- Книги (8)
-
Authors
- Барчан, Любовь Андреевна (1)
- Герасимов, Александр Сергеевич (1)
- Гуц, Александр Константинович (1)
- Змеевский, А. В. (1)
- Колосов, Юрий Михайлович (1)
- Крупский, Владимир Николаевич (1)
- Плиско, Валерий Егорович (1)
- Прокофьев, Н. В. (1)
- Рогожин, Михаил Юрьевич (1)
- Титов, Юрий Павлович (1)
- Флеров, Василий Сергеевич (1)
- Show more
- Show less
-
Locations
-
Item types
- Выдается по месту хранения [x]
- Выдается в читальный зал (2)
- 1 месяц (2)
- 6 месяцев (2)
- 1 неделя (1)
-
Topics
- исчисление предикатов (3)
- резолюции (3)
- Тьюринга машины (2)
- алгоритмические проблемы неразрешимые (2)
- алгоритмов теория (2)
- арифметика формальная (2)
- исчисление высказываний (2)
- логика высказываний (2)
- логика предикатов (2)
- математическая логика (2)
- метод резолюций (2)
- учебные пособия для вузов (2)
- 19 век конец (1)
- 20 век начало (1)
- Васильев, Николай Александрович (1)
- Васильева логика (1)
- Великая Отечественная война 1941-1945 гг (1)
- Вригт, Георг фон (1)
- Геделя теорема о неполноте (1)
- Государство и право России (1)
- Государство и право СССР (1)
- История (1)
- Кантгоуту логически возможные среды (1)
- Колмогоров, Андрей Николаевич (1)
- Крипке семантика (1)
- Крипке, Сол (1)
- Легализация доходов, полученных преступным путем (1)
- Ленин, Владимир Ильич (1)
- Лукасевича логика трехзначная (1)
- Маркова алгоритмы нормальные (1)
- Маркова алгорифмы нормальные (1)
- Математическая логика (1)
- Международное сотрудничество (1)
- Пост, Эмиль Леон (1)
- Предупреждение (1)
- Преступление (1)
- Псковская судная грамота (1)
- Россия (1)
- Русская правда (1)
- СССР. (1)
- Томск, город (1)
- Томская городская партийная организация (1)
- Тьюринг, Алан Мэтисон (1)
- Тьюринга-Поста машина (1)
- Хоар, Чарльз (1)
- Хоара исчисление (1)
- Хоара логика алгоритмическая, аксиомы (1)
- Хрестоматии (1)
- Цермело-Френкеля теория множеств (1)
- аксиоматические теории (1)
- Show more
- Show less