Что такое логическое программирование

Смотреть слайды в полном размере
Презентация Что такое логическое программирование

Презентация «Что такое логическое программирование» содержит 30 слайдов и доступна в формате ppt. Размер файла: 8.99 MB

Вы можете предварительно ознакомиться с презентацией, просмотреть текст и слайды к ней, а также, в случае, если она вам подходит - скачать файл для редактирования или печати.

Просмотреть и скачать

Pic.1
Факультет Прикладной математики и физики Факультет Прикладной математики и физики Кафедра Вычислител
Факультет Прикладной математики и физики Факультет Прикладной математики и физики Кафедра Вычислительной математики и программирования Московский авиационный институт (государственный технический …
Pic.2
Майкрософт Россия, академический евангелист Майкрософт Россия, академический евангелист Кандидат физ
Майкрософт Россия, академический евангелист Майкрософт Россия, академический евангелист Кандидат физ. -мат. наук Распределенные интеллектуальные системы с явным представлением знаний Интеллектуальная …
Pic.3
Что такое логическое программирование? Что такое логическое программирование?
Что такое логическое программирование? Что такое логическое программирование?
Pic.4
Что такое логическое программирование, слайд 4
Pic.5
Тест Тьюринга – подробнее в курсе ИИ Тест Тьюринга – подробнее в курсе ИИ Проблемы: Неоднозначность
Тест Тьюринга – подробнее в курсе ИИ Тест Тьюринга – подробнее в курсе ИИ Проблемы: Неоднозначность человеческого языка При коммуникации мы полагаемся на картину мира, которая есть у нас в голове …
Pic.6
Что такое логическое программирование, слайд 6
Pic.7
Assembler (x86, …) Assembler (x86, …) C, C++, C#, Java Pascal … Brainfuck? FORTH? LISP, FP, ML, Hask
Assembler (x86, …) Assembler (x86, …) C, C++, C#, Java Pascal … Brainfuck? FORTH? LISP, FP, ML, Haskell, OCaml, F#, … Prolog, Mercury, Datalog, …
Pic.8
Что такое логическое программирование, слайд 8
Pic.9
Что такое логическое программирование, слайд 9
Pic.10
Первый язык программирования высокого уровня – ФОРТРАН – был создан Дж. Бэкусом, чтобы математики мо
Первый язык программирования высокого уровня – ФОРТРАН – был создан Дж. Бэкусом, чтобы математики могли программировать на уровне формул. Первый язык программирования высокого уровня – ФОРТРАН – был …
Pic.11
Позже Дж. Бэкус пошел дальше и предложил язык FP, в котором формулы более соответствовали математиче
Позже Дж. Бэкус пошел дальше и предложил язык FP, в котором формулы более соответствовали математическому понятию функции Позже Дж. Бэкус пошел дальше и предложил язык FP, в котором формулы более …
Pic.12
Надо пытаться формализовать человеческий язык! Надо пытаться формализовать человеческий язык! Основн
Надо пытаться формализовать человеческий язык! Надо пытаться формализовать человеческий язык! Основной инструмент формализации: Формальные аксиоматические системы Логика!
Pic.13
Что такое логическое программирование, слайд 13
Pic.14
Что такое логическое программирование, слайд 14
Pic.15
При декларативном программировании мы (на некотором формальном языке) описываем результат (его свойс
При декларативном программировании мы (на некотором формальном языке) описываем результат (его свойства), а не способ его достижения При декларативном программировании мы (на некотором формальном …
Pic.16
Императивное – мы говорим компьютеру, как решать задачу (что делать) Императивное – мы говорим компь
Императивное – мы говорим компьютеру, как решать задачу (что делать) Императивное – мы говорим компьютеру, как решать задачу (что делать) Основной акцент – манипулирование ячейками памяти Оператор …
Pic.17
Это не «чистая» императивная программа. Это не «чистая» императивная программа. В «чистых» императив
Это не «чистая» императивная программа. Это не «чистая» императивная программа. В «чистых» императивных языках (ФОРТРАН) нет рекурсии Нет операторов присваивания «:= » -это возврат результата из …
Pic.18
Парадигма декларативного программирования, в которой Парадигма декларативного программирования, в ко
Парадигма декларативного программирования, в которой Парадигма декларативного программирования, в которой программа представляет собой описание требуемого решения в терминах определенной логики …
Pic.19
Найдем все комбинации <a,b,c> чисел от 1 до 10, что a2+b2=c2 Найдем все комбинации <a,b,c&g
Найдем все комбинации <a,b,c> чисел от 1 до 10, что a2+b2=c2 Найдем все комбинации <a,b,c> чисел от 1 до 10, что a2+b2=c2
Pic.20
Функциональные языки Функциональные языки Компактный синтаксис для списков, n-ок (tuples), вариантны
Функциональные языки Функциональные языки Компактный синтаксис для списков, n-ок (tuples), вариантных типов Логические языки Компактный синтаксис для списков, n-ок (tuples), вариантных типов …
Pic.21
studied(petya,mathematics). studied(vasya,german). studied(petya,mathematics). studied(vasya,german)
studied(petya,mathematics). studied(vasya,german). studied(petya,mathematics). studied(vasya,german). studied(petya,compscience). studied(vasya,literature). studied(petya,english). …
Pic.22
Определения на логическом языке похожи на предложения математической логики Определения на логическо
Определения на логическом языке похожи на предложения математической логики Определения на логическом языке похожи на предложения математической логики Логическое программирование имеет очень четкую …
Pic.23
Что такое логическое программирование, слайд 23
Pic.24
Что такое логическое программирование, слайд 24
Pic.25
Что такое логическое программирование, слайд 25
Pic.26
C# - императивный (ОО) + элементы функциональности C# - императивный (ОО) + элементы функциональност
C# - императивный (ОО) + элементы функциональности C# - императивный (ОО) + элементы функциональности F# - функциональный с элементами императивности Mercury – функционально-логический Oz Python …
Pic.27
Что такое логическое программирование, слайд 27
Pic.28
Придется ли нам программировать на Прологе в реальной жизни? Придется ли нам программировать на Прол
Придется ли нам программировать на Прологе в реальной жизни? Придется ли нам программировать на Прологе в реальной жизни?
Pic.29
Задачи искусственного интеллекта Задачи искусственного интеллекта Экспертные системы Лингвистика, об
Задачи искусственного интеллекта Задачи искусственного интеллекта Экспертные системы Лингвистика, обработка естественного языка Задачи с неопределенностью Задачи, связанные с поиском решений …
Pic.30
Отсутствие операторов присваивания и побочных эффектов Отсутствие операторов присваивания и побочных
Отсутствие операторов присваивания и побочных эффектов Отсутствие операторов присваивания и побочных эффектов Декларативное программирование Естественная математическая модель вычислений Заложенная в …


Скачать презентацию

Если вам понравился сайт и размещенные на нем материалы, пожалуйста, не забывайте поделиться этой страничкой в социальных сетях и с друзьями! Спасибо!