О курсе ФЛП … [ Вкратце о главном ]. Преподаватель Иконников Михаил Владимирович 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. Новицкая Ю. В. Основы логического и функционального программирования ( учебное пособие ). 2. Городняя Л. В. Основы функционального программирования 3. Шрайнер П. А. Основы программирования на языке Пролог 4. Морозов М. Н. Функциональное программирование, Братко И. Программирование на языке Пролог для искусственного интеллекта. – М.: Мир, – 560 С. Полный список материалов : 7