Результаты поиска - "метод резолюций"
Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
- метод резолюций 16
- высказывания 5
- логика предикатов 5
- множества 5
- Математическая логика 4
- исчисление высказываний 4
- предикаты 4
- Алгоритмы, теория 3
- алгебра 3
- исчисление предикатов 3
- кванторы 3
- логика 3
- модели представления знаний 3
- монадическая логика 3
- операции 3
- предикат 3
- продукционная модель 3
- унификация 3
- алгебра логики 2
- булева алгебра 2
- булевы функции 2
- знания 2
- исчисление 2
- конечные автоматы 2
- кортежи 2
- логика высказываний 2
- логико-математические основы 2
- логические функции 2
- машины Тьюринга 2
- мощность 2
-
1
Системы искусственного интеллекта монография
Опубликовано Санкт-Петербург, Лань, 2024Предметы: Полный текст
Полный текст
Электронный ресурс Книга -
2
Формальные аксиоматические теории. Исчисление предикатов. Часть 2
Опубликовано Воронеж, ВГУ, 2020Предметы: Полный текст
Полный текст
Электронный ресурс Книга -
3
Логика высказываний и булевы алгебры учебное пособие
Опубликовано Новочеркасск, ЮРГПУ (НПИ), 2022Предметы: Полный текст
Полный текст
Электронный ресурс Книга -
4
Теория логического вывода учебное пособие для вузов
Опубликовано Санкт-Петербург, Лань, 2024Предметы: Полный текст
Полный текст
Электронный ресурс Книга -
5
Математические основания информатики учеб. пособие
Опубликовано Омск, ОмГТУ, 2023Предметы: Полный текст
Полный текст
Электронный ресурс Книга -
6
Методы анализа логических корреляций для САПР цифровых КМОП СБИС
Опубликовано Москва, Техносфера, 2011Предметы:Книга -
7
-
8
Логическое программирование учеб. пособие
Опубликовано Киров, ВятГУ, 2022Предметы: Полный текст
Полный текст
Электронный ресурс Книга -
9
Математическая логика и теория алгоритмов учебное пособие
Опубликовано СПб., Научный мир, 2008Предметы:Книга -
10
Математическая логика и теория алгоритмов / ДО 2021 электронный курс
Опубликовано Томск, TPU Moodle, 2021Предметы: Полный текст
Электронный ресурс Книга -
11
Дискретная математика и математическая логика учебник
Опубликовано Москва, Финансы и статистика, 2006Предметы:Книга -
12
Математическая логика и теория алгоритмов учебное пособие
Опубликовано Москва, Академия, 2013Предметы:Книга -
13
Технологии управления знаниями учеб. пособие
Опубликовано Киров, ВятГУ, 2023Предметы: Полный текст
Полный текст
Электронный ресурс Книга -
14
Введение в математику и логику учебное пособие
Опубликовано Омск, Омский ГАУ, 2005Предметы: Полный текст
Полный текст
Электронный ресурс Книга -
15
Методы искусственного интеллекта учебно-методическое пособие
Опубликовано Москва, РТУ МИРЭА, 2023Предметы: Полный текст
Полный текст
Электронный ресурс Книга -
16
Дискретная математика. Формально-логические системы и языки
Опубликовано Москва, ДМК Пресс, 2018Предметы: Полный текст
Полный текст
Электронный ресурс Книга -
17
Математическая логика и теория алгоритмов учебное пособие
Опубликовано Самара, ПГУТИ, 2024Предметы: Полный текст
Полный текст
Электронный ресурс Книга