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