نتائج البحث
الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
- алгебра 2
- высказывания 2
- кванторы 2
- кортежи 2
- логические функции 2
- метод резолюций 2
- множества 2
- монадическая логика 2
- мощность 2
- операции 2
- предикат 2
- предикатные нормальные формы 2
- признаки 2
- семантическое дерево
- язык логики предикатов 2
- аксиоматическая модель 1
- алгебра жегалкина 1
- алгоритм унификации 1
- алфавит 1
- алфавит термы 1
- булева алгебра 1
- булевы формулы 1
- булевы функции 1
- гиперкуб 1
- декомпозиция графа 1
- классы функциональная полнота 1
- конъюнктивные нормальные формы 1
- логические операции 1
- отношения 1
- парадокс рассела 1
-
1
Введение в математику и логику учебное пособие
منشور في Омск, Омский ГАУ, 2005احصل على النص الكامل
احصل على النص الكامل
الكتروني كتاب -
2
Математические основания информатики учеб. пособие
منشور في Омск, ОмГТУ, 2023احصل على النص الكامل
احصل على النص الكامل
الكتروني كتاب