О курсе ФЛП … [ Вкратце о главном ]. Преподаватель Иконников Михаил Владимирович 230105 (220400) Программное обеспечение вычислительной техники и автоматизированных. - презентация

1 О курсе ФЛП … [ Вкратце о главном ]

2 Преподаватель Иконников Михаил Владимирович (220400) Программное обеспечение вычислительной техники и автоматизированных систем – инженер - программист " Базы данных » – магистр техники и технологии математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей – аспирант Страница курса : ( раздел « Студентам / Функциональное и логическое программирование » Эл. почта ( для выполненных лабораторных работ ): Где найти : ЮУрГУ, гл. корпус, ауд. 700 ( обращаться к Ксении Владимировне ) 2

3 Что будем изучать ? Парадигмы программирования ( кратко ) Логическое программирование Язык Пролог Функциональное программирование Языки Хаскель, Лисп 3

4 Что понадобится ? SWI Prolog: prolog.org/download/stable/bin/w32pl5101.exe prolog.org/download/stable/bin/w32pl5101.exe WinHugs: Sep2006.exe Sep2006.exe Xlisp: 4

5 Составляющие курса Лекции презентации на проекторе, копии слайдов – на сайте Лабораторные работы 8 штук, по системе зачета Доклады, исследования ( по желанию ) более глубокое изучение изучаемых тем темы докладов / заданий предлагаются, обсуждаемы Экзамен Тест ~ 20 вопросов по всем темам 5

6 Критерии оценки ( бонусы ) Допуск к экзамену ( минимум – 4 л. р.) Кол - во баллов на итоговом ( экзаменационном ) тесте Бонусные баллы : за сдачу л. р.: 1 балл за вовремя сданную л. р. ( на текущем или следующем занятии ), 0.5 – за сданную с опозданием за доклады / исследования : индивидуально ( оговариваются вместе с заданием ) 6

7 Литература 1. Новицкая Ю. В. Основы логического и функционального программирования ( учебное пособие ) Городняя Л. В. Основы функционального программирования 3. Шрайнер П. А. Основы программирования на языке Пролог 4. Морозов М. Н. Функциональное программирование, Братко И. Программирование на языке Пролог для искусственного интеллекта. – М.: Мир, – 560 С. Полный список материалов : 7