Презентация Знайомство з функціональним програмуванням онлайн
На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Знайомство з функціональним програмуванням абсолютно бесплатно. Урок-презентация на эту тему содержит всего 18 слайдов. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.
Оцените презентацию от 1 до 5 баллов!
- Тип файла:ppt / pptx (powerpoint)
- Всего слайдов:18 слайдов
- Для класса:1,2,3,4,5,6,7,8,9,10,11
- Размер файла:824.50 kB
- Просмотров:57
- Скачиваний:0
- Автор:неизвестен
Слайды и текст к этой презентации:
№1 слайд
Содержание слайда: Знайомство з функціональним програмуванням
2019
№2 слайд
Содержание слайда: Знайомство з функціональним програмуванням:
Знайомство з функціональним програмуванням:
мова функціональним програмування Haskell;
списки;
list comprehension.
Визначення функцій рівняннями. Зіставлення зі зразком. Операційна семантика.
Лінивість обчислень.
№3 слайд
Содержание слайда:
№4 слайд
Содержание слайда:
№5 слайд
Содержание слайда:
№6 слайд
Содержание слайда:
№7 слайд
Содержание слайда:
№8 слайд
Содержание слайда:
№9 слайд
Содержание слайда:
№10 слайд
Содержание слайда:
№11 слайд
Содержание слайда:
№12 слайд
Содержание слайда:
№13 слайд
Содержание слайда:
№14 слайд
Содержание слайда: Опис (визначення) функцій
Опис (визначення) функцій
Обчислення функцій
№15 слайд
Содержание слайда: Формалізація семантики функціональних програм фактично спряжена з уточненням власне функцій та уточненням аплікації (уточненням застосування функції до аргументів).
Теоретичні засади такої формалізації давно відомі. Це – лямбда-числення.
Окремі штрихи теоретичного підгрунтя :
Формалізація семантики функціональних програм фактично спряжена з уточненням власне функцій та уточненням аплікації (уточненням застосування функції до аргументів).
Теоретичні засади такої формалізації давно відомі. Це – лямбда-числення.
Окремі штрихи теоретичного підгрунтя :
чисте лямбда-числення – це числення анонімних функцій;
бета-редукція – основа трактування аплікації (тобто є засадою операційної семантики);
можливі різні стратегії використання бета-редукції, зокрема, є стратегія, спряжена із так званими лінивими обчисленнями, є стратегія, спряжена із так званими енергійними обчисленнями;
теорема про нерухому точку (для визначення функцій, що задаються рекурсивними рівняннями).
Можна обмежитись одноаргументними функціями, спираючись на каррінг функцій.
№16 слайд
Содержание слайда: На Haskell реалізовано багато складних проектів. Ось деякий їх перелік за джерелом
На Haskell реалізовано багато складних проектів. Ось деякий їх перелік за джерелом
http://www.ibm.com/developerworks/ru/library/
l-haskell/?S_TACT=105AGX99&S_CMP=GR01
Компілятори й інші засоби розробки.
Розподілена система керування версіями Darcs.
Віконний менеджер xmonad.
Сервер Web-додатків HAppS.
Інтерпретатор/компілятор Pugs для мови Perl 6.
Операційна система House.
Мова опису апаратних засобів Lava.
Система обробки природної мови LOLITA.
Системи доведення теорем Equinox / Paradox і Agda.
№17 слайд
Содержание слайда: Душкин Р. В. Функциональное программирование на языке Haskell. М.: ДМК Пресс, 2007.
Душкин Р. В. Функциональное программирование на языке Haskell. М.: ДМК Пресс, 2007.
Душкин Р. В. Справочник по языку Haskell. М.: ДМК Пресс, 2008.
Душкин Р. В. Практика работы на языке Haskell. М.: ДМК Пресс, 2009.
Липовача М. Изучай Haskell во имя добра! М.: ДМК Пресс, 2012.
Lipovača M. Learn You a Haskell for Great Good! Miran Lipovača. : No Starch Press», 2011.
Роганова Н. А. Функциональное программирование, 2002.
Филд А., Харрисон П. Функциональное программирование. М.: Мир, 1993.
Хендерсон П. Функциональное программирование. Применение и реализация. М.: Мир, 1983.
Хьюдак П., Петерсон Дж., Джозеф Фасел Дж. Мягкое введение в haskell. Учебник.
№18 слайд
Содержание слайда:
Скачать все slide презентации Знайомство з функціональним програмуванням одним архивом:
