Risultati della ricerca - "автоматическое доказательство"
Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
- автоматическое доказательство 8
- теоремы 7
- булевы функции 6
- графы 6
- формальные теории 6
- алгебра множеств 5
- алгебраические структуры 5
- биноминальные коэффициенты 5
- векторные пространства 5
- высказывания 5
- двойственность 5
- деревья 5
- жадные алгоритмы 5
- исчисление 5
- кодирование 5
- комбинаторика 5
- комбинаторные задачи 5
- кратчайший остов 5
- логические исчисления 5
- логические связки 5
- матроиды 5
- множества 5
- модули 5
- нормальные формы 5
- орграфы 5
- отношения порядка 5
- отношения эквивалентности 5
- планарность 5
- полнота 5
- предикаты 5
-
1
-
2
Нецелеориентированная стратегия вывода формул в модальных исчислениях
Pubblicazione 2006Soggetti: Testo
Elettronico Capitolo di libro -
3
Искусственный интеллект. Подход на основе эвристического программирования пер. с англ.
Pubblicazione Москва, Мир, 1973Soggetti:Libro -
4
Дискретная математика для программистов учебное пособие
Pubblicazione СПб., Питер, 2008Soggetti:Libro -
5
Дискретная математика для программистов учебное пособие
Pubblicazione СПб., Питер, 2006Soggetti:Libro -
6
Дискретная математика для магистров и бакалавров учебник
Pubblicazione Санкт-Петербург, Питер, 2011Soggetti:Libro -
7
Дискретная математика для бакалавров и магистров учебник
Pubblicazione Санкт-Петербург, Питер, 2013Soggetti:Libro -
8
Дискретная математика для бакалавров и магистров учебник
Pubblicazione Санкт-Петербург, Питер, 2014Soggetti:Libro -
9
Математическая логика и теория алгоритмов учебное пособие
Pubblicazione Самара, ПГУТИ, 2024Soggetti: Testo
Testo
Elettronico Libro