решатель
31Задача выполнимости булевых формул — (SAT или ВЫП) важная для теории вычислительной сложности алгоритмическая задача. Экземпляром задачи SAT является булева формула, состоящая только из имен переменных, скобок и операций (И), (ИЛИ) и (HE). Задача заключается в следующем: можно ли… …
32Каталог интернет-ресурсов с элементами искусственного интеллекта — область научно прикладных исследований, ставящая цель минимизировать участие человека в процессе управления интернет каталогом (известны методы, позволяющие принимать решения на основе суждений гомеостатических моделей без участия человека или с… …
33Поспелов, Дмитрий Александрович — В Википедии есть статьи о других людях с такой фамилией, см. Поспелов. Дмитрий Александрович Поспелов Дата рождения: 19 декабря 1932(1932 12 19) (80 лет) Научная сфера: Искусственный интеллект и интеллектуальные системы Альма матер …
34IBM Lotus Symphony — Lotus Symphony …
35Параметрическое моделирование — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Параметрическое моделирование (параметризация)  моделирование (проектирование) с использованием параметров элементов модели и соотношений между… …
36CalculiX — CalculiX …
37ДСМ-метод — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. ДСМ метод – это метод автоматического порождения гипотез. Формализует схему правдоподобного и достоверного вывода, н …
38Повесть о дружбе и недружбе — Жанр: сказка притча Автор: братья Стругацкие Язык оригинала: русский Публикация: 1980 «Повесть о дружбе и недружбе»  произведение, созданное Аркад …
39Решение задач — процесс выполнения действий или мыслительных операций, направленный на достижение цели, заданной в рамках проблемной ситуации задачи; является составной частью мышления. С точки зрения когнитивного подхода процесс решения задач является наиболее… …
40Грольман, Лев — Лев Владимирович Грольман Содержание 1 Биография 2 Успехи 3 О человеке 4 Ссылки …
