Refine your search
Availability
-
Bibliographic level
- Книги (5)
-
Authors
-
Locations
- Книгохранилище (5)
-
Item types
- Выдается в читальный зал (4)
- 1 месяц (1)
-
Topics
- логический формализм (5)
- искусственный интеллект (2)
- логические исчисления (2)
- математический формализм (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)
- интеллектуальные системы (1)
- информационное общество (1)
- информационное пространство (1)
- исчисление высказываний (1)
- исчисление предикатов (1)
- канонические выводы (1)
- картина мира (1)
- качество мышления (1)
- квантовый компьютер (1)
- коллективный интеллект (1)
- комбинаторные задачи (1)
- компьютерное моделирование (1)
- логика символьных выражений (1)
- Show more
- Show less