Сошников Дмитрий Валерьевич. Дмитрий Валерьевич Сошников (род.

Microsoft Rus. В 2. С 1. 99. 9 года преподает в МАИ, с 2. Microsoft, также преподает в МФТИ с 2. ГУ- ВШЭ с 2. 00. 9 года. Имеет около 6. 0 научных работ. Логический вывод на основе удалённого вызова и включения в системах с распределенной фреймовой иерархией. Парадигма логического программирования.

Сошников Д. В. Парадигма логического программирования. МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Объем: 1. 11стр. Содержание: Парадигмы. Системы логического программирования. Логика и исчисление предикатов. Логическое программирование как алгоритмическая модель.

Типизированное логическое программирование. Языки программирование Prolog и Mercury. Рекурсивные структуры данных. Отрицание по неуспеху. Методы решения логических задач. Поиск в пространстве состояний. Эвристические алгоритмы поиска.

Символьные вычисления. Игру Uefa Champions League. Анализ естественных языков.

Дмитрий Сошников - Биография. Дмитрий Сошников shwars.

Автор: Дмитрий Сошников Курс предназначен для студентов. Лекция 2: Введение в Пролог и логическое программирование. Содержание: Парадигмы. Системы логического программирования. Логика и исчисление предикатов. Логическое программирование .