🗊Презентация Логическое программирование

Категория: Устройства и комплектующие
Нажмите для полного просмотра!
Логическое программирование, слайд №1Логическое программирование, слайд №2Логическое программирование, слайд №3Логическое программирование, слайд №4Логическое программирование, слайд №5Логическое программирование, слайд №6Логическое программирование, слайд №7Логическое программирование, слайд №8Логическое программирование, слайд №9Логическое программирование, слайд №10Логическое программирование, слайд №11Логическое программирование, слайд №12Логическое программирование, слайд №13Логическое программирование, слайд №14Логическое программирование, слайд №15Логическое программирование, слайд №16Логическое программирование, слайд №17
Скачать
Вы можете ознакомиться и скачать презентацию на тему Логическое программирование. Доклад-сообщение содержит 17 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

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

Слайд 1


Логическое программирование, слайд №1
Описание слайда:

Слайд 2


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

Слайд 3


Тест Тьюринга
Описание слайда:
Тест Тьюринга

Слайд 4


Assembler (x86, …) Assembler (x86, …) C, C++, C#, Java Pascal … LISP, FP, ML, Haskell, OCaml, F#, … Prolog, Mercury, Datalog, …
Описание слайда:
Assembler (x86, …) Assembler (x86, …) C, C++, C#, Java Pascal … LISP, FP, ML, Haskell, OCaml, F#, … Prolog, Mercury, Datalog, …

Слайд 5


Логическое программирование, слайд №5
Описание слайда:

Слайд 6


Логическое программирование, слайд №6
Описание слайда:

Слайд 7


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

Слайд 8


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

Слайд 9


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

Слайд 10


Языки программирования
Описание слайда:
Языки программирования

Слайд 11


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

Слайд 12


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

Слайд 13


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

Слайд 14


Парадигмы программирования
Описание слайда:
Парадигмы программирования

Слайд 15


Семантика языков
Описание слайда:
Семантика языков

Слайд 16


Мультипарадигмальные языки C# - императивный (ОО) + элементы функциональности F# - функциональный с элементами императивности Mercury – функционально-логический Oz Python …
Описание слайда:
Мультипарадигмальные языки 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.
Описание слайда:
Источники Братко И. Программирование на языке Пролог для искусственного интеллекта. пер. с англ. – М.: Мир, 1990. Bratko I. Programming in Prolog for Artificial Intelligence (3rd edition), Addison-Wesley Publishers, 2001. Клоксин У., Меллиш К. Программирование на языке Пролог. – М.: Мир, 1987. Хоггер К. Введение в логическое программирование: Пер. с англ. -М.: Мир, 1988. Набебин А.А. Логика и Пролог в дискретной математике. – М.: Изд-во МЭИ, 1996. Малпас Дж. Реляционный язык Пролог и его применение: Пер. с англ. -М.: Наука, 1990. Стерлинг Х., Шапиро Э. Искусство программирования на языке Пролог: Пер. с англ. - М.: Мир, 1990.

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию