অনুসন্ধান ফলাফলগুলি
প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
- Вычислимость, теория 1
- Математическая логика 1
- аксиоматическая теория 1
- булевы функции 1
- высказывания 1
- вычислительная математика 1
- исчисление 1
- исчисление Хоара 1
- логические законы 1
- логическое программирование 1
- предикаты 1
- свободные подстановки
- секвенции 1
- теорема Эрбрана 1
- теория множеств 1
- унификация 1
- учебные пособия 1
- формальные языки 1
- языки высокого уровня 1
-
1
Курс математической логики и теории вычислимости учебное пособие для вузов
প্রকাশিত Санкт-Петербург, Лань, 2014গ্রন্থ