Որոնման արդյունքները
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
- тезис Черча
- вычислимость 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
Неокибернетика. Алгоритмы, математика эволюции и технологии будущего
Հրապարակվել է Москва, Изд-во ЛКИ, 2008Գիրք -
2
Вычислимость. Введение в теорию рекурсивных функций пер. с англ.
Հրապարակվել է Москва, Мир, 1983Գիրք -
3