Формат опису модуля icon

Формат опису модуля




Скачати 17.35 Kb.
НазваФормат опису модуля
Дата11.08.2012
Розмір17.35 Kb.
ТипДокументи

ФОРМАТ ОПИСУ МОДУЛЯ


  1. Назва модуля: Декларативне програмування

  2. Код модуля: ПЗ_6052_С01

  3. Тип модуля: обов’язковий

  4. Семестр: VІІ

  5. Обсяг модуля: загальна кількість годин – 120 (кредитів ЄКТС – 4)

аудиторні години – 64 (лекції – 32, лаб. роб. – 32)

  1. Лектор: к.т.н., доц. Левус Євгенія Василівна

  2. Результати навчання:

У результаті вивчення модуля студент повинен:

  • знати основні методи та принципи, які використовуються у функційному та логічному програмуванні;

  • уміти розробляти програми на мовах високого рівня Scheme та Prolog.

  1. Спосіб навчання: аудиторне

  2. Необхідні обов’язкові попередні та супутні модулі:

  • пререквізит: Основи програмування, Алгоритми і структури даних, Комп’ютерна дискретна математика, Системи штучного інтелекту

  • кореквізити:

  1. Зміст модуля:

Суть функційного програмування. Типи даних у функційному програмуванні. Поняття S-виразу. Категорії функцій. Спискова форма представлення даних. Побудова рекурсивних функцій. Метод параметру нагромадження. Функції вищих порядків. Основні засади логічного програмування. Етапи програмування на Пролозі. Алфавіт мови Пролог. Терми. Факти і правила. Структура Пролог-програми. Механізм повернення. Рекурсивне представлення даних і програм. Керування перебором в логічному програмуванні. Структурована інформація. Динамічна база даних. Предикати роботи з файлами.

  1. Рекомендована література:

  • Хювёнен Э., Сеппенен И. Мир Lisp'а. В 2-х томах. М.: Мир, 1990.

  • Душкин Р. В. Текст лекций по курсу «Функциональное программирование». - Москва, 2001.

  • Братко И. Алгоритмы искусственного интелекта на языке PROLOG. – М.:2004. – 640 с.

  • Дехтяренко И.А. Декларативное программирование. –2003.

  1. Форми та методи навчання: лекції, лабораторні заняття, самостійна робота

  2. Методи і критерії оцінювання:

  • Поточний контроль (32 %): письмові звіти з лабораторних робіт, усне опитування, контрольна розрахункова робота.

  • Підсумковий контроль (68 %, екзамен): модульний контроль (30%+38%),

  1. Мова навчання: українська

Схожі:

Формат опису модуля iconФормат опису модуля
Обсяг модуля: загальна кількість годин – 108, аудиторні години-56 (лекції-28, практичні-28)
Формат опису модуля iconФормат опису модуля
Назва модуля: Основи теорії кіл, сигнали та процеси в інформаційно-комунікаційних системах, частина 2
Формат опису модуля iconФормат опису модуля
Обсяг модуля: загальна кількість годин – 120 (кредитів єктс – 4) аудиторні години – 64 (лекції – 48, практичні заняття – 16)
Формат опису модуля iconФормат опису модуля
Обсяг модуля: загальна кількість годин –210(кредитів єктс –7), аудиторні години – 80 (лекції – 48, практичні заняття –32)
Формат опису модуля iconФормат опису модуля напрями – со, ср
Обсяг модуля: загальна кількість годин со – 108 (кредитів єктс – 3), аудиторні години – 48 (практичні заняття)
Формат опису модуля iconФормат опису модуля
Обсяг модуля: загальна кількість годин 120 (кредитів єктс 4); аудиторні години 80 (лекції 32, лабораторні роботи – 16, практичні...
Формат опису модуля iconФормат опису модуля назва модуля: Мікроелектронні засоби iнформацiйних технологiй Код модуля
Знати сучасну матеріальну базу та програмне забезпечення інформаційних технологій, Він повинен також знати фізичні принципи роботи...
Формат опису модуля iconФормат опису модуля назва модуля: Мікросхемотехніка, частина Код модуля
Основні аналогові функції. Елементарні підсилювальні каскади. Операційні підсилювачі. Нелінійні І лінійні перетворювачі електронних...
Формат опису модуля iconФормат опису модуля назва модуля: Системи штучного інтелекту Код модуля
Засвоїти: методи набуття знань, формування моделей знань І побудови баз знань; знати методи І алгоритми розв'язування задач, діагностики,...
Формат опису модуля iconФормат опису модуля
Алгоритмічні основи криптології, криптографічні системи та протоколи, прикладна криптологія
Формат опису модуля iconФормат опису модуля
Прата С. Язык программирования С. Лекции и упражнения. – М.: Вильямс, 2006. – 960 с
Додайте кнопку на своєму сайті:
Документи


База даних захищена авторським правом ©zavantag.com 2000-2013
При копіюванні матеріалу обов'язкове зазначення активного посилання відкритою для індексації.
звернутися до адміністрації
Документи