Лекції з функціонального та логічного програмування(Інформатика)
Plan
Лекції з функціонального програмування
         Лекція 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

Discussion
Discuss (0 comments)

Authorization:

Sign Up / Remind password
Публикация
Name:
Лекції з функціонального та логічного програмування(Інформатика)
(Book)
Дата изменения:
28th january 2011, 2:47 PM
Rating:
Total grade: 0

Estimate publications the registered users can only

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

Voting Did you participate in distance learning?
I'm not interested 51
No, but I want to try 155
Yes, in the role of tutor (student) 180
In Total Votes: 386
Results...
Please, register for voting
All bookmarks...