More documents

Recommendations

Info

2 СОДЕРЖАНИЕ СОДЕРЖАНИЕ .....................................................................................2 ВВЕДЕНИЕ............................................................................................4 ЗАНЯТИЕ №1. СИМВОЛИЗАЦИЯ ЕСТЕСТВЕННОГО ЯЗЫКА СРЕДСТВАМИ ЛОГИКИ ВЫСКАЗЫВАНИЙ.................................6 ОСНОВЫ ...............................................................................................6 СИМВОЛИЗАЦИЯ ...................................................................................7 ФОРМУЛЫ.............................................................................................8 ЗАДАНИЕ............................................................................................. 10 МЕТОДИЧЕСКИЕ УКАЗАНИЯ................................................................. 11 САМОСТОЯТЕЛЬНАЯ РАБОТА ............................................................... 12 КОНТРОЛЬНЫЕ ВОПРОСЫ .................................................................... 12 ЗАНЯТИЕ №2. ЛОГИЧЕСКИЙ ВЫВОД В ЛОГИКЕ ВЫСКАЗЫВАНИЙ............................................................................. 13 СПОСОБЫ ВЫВОДА В ЛОГИЧЕСКИХ МОДЕЛЯХ НУЛЕВОГО ПОРЯДКА...... 13 ЗАДАНИЕ............................................................................................. 18 МЕТОДИЧЕСКИЕ УКАЗАНИЯ................................................................. 18 САМОСТОЯТЕЛЬНАЯ РАБОТА ............................................................... 18 КОНТРОЛЬНЫЕ ВОПРОСЫ .................................................................... 19 ЗАНЯТИЕ №3. ЛОГИКА ПРЕДИКАТОВ ПЕРВОГО ПОРЯДКА. ИНТЕРПРЕТАЦИЯ. НОРМАЛЬНЫЕ ФОРМЫ ............................ 20 ОСНОВЫ ............................................................................................. 20 СИМВОЛИЗАЦИЯ ................................................................................. 21 ИНТЕРПРЕТАЦИЯ................................................................................. 22 НОРМАЛЬНЫЕ ФОРМЫ......................................................................... 23 ЗАДАНИЕ............................................................................................. 26 МЕТОДИЧЕСКИЕ УКАЗАНИЯ................................................................. 27 САМОСТОЯТЕЛЬНАЯ РАБОТА ............................................................... 27 КОНТРОЛЬНЫЕ ВОПРОСЫ .................................................................... 28 ЗАНЯТИЕ №4. ВЫВОДЫ В ЛОГИЧЕСКИХ МОДЕЛЯХ ПЕРВОГО ПОРЯДКА......................................................................... 29 H-ИНТЕРПРЕТАЦИЯ ............................................................................. 29 ТЕОРЕМА ЭРБРАНА И МЕТОД РЕЗОЛЮЦИЙ ........................................... 32 ЗАДАНИЕ............................................................................................. 34
3 МЕТОДИЧЕСКИЕ УКАЗАНИЯ................................................................. 35 САМОСТОЯТЕЛЬНАЯ РАБОТА ............................................................... 35 КОНТРОЛЬНЫЕ ВОПРОСЫ .................................................................... 35 ЗАНЯТИЕ №5. ЗНАКОМСТВО С VISUAL PROLOG. ОБРАБОТКА СПИСКОВ................................................................... 36 ЗНАКОМСТВО С ЯЗЫКОМ VISUAL PROLOG............................................ 36 ЗНАКОМСТВО СО СРЕДОЙ VISUAL PROLOG........................................... 39 ОПЕРАЦИИ НАД СПИСКАМИ................................................................. 40 ЗАДАНИЕ............................................................................................. 42 ЗАНЯТИЕ №6. ПРОГРАММИРОВАНИЕ БАЗ ЗНАНИЙ В СРЕДЕ VISUAL PROLOG ............................................................................... 43 ВЫБОР ПРЕДМЕТНОЙ ОБЛАСТИ............................................................ 43 ФОРМАЛЬНОЕ ОПИСАНИЕ ПРЕДМЕТНОЙ ОБЛАСТИ ............................... 43 ПРЕДСТАВЛЕНИЕ ФОРМАЛЬНОГО ОПИСАНИЯ ПРЕДМЕТНОЙ ОБЛАСТИ НА ЯЗЫКЕ VISUAL PROLOG........................................................................ 44 ФОРМУЛИРОВКА ЗАПРОСОВ И ОФОРМЛЕНИЕ ИНТЕРФЕЙСА ............... 44 ЗАДАНИЕ............................................................................................. 45 ЗАНЯТИЕ №7. СОРТИРОВКА ......................................................... 46 МЕТОДЫ СОРТИРОВКИ......................................................................... 46 ЗАДАНИЕ............................................................................................. 47 ЗАНЯТИЕ №8. ПРЕДСТАВЛЕНИЕ ГРАФОВ И ПОИСК ПУТИ НА ГРАФЕ ........................................................................................... 48 ПРЕДСТАВЛЕНИЯ ГРАФОВ И ПОИСК ПУТИ ............................................ 48 ЗАДАНИЕ............................................................................................. 52 ЛИТЕРАТУРА..................................................................................... 53
Page 1: МИНИСТЕРСТВО ОБРАЗ
Page 5 and 6: 5 Prolog 3.7 Сортировка 1
Page 7 and 8: 7 Примеры сложных в
Page 9 and 10: 9 Интерпретацией фо
Page 11 and 12: 11 1) ~(~P)) P 2) P (P Q) 3) ~(P
Page 13 and 14: 13 ЗАНЯТИЕ №2. ЛОГИЧ
Page 15 and 16: 15 P R Q Q R ~R Q R ~R P R ((Q
Page 17 and 18: 17 Если в дизъюнкте C
Page 19 and 20: Контрольные вопрос
Page 21 and 22: 21 Здесь, как и в лог
Page 23 and 24: P(1, 1) P(1, 2) P(2, 1) P(2, 2) Q(1
Page 25 and 26: 25 кванторы существ
Page 27 and 28: 27 3. (x) (y)(~P(x, y)) 4. (x) (y)
Page 29 and 30: 29 ЗАНЯТИЕ №4. ВЫВОД
Page 31 and 32: 31 I 3 = {P(a, a), ~Q(a, a), P(a, g
Page 33 and 34: 33 Процедуры поиска
Page 35 and 36: 35 Методические ука
Page 37 and 38: 37 Symbol - символьный т
Page 39 and 40: 39 ность называется
Page 41 and 42: 41 ем программы, а во
Page 43 and 44: 43 ЗАНЯТИЕ №6. ПРОГР
Page 45 and 46: 45 В первом предложе
Page 47 and 48: 47 quick_sort([], []). quick_sort(L
Page 49 and 50: 49 бер, и, в-третьих,
Page 51 and 52: 51 member(X, [X| _]). member(X, [ _
Page 53:
53 Литература 1. Чень
show all

Ð¡ÐÐ¡Ð¢ÐÐÐ« ÐÐ¡ÐÐ£Ð¡Ð¡Ð¢ÐÐÐÐÐÐÐ ÐÐÐ¢ÐÐÐÐÐÐ¢Ð ÐÐµÑÐ¾Ð´Ð¸ÑÐµÑÐºÐ¸Ðµ ...

Create successful ePaper yourself

Delete template?

Save as template?

Ð¡ÐÐ¡Ð¢ÐÐÐ« ÐÐ¡ÐÐ£Ð¡Ð¡Ð¢ÐÐÐÐÐÐÐ ÐÐÐ¢ÐÐÐÐÐÐ¢Ð ÐÐµÑÐ¾Ð´Ð¸ÑÐµÑÐºÐ¸Ðµ ...