Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
- Зюзьков, Валентин Михайлович (1)
- Осуга, Сэцуо (1)
- Этов, В. И. (1)
-
Locations
- Книгохранилище (2)
- Абонемент (1)
- Абонемент. Депозитарий (1)
- Читальный зал. Депозитарий (1)
-
Item types
- 1 месяц (2)
- 6 месяцев (2)
- Выдается в читальный зал (1)
-
Topics
- язык предикатов (2)
- Геделя теоремы о неполноте (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