Hakutulokset
Aihe-ehdotuksia
Aihe-ehdotuksia
- Вычислимость, теория
- вычислительная математика 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
-
2
Курс математической логики и теории вычислимости учебное пособие для вузов
Julkaistu Санкт-Петербург, Лань, 2014Kirja -
3