Зарегистрироваться
Восстановить пароль
FAQ по входу

Сошников Д.В. Парадигма логического программирования

  • Файл формата djvu
  • размером 12,50 МБ
  • Добавлен пользователем , дата добавления неизвестна
  • Описание отредактировано
Сошников Д.В. Парадигма логического программирования
МАИ.
Факультет прикладной математики.
Кафедра вычислительной математики и программирования.
Объем: 111стр.
Содержание:
Парадигмы.
Системы логического программирования.
Логика и исчисление предикатов.
Логическое программирование как алгоритмическая модель.
Типизированное логическое программирование.
Языки программирование Prolog и Mercury.
Рекурсивные структуры данных.
Отрицание по неуспеху.
Методы решения логических задач.
Поиск в пространстве состояний.
Эвристические алгоритмы поиска.
Символьные вычисления.
Анализ естественных языков.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

Братко И. Алгоритмы искусственного интеллекта на языке Prolog

  • pdf
  • txt
3-е издание. — Пер. с англ. — М.: Вильямс, 2001. — 640 с.: ил. В книге известного специалиста по программированию приведены основные сведения о языке Prolog, описан процесс разработки программ на этом языке и показано применение языка Prolog во многих областях искусственного интеллекта, включая решение задач и эвристический поиск, программирование в ограничениях, представление...
  • 21,05 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Коста Э. Visual Prolog 7.1 для начинающих

  • pdf
Эта книга начиналась как личный проект. Моим намерением было просто написать руководство по логическому программированию для моего сына. Однако успех книги был огромным, и я получил множество предложений по улучшению текста или кода, а также пожеланий продолжать работу. Руководство по логическому программированию, 210 с. 2008 год! Цвет, отличное качество, интересное и доступное...
  • 4,81 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Ознакомление с языком программирования Prolog

  • doc
  • odt
  • pdf
  • txt
МАИ, Москва, факультет прикладной математики, кафедра вычислительной математики и программирования. Цель: Первоначальное ознакомление с выбранной системой программирования на языке Пролог, реализация предикатов обработки списков в различных представлениях. Задача: Ознакомиться с одной из систем программирования на языке Пролог на персональной или мини-ЭВМ (J#, GNU Prolog,...
  • 168,32 КБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Рассел С., Норвиг П. Искусственный интеллект. Современный подход

  • djvu
2-е изд. — М.: Вильямс, 2007. — 1410 с. — ISBN 5-8459-0887-2, 0-13-790395-2, 978-5-8459-0887-2. В книге представлены все современные достижения и изложены идеи, которые были сформулированы в исследованиях, проводившихся в течение последних пятидесяти лет, а также собраны на протяжении двух тысячелетий в областях знаний, ставших стимулом к развитию искусственного интеллекта как...
  • 17,39 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Сошников Д.В. Лекции по ЛП

  • pdf
МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. 123 стр. Основы Парадигмы Логика предикатов 1-го порядка Семантика логики предикатов Исчисление предикатов 1-го порядка Понятие о полноте неразрешимость исчисления Нормальные формы Унификация Правила...
  • 650,55 КБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Сошников Д.В. Лекции по ЛП. Слайды

  • pdf
МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. ~500 стр. Что такое логическое программирование Введение в логическое программирование Логика Резолюции Пролог и Меркурия Рекурсивные Структуры данных Отрицание как Failure Логических задач...
  • 21,90 МБ
  • дата добавления неизвестна
  • описание отредактировано
Наверх