Логическое программирование - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Логическое программирование. Доклад-сообщение содержит 17 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Слайд 2

Описание слайда:

Тест Тьюринга. Тест Тьюринга. Проблемы: неоднозначность человеческого языка; при коммуникации мы полагаемся на картину мира, которая у нас в голове (common knowledge).

Слайд 3

Описание слайда:

Тест Тьюринга

Слайд 4

Описание слайда:

Assembler (x86, …) Assembler (x86, …) C, C++, C#, Java Pascal … LISP, FP, ML, Haskell, OCaml, F#, … Prolog, Mercury, Datalog, …

Слайд 5

Описание слайда:

Слайд 6

Описание слайда:

Слайд 7

Описание слайда:

Первый язык программирования высокого уровня – ФОРТРАН – был создан Дж.Бэкусом, чтобы математики могли программировать на уровне формул. Первый язык программирования высокого уровня – ФОРТРАН – был создан Дж.Бэкусом, чтобы математики могли программировать на уровне формул.

Слайд 8

Описание слайда:

Позже Дж.Бэкус пошел дальше и предложил язык FP, в котором формулы более соответствовали математическому понятию функции Позже Дж.Бэкус пошел дальше и предложил язык FP, в котором формулы более соответствовали математическому понятию функции

Слайд 9

Описание слайда:

Как приблизиться к человеческому языку? Надо пытаться формализовать человеческий язык Основной инструмент формализации: Формальные аксиоматические системы Логика

Слайд 10

Описание слайда:

Языки программирования

Слайд 11

Описание слайда:

Декларативное программирование При декларативном программировании (на некотором формальном языке) описываем результат (его свойства), а не способ его достижения.

Слайд 12

Описание слайда:

Практические преимущества Функциональные языки Компактный синтаксис для списков, кортежей, вариантных типов Логические языки Компактный синтаксис для списков, кортежей, вариантных типов Возможность перебора и поиска различных решений, заложенная в язык

Слайд 13

Описание слайда:

Что особенного? Определения на логическом языке похожи на предложения математической логики Логическое программирование имеет очень четкую математическую основу Возможны рассуждения о программах: доказательство корректности, … Отсутствует оператор присваивания Есть знак = , но он имеет другую семантику – унификация, связывание имен Переменные связываются неявно, в процессе логического вывода Будучи один раз связанным, имя может менять свое значение только в процессе пересмотра решения (возврата)

Слайд 14

Описание слайда:

Парадигмы программирования

Слайд 15

Описание слайда:

Семантика языков

Слайд 16

Описание слайда:

Мультипарадигмальные языки C# - императивный (ОО) + элементы функциональности F# - функциональный с элементами императивности Mercury – функционально-логический Oz Python …

Слайд 17

Описание слайда:

Источники Братко И. Программирование на языке Пролог для искусственного интеллекта. пер. с англ. – М.: Мир, 1990. Bratko I. Programming in Prolog for Artificial Intelligence (3rd edition), Addison-Wesley Publishers, 2001. Клоксин У., Меллиш К. Программирование на языке Пролог. – М.: Мир, 1987. Хоггер К. Введение в логическое программирование: Пер. с англ. -М.: Мир, 1988. Набебин А.А. Логика и Пролог в дискретной математике. – М.: Изд-во МЭИ, 1996. Малпас Дж. Реляционный язык Пролог и его применение: Пер. с англ. -М.: Наука, 1990. Стерлинг Х., Шапиро Э. Искусство программирования на языке Пролог: Пер. с англ. - М.: Мир, 1990.

Теги Логическое программирование

Похожие презентации