Оцените презентацию от 1 до 5 баллов!
Тип файла:
ppt / pptx (powerpoint)
Всего слайдов:
30 слайдов
Для класса:
1,2,3,4,5,6,7,8,9,10,11
Размер файла:
8.99 MB
Просмотров:
67
Скачиваний:
0
Автор:
неизвестен
Слайды и текст к этой презентации:
№1 слайд![Факультет Прикладной](/documents_6/07687b8d0ce0da40d28135ec6b942916/img0.jpg)
Содержание слайда: Факультет Прикладной математики и физики
Факультет Прикладной математики и физики
Кафедра Вычислительной математики и программирования
Московский авиационный институт (государственный технический университет)
№2 слайд![Майкрософт Россия,](/documents_6/07687b8d0ce0da40d28135ec6b942916/img1.jpg)
Содержание слайда: Майкрософт Россия, академический евангелист
Майкрософт Россия, академический евангелист
Кандидат физ.-мат. наук
Распределенные интеллектуальные системы с явным представлением знаний
Интеллектуальная реструктуризация социальных сетей на основе онтологий
Семантически-ориентированые системы (Semantic Wiki)
Кафедра Вычислительной математики и программирования МАИ (доцент)
Логическое программирование
Искусственный интеллект
Студенческая лаборатория MAILabs (www.mailabs.ru)
ФИВТ
№3 слайд![Что такое логическое](/documents_6/07687b8d0ce0da40d28135ec6b942916/img2.jpg)
Содержание слайда: Что такое логическое программирование?
Что такое логическое программирование?
№4 слайд![](/documents_6/07687b8d0ce0da40d28135ec6b942916/img3.jpg)
№5 слайд![Тест Тьюринга подробнее в](/documents_6/07687b8d0ce0da40d28135ec6b942916/img4.jpg)
Содержание слайда: Тест Тьюринга – подробнее в курсе ИИ
Тест Тьюринга – подробнее в курсе ИИ
Проблемы:
Неоднозначность человеческого языка
При коммуникации мы полагаемся на картину мира, которая есть у нас в голове (common knowledge)
№6 слайд![](/documents_6/07687b8d0ce0da40d28135ec6b942916/img5.jpg)
№7 слайд![Assembler x , Assembler x ,](/documents_6/07687b8d0ce0da40d28135ec6b942916/img6.jpg)
Содержание слайда: Assembler (x86, …)
Assembler (x86, …)
C, C++, C#, Java
Pascal
…
Brainfuck?
FORTH?
LISP, FP, ML, Haskell, OCaml, F#, …
Prolog, Mercury, Datalog, …
№8 слайд![](/documents_6/07687b8d0ce0da40d28135ec6b942916/img7.jpg)
№9 слайд![](/documents_6/07687b8d0ce0da40d28135ec6b942916/img8.jpg)
№10 слайд![Первый язык программирования](/documents_6/07687b8d0ce0da40d28135ec6b942916/img9.jpg)
Содержание слайда: Первый язык программирования высокого уровня – ФОРТРАН – был создан Дж.Бэкусом, чтобы математики могли программировать на уровне формул.
Первый язык программирования высокого уровня – ФОРТРАН – был создан Дж.Бэкусом, чтобы математики могли программировать на уровне формул.
№11 слайд![Позже Дж.Бэкус пошел дальше и](/documents_6/07687b8d0ce0da40d28135ec6b942916/img10.jpg)
Содержание слайда: Позже Дж.Бэкус пошел дальше и предложил язык FP, в котором формулы более соответствовали математическому понятию функции
Позже Дж.Бэкус пошел дальше и предложил язык FP, в котором формулы более соответствовали математическому понятию функции
№12 слайд![Надо пытаться формализовать](/documents_6/07687b8d0ce0da40d28135ec6b942916/img11.jpg)
Содержание слайда: Надо пытаться формализовать человеческий язык!
Надо пытаться формализовать человеческий язык!
Основной инструмент формализации:
Формальные аксиоматические системы
Логика!
№13 слайд![](/documents_6/07687b8d0ce0da40d28135ec6b942916/img12.jpg)
№14 слайд![](/documents_6/07687b8d0ce0da40d28135ec6b942916/img13.jpg)
№15 слайд![При декларативном](/documents_6/07687b8d0ce0da40d28135ec6b942916/img14.jpg)
Содержание слайда: При декларативном программировании мы (на некотором формальном языке) описываем результат (его свойства), а не способ его достижения
При декларативном программировании мы (на некотором формальном языке) описываем результат (его свойства), а не способ его достижения
Описание факториала
HTML – описание расположения объектов
SQL
LINQ
Функциональные, логические языки
№16 слайд![Императивное мы говорим](/documents_6/07687b8d0ce0da40d28135ec6b942916/img15.jpg)
Содержание слайда: Императивное – мы говорим компьютеру, как решать задачу (что делать)
Императивное – мы говорим компьютеру, как решать задачу (что делать)
Основной акцент – манипулирование ячейками памяти
Оператор присваивания
Явные операторы передачи управления
Циклы, условный оператор
№17 слайд![Это не чистая императивная](/documents_6/07687b8d0ce0da40d28135ec6b942916/img16.jpg)
Содержание слайда: Это не «чистая» императивная программа.
Это не «чистая» императивная программа.
В «чистых» императивных языках (ФОРТРАН) нет рекурсии
Нет операторов присваивания
«:= » -это возврат результата из функции, а не присваивание
№18 слайд![Парадигма декларативного](/documents_6/07687b8d0ce0da40d28135ec6b942916/img17.jpg)
Содержание слайда: Парадигма декларативного программирования, в которой
Парадигма декларативного программирования, в которой
программа представляет собой описание требуемого решения в терминах определенной логики
решение задачи строится в процессе логического вывода по заданному описанию
Различные разновидности логического программирования: индуктивное, в ограничениях, ...
Подход к программированию
Языки программирования Prolog, Datalog, Mercury, Oz, …
№19 слайд![Найдем все комбинации lt](/documents_6/07687b8d0ce0da40d28135ec6b942916/img18.jpg)
Содержание слайда: Найдем все комбинации <a,b,c> чисел от 1 до 10, что a2+b2=c2
Найдем все комбинации <a,b,c> чисел от 1 до 10, что a2+b2=c2
№20 слайд![Функциональные языки](/documents_6/07687b8d0ce0da40d28135ec6b942916/img19.jpg)
Содержание слайда: Функциональные языки
Функциональные языки
Компактный синтаксис для списков, n-ок (tuples), вариантных типов
Логические языки
Компактный синтаксис для списков, n-ок (tuples), вариантных типов
Возможность перебора и поиска различных решений, заложенная в язык
№21 слайд![studied petya,mathematics](/documents_6/07687b8d0ce0da40d28135ec6b942916/img20.jpg)
Содержание слайда: studied(petya,mathematics). studied(vasya,german).
studied(petya,mathematics). studied(vasya,german).
studied(petya,compscience). studied(vasya,literature).
studied(petya,english).
studied_technical(X) :- studied(X,mathematics).
studied_technical(X) :- studied(X,compscience).
studied_languages(X) :- studied(X,english).
studied_languages(X) :- studied(X,german).
speciality(X,tech_translator) :- studied_languages(X),studied_technical(X).
speciality(X,programmer) :-
studied(X,mathematics),studied(X, compscience).
speciality(X,lit_translator) :- studied_languages(X),studied(X,literature).
?-specialty(vasya,X).
?- specialty(X,lit_translator).
№22 слайд![Определения на логическом](/documents_6/07687b8d0ce0da40d28135ec6b942916/img21.jpg)
Содержание слайда: Определения на логическом языке похожи на предложения математической логики
Определения на логическом языке похожи на предложения математической логики
Логическое программирование имеет очень четкую математическую основу
Возможны рассуждения о программах: доказательство корректности, …
Отсутствует оператор присваивания
Есть знак = , но он имеет другую семантику – унификация, связывание имен
Переменные связываются неявно, в процессе логического вывода
Будучи один раз связанным, имя может менять свое значение только в процессе пересмотра решения (возврата)
А это значит – нет побочных эффектов!
№23 слайд![](/documents_6/07687b8d0ce0da40d28135ec6b942916/img22.jpg)
№24 слайд![](/documents_6/07687b8d0ce0da40d28135ec6b942916/img23.jpg)
№25 слайд![](/documents_6/07687b8d0ce0da40d28135ec6b942916/img24.jpg)
№26 слайд![C - императивный ОО элементы](/documents_6/07687b8d0ce0da40d28135ec6b942916/img25.jpg)
Содержание слайда: C# - императивный (ОО) + элементы функциональности
C# - императивный (ОО) + элементы функциональности
F# - функциональный с элементами императивности
Mercury – функционально-логический
Oz
Python
…
№27 слайд![](/documents_6/07687b8d0ce0da40d28135ec6b942916/img26.jpg)
№28 слайд![Придется ли нам](/documents_6/07687b8d0ce0da40d28135ec6b942916/img27.jpg)
Содержание слайда: Придется ли нам программировать на Прологе в реальной жизни?
Придется ли нам программировать на Прологе в реальной жизни?
№29 слайд![Задачи искусственного](/documents_6/07687b8d0ce0da40d28135ec6b942916/img28.jpg)
Содержание слайда: Задачи искусственного интеллекта
Задачи искусственного интеллекта
Экспертные системы
Лингвистика, обработка естественного языка
Задачи с неопределенностью
Задачи, связанные с поиском решений
Мета-программирование, построение специализированных языков
№30 слайд![Отсутствие операторов](/documents_6/07687b8d0ce0da40d28135ec6b942916/img29.jpg)
Содержание слайда: Отсутствие операторов присваивания и побочных эффектов
Отсутствие операторов присваивания и побочных эффектов
Декларативное программирование
Естественная математическая модель вычислений
Заложенная в язык возможность возвратов и перебора
Заложенные в язык возможности по представлению списков, деревьев
Развитые возможности мета-программирования и построения проблемно-ориентированных языков