نتائج البحث
الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
- Вычислимость, теория 1
- Математическая логика 1
- аксиоматическая теория 1
- булевы функции 1
- высказывания 1
- вычислительная математика 1
- исчисление 1
- исчисление Хоара 1
- логические законы 1
- логическое программирование 1
- предикаты 1
- свободные подстановки
- секвенции 1
- теорема Эрбрана 1
- теория множеств 1
- унификация 1
- учебные пособия 1
- формальные языки 1
- языки высокого уровня 1
-
1
Курс математической логики и теории вычислимости учебное пособие для вузов
منشور في Санкт-Петербург, Лань, 2014كتاب