Результаты поиска
Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
- равносильные формулы
- булевы функции 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
- логика предикатов 1
- логические задачи 1
- логические операции 1
- логические операции над предикатами 1
-
1
-
2
Математическая логика и булевы функции учебно-методическое пособие для обучающихся по дисциплине «дискретная математика» по направлению подготовки 09.03.03 прикладная информатика и...
Опубликовано Нижний Новгород, ННГАСУ, 2021Полный текст
Полный текст
Электронный ресурс Книга -
3
Математическая логика и теория алгоритмов учебное пособие
Опубликовано Махачкала, ДГПУ, 2024Полный текст
Полный текст
Электронный ресурс Книга