Поиск :
Личный кабинет :
Электронный каталог: Тезаурус - Рубрика: математическая логика
Рубрика: математическая логика
Показаны записи 10 из 10
| Вышестоящие рубрики | Заглавие рубрики | См. также | Подрубрики | Документы | |
|---|---|---|---|---|---|
| в рубрике | с учетом подрубрик | ||||
| математика => математическая логика |
алгебраическая логика | 22.124 | 23 | ||
| математика => математическая логика |
аналогия | 22.122 | 12 | ||
| математика => математическая логика |
интуиционизм | 22.122 | 7 | ||
| математика => математическая логика |
исчисление высказываний | 22.12 | 12 | ||
| математика => математическая логика |
исчисление предикатов | 22.12 | 1 | 20 | 23 |
| математика => математическая логика |
конструктивная математика | 22.122 | 5 | ||
| математика => математическая логика |
математическая индукция | 18 | |||
| математика => математическая логика |
теория алгоритмов и вычислимых функций | 22.127 кибернетические вопросы 22.181 | 5 | 130 | 186 |
| математика => математическая логика |
теория моделей | 22.123 | 22 | ||
| математика => математическая логика |
языки первого порядка | 4 | |||