Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- проблема разрешимости
- логика высказываний 3
- алгебра логики 2
- булевы функции 2
- логика предикатов 2
- правила вывода 2
- релейноконтактные схемы 2
- суперпозиция функций 2
- формулы 2
- аксиоматический метод 1
- алгебра высказываний 1
- алгебра отношений 1
- алгебраическое поле 1
- анализ конечных автоматов 1
- базисы 1
- бэктрекинг 1
- векторное пространство 1
- выводимая формула 1
- высказывание 1
- двойственные функции 1
- дерево слов 1
- дизъюнктивные нормальные формы 1
- доказательство законов логики 1
- законы алгебры высказываний 1
- замкнутые классы функций 1
- замыкание набора функций 1
- исчисление высказываний 1
- исчисление предикатов 1
- кванторные операции 1
- кванторы 1
-
1
Дискретная математика. Формально-логические системы и языки
Published Москва, ДМК Пресс, 2018Get full text
Get full text
Electronic Book -
2
Математическая логика и теория алгоритмов
Published Самара, ПГУТИ, 2017Get full text
Get full text
Electronic Book -
3
Математическая логика и булевы функции учебно-методическое пособие для обучающихся по дисциплине «дискретная математика» по направлению подготовки 09.03.03 прикладная информатика и...
Published Нижний Новгород, ННГАСУ, 2021Get full text
Get full text
Electronic Book -
4
Функциональные системы в дискретной математике учебное пособие
Published Нижний Новгород, ННГАСУ, 2024Get full text
Get full text
Electronic Book