Лекції з функціонального та логічного програмування(Інформатика)
План
Лекції з функціонального програмування
         Лекція 1.
         Лекція 2.
         Лекція 3.
         Лекція 4.
         Лекція 5.
         Лекція 6.
         Лекція 7.
Лекції з логічного програмування
         Лекція 1.
         Лекція 2.
         Лекція 3.
         Лекція 4.
         Лекція 5.
         Лекція 6.
         Лекція 7.
         Лекція 8.
         Лекція 9.
         Лекція 10.
         Лекція 11.
         Лекція 12.
         Лекція 13.
         Лекція 14.
Лекції з функціонального програмування
Лекція 1.

1. Поняття функціонального програмування.

2. Об’єкти Ліспу.

3. Примітивні функції Ліспу.

4. Функції присвоювання.

ФП_Лекцiя 1.pdf

Лекція 2.

1. Визначення функцій у Ліспі.

2. Середовище системи muLisp.

3. Трасування функцій.

ФП_Лекцiя 2.pdf

Лекція 3.

1. Примітивні об'єкти даних.

2. Функції властивостей.

3. Функції розпізнавання.

ФП_Лекцiя 3.pdf

Лекція 4.

1. Числові функції.

2. Арифметичні задачі.

3. Структури управління.

4. Обчислення рекурсивних функцій.

ФП_Лекцiя 4.pdf

Лекція 5.

1. Арифметичні задачі.

2. Індуктивні функції.

3. Функції виводу.

4. Управління пам'яттю.

5. Пакети переривань.

6. Повідомлення про помилки.

ФП_Лекцiя 5.pdf

Лекція 6.

1. Обробка масивів.

2. Функції рядків.

ФП_Лекцiя 6.pdf

Лекція 7.

1. Дерева.

2. Функції модифікатора.

3. Робота з файлами.

ФП_Лекцiя 7.pdf

Лекції з логічного програмування
Лекція 1.

1. Теоретичні принципи Прологу.

2. Процес подання знань мовою Пролог.

3. Форма запису Пролог-програми.

ЛП_Лекція 1.pdf

Лекція 2.

1. Структура Пролог-програми.

2. Стандартні типи доменів.

ЛП_Лекція 2.pdf

Лекція 3.

1. Декларативний і процедурний смисл Пролог-програми.

2. Процес пошуку розв'язків Пролог-системою на запити.

ЛП_Лекція 3.pdf

Лекція 4.

Співвідношення методу резолюції і пошуку в глибину

ЛП_Лекція 4.pdf

Лекція 5.

1.Операції введення - виведення даних.

2. Арифметичні операції і функції,  логічні операції і операції відношень.

ЛП_Лекція 5.pdf

 

Лекція 6.

Управління пошуком. Відсікання

ЛП_Лекція 6.pdf

Лекція 7.

Структури даних

ЛП_Лекція 7.pdf

Лекція 8.

1. Предикат fail. Метод повторення після невдачі.

2. Метод відсікання і повернення.

ЛП_Лекція 8.pdf

Лекція 9.

Рекурсія

ЛП_Лекція 9.pdf

Лекція 10.

1. Список у Пролозі. Операції над списками.

2. Процедури роботи зі списками.

ЛП_Лекція 10.pdf

Лекція 11.

 Опрацювання рядків

ЛП_Лекція 11.pdf

Лекція 12.

1. Реляційної бази даних і бази даних на Пролозі.

2. Динамічні бази даних і предикати роботи з ними.

ЛП_Лекція 12.pdf

Лекція 13.

1. Подання знань.

2. Засоби логічного виводу.

ЛП_Лекція 13.pdf

Лекція 14.

 Створення експертних оболонок

ЛП_Лекція 14.pdf

Обговорення
Обговорити (0 коментарів)

Авторизація:

Реєстрація / Забули пароль?
Публікація
Назва:
Лекції з функціонального та логічного програмування(Інформатика)
(Книга)
Дата изменения:
28 січня 2011р., 2:47 PM
Оцінка:
Всього оцінок: 0

Оцінювати публікації можуть тільки зареєстровані користувачі

Просмотров: 12886

Опитування Чи брали Ви участь в дистанційному навчанні?
Мені це нецікаво 51
Ні, але хочу спробувати 155
Так, в ролі тьютора (студента) 180
Всього голосів: 386
Результати...
Зареєструйтесь, щоб голосувати
Всі закладки...