rpd000001778 (1009950), страница 3

Файл №1009950 rpd000001778 (230100 (09.03.01).Б4 Вычислительные машины, комплексы, системы и сети) 3 страницаrpd000001778 (1009950) страница 32017-06-172017-06-17СтудИзба

230100 (09.03.01).Б4 Вычислительные машины, комплексы, системы и сети

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

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

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

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
к рабочей программе дисциплины
«Логическое программирование »

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

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

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

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

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

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

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

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

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

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

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

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

Лекции

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

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