Электронный каталог

Рубрика

Название:

 

алгебраическая логика  

См. также:

22.124  

Название:

 

аналогия  

См. также:

22.122  

Название:

 

теорема Гёделя  

См. также:

22.12  

Название:

 

интуиционизм  

См. также:

22.122  

Название:

 

алгоритмическая теория исчислений  

Название:

 

исчисление высказываний  

См. также:

22.12  

Название:

 

исчисление предикатов  

См. также:

22.12  

Название:

 

конструктивная математика  

См. также:

22.122  

Название:

 

нормальные алгоритмы Маркова  

См. также:

22.127  

Название:

 

математическая индукция  

Название:

 

математическая логика  

См. также:

22.12 основания М. л. 87.45  

Название:

 

машина Тьюринга  

См. также:

22.127  

Название:

 

вычислимые функции  

См. также:

22.127  

Название:

 

сложные вычисления  

См. также:

22.127  

Название:

 

теория алгоритмов и вычислимых функций  

См. также:

22.127 кибернетические вопросы 22.181  

Название:

 

теория моделей  

См. также:

22.123  

Название:

 

языки первого порядка