खोज परिणाम
प्रस्तावित विषय : खोज निहित
प्रस्तावित विषय : खोज निहित
- Вычислимость, теория 1
- Математическая логика 1
- аксиоматическая теория 1
- булевы функции 1
- высказывания 1
- вычислительная математика 1
- исчисление 1
- исчисление Хоара
- логические законы 1
- логическое программирование 1
- предикаты 1
- свободные подстановки 1
- секвенции 1
- теорема Эрбрана 1
- теория множеств 1
- унификация 1
- учебные пособия 1
- формальные языки 1
- языки высокого уровня 1
-
1
Курс математической логики и теории вычислимости учебное пособие для вузов
प्रकाशित Санкт-Петербург, Лань, 2014पुस्तक