Αποτελέσματα αναζήτησης
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
- кванторы 3
- метод резолюций 3
- монадическая логика
- алгебра 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
Дискретная математика. Формально-логические системы и языки
Έκδοση Москва, ДМК Пресс, 2018Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Βιβλίο -
2
Введение в математику и логику учебное пособие
Έκδοση Омск, Омский ГАУ, 2005Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Βιβλίο -
3
Математические основания информатики учеб. пособие
Έκδοση Омск, ОмГТУ, 2023Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Βιβλίο