Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
------> алгебраическая логика
--> математика
----> математическая логика
------> алгебраическая логика
Рубрика
- Название:
- алгебраическая логика
- См. также:
- 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
- Название:
- языки первого порядка