rpd000001899 (1009983), страница 3

Файл №1009983 rpd000001899 (230100 (09.03.01).Б5 Программное обеспечение средств вычислительной техники и автоматизированных систем) 3 страницаrpd000001899 (1009983) страница 32017-06-172017-06-17СтудИзба

230100 (09.03.01).Б5 Программное обеспечение средств вычислительной техники и автоматизированных систем

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Регистрация/авторизация

Текст из файла (страница 3)

1. Новиков П.В. Логическое программирование. Уч. пос. – М.: Изд-во МАИ, 2007, 100с.

2. Шрайнер П.А. Основы программирования на языке Пролог. Курс лекций. Учебное пособие. - М.: Интернет-Университет Информационных Технологий. 2005, 176с.

3. Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. –

СПб.: БХВ – Петербург, 2003, 992с.

4. Гетманова А.Д. Логика: учебник, словарь, практикум. – М.: Академический Проспект; Гаудеамус, 2007, 712с.

5. Кириллов В.И., Старченко А.А. Логика. Учебник. – М.: Высшая школа, 1982, 264с.

6. Новиков Ф.А. Дискретная математика для программистов. Учебник для вузов. 2-е изд. – СПб.: Питер, 2005, 364с.

7. Краткий конспект лекций в электронном виде.

б)дополнительная литература:

1. Ковальский Р. Логика в решении проблем. – М.: Наука, 1990, 280с.

2. Логический подход к искусственному интеллекту (от классической логики к

логическому программированию). – М.: Мир, 1990, 430с.

3. Клини С.К. Математическая логика. Изд. 4-е. – М.: Издательство ЛКИ, 2008, 480с.

4. Мендельсон Э. Введение в математическую логику. – М.: Наука, 1984, 320с.

5. Нильсон Н. Искусственный интеллект. Методы поиска решений.– М.:Мир,1973,270с.

6. Лорьер Ж.-Л. Системы искусственного интеллекта. – М.: Мир, 1991, 568с.

7. Нефёдов В.Н., Осипова В.А. Курс дискретной математики. Учеб. пособие. – М.: Изд. МАИ, 1982, 264 с.

8. Братко И. Алгоритмы искусственного интеллекта на языке PROLOG. Изд. 2-е. –

М.: «Вильямс», 2004, 690с.

9. Стерлинг Л., Шапиро Э. Искусство программирования на языке ПРОЛОГ. –

М.: Мир, 1990, 326с.

10. Малпас Дж. Реляционный язык Пролог и его применение. – М.: Наук9а, 1990, 464с.

11. Ин Ц., Соломон Д. Использование Турбо-ПРОЛОГа. – М.: Мир, 1993, 608с.

12. Клоксин У., Меллиш К. Программирование на языке ПРОЛОГ.– М.: Мир,1987,336с.

13. Янсон А. Турбо-ПРОЛОГ в сжатом изложении. Справочник. – М.: Мир, 1991, 96с.

14. Марселлус Д. Программирование экспертных систем на Турбо-ПРОЛОГе. – М.:

Финансы и статистика, 1994, 256с

в)программное обеспечение, Интернет-ресурсы, электронные библиотечные системы:

Программные продукты Turbo Prolog 2.0 и Visual Prolog 5.0.

ИНТУИТ.РУ: Интернет-Университет Информационных Технологий. Шрайнер П.А. Основы программирования на языке Пролог. Электронный курс лекций. 14 лекций.

МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ

1. Для проведения лекций необходима поточная аудитория, доска и мел (маркер).

2. Для проведения лабораторных работ необходим класс с персональными компьютерами на всю учебную группу.

Приложение 1
к рабочей программе дисциплины
«Логическое программирование »

Аннотация рабочей программы

Дисциплина Логическое программирование является частью Профессионального цикла дисциплин подготовки студентов по направлению подготовки Информатика и вычислительная техника. Дисциплина реализуется на 3 факультете «Московского авиационного института (национального исследовательского университета)» кафедрой (кафедрами) 304.

Дисциплина нацелена на формирование следующих компетенций: ОК-10 ,ОК-11 ,ПК-5 ,ПК-9 ,ПСК-3 ,ПСК-6.

Содержание дисциплины охватывает круг вопросов, связанных с: получением, хранением, и использованием знаний о реальном мире, решением задач, получивших название задачи «искусственного интеллекта», разработкой экспертных систем.

Преподавание дисциплины предусматривает следующие формы организации учебного процесса: Лекция, мастер-класс, Лабораторная работа.

Программой дисциплины предусмотрены следующие виды контроля: промежуточная аттестация в форме Зачёт.

Общая трудоемкость освоения дисциплины составляет 3 зачетных единиц, 108 часов. Программой дисциплины предусмотрены лекционные (34 часов), практические (0 часов), лабораторные (16 часов) занятия и (58 часов) самостоятельной работы студента. Дисциплина «Логическое программирование» является частью профессионального цикла дисциплин подготовки студентов по направлению подготовки 230100 «Информатика и вычислительная техника». Дисциплина реализуется на 3-м факультете МАИ кафедрой 304.

Дисциплина нацелена на формирование общекультурных компетенций ОК1, ОК-3, ОК-10, ОК-11, ОК-12, профессиональных компетенций ПК-2, ПК-4 - ПК-6, ПСК-10 выпускника.

Преподавание дисциплины предусматривает следующие формы организации учебного процесса: лекции, лабораторные работы, самостоятельную работу студентов, консультации.

Программой дисциплины предусмотрены следующие виды контроля: текущий контроль успеваемости в форме: письменные домашние задания; выполнение лабораторных работ; защита лабораторных работ; отдельно оцениваются личностные

качества студента (аккуратность, исполнительность, инициативность) – работа у доски, отчетов к лабораторным работам; рубежный контроль в форме — тестирование; защита лабораторных работ и промежуточный контроль в форме экзамена.

Общая трудоемкость освоения дисциплины составляет 2 зачетные единицы, 72 часа. Программой дисциплины предусмотрены лекционные 18 часов, лабораторные 16 часов занятий и 38 часов самостоятельной работы студента.

Приложение 2
к рабочей программе дисциплины
«Логическое программирование »

Cодержание учебных занятий

Лекции

1.1.1. Введение. Предмет дисциплины и её задачи.(АЗ: 2, СРС: 2)

Тип лекции: Информационная лекция