Логическое программирование. Язык Prolog 


Мы поможем в написании ваших работ!



ЗНАЕТЕ ЛИ ВЫ?

Логическое программирование. Язык Prolog



Постановка проблемы автоматического доказательства теорем. Доказательство от противного. Предложение. Алгоритм сведения формулы исчисления предикатов к предложению. Теорема о невыполнимости множества предложений. Правило резолюций для исчисления высказываний. Правило резолюций для исчисления предикатов. Алгоритм опровержения методом резолюций. Примеры.

Структура программы. Описание аргументов и предикатов. Факты. Правила. Структура правила. Рекурсивные правила. Запросы. Интерпретация Prolog-программ. Арифметические, логические операции. Операции отношения. Список. Структура списка. Принадлежность элемента списку. Конкатенация. Алгоритм выбора минимального (максимального) элемента из списка. Алгоритм упорядочения списка.

 

 

Перечень используемых Интернет-ресурсов:

1. Интернет-университет информационных технологий: http://www.intuit.ru

2. Интернет-портал: http://www.citforum.ru

3. Интернет-издание: http://www.zdnet.ru

4. Интернет-издание CNews. - http://www.cnews.ru

5. Электронный журнал IXBT.COM - http://www.ixbt.com

6. Интернет-издание Компьютерная библиотека - http://docs.gets.ru.

 

Перечень основной рекомендуемой литературы:

1. Логическое программирование – М.: ИНТУИТ.ру, 2005

2. Логическое программирование и Visual Prolog – Спб.: БХВ-Петербург, 2003

3. Гаврилова Т.А. Базы знаний интеллектуальных систем. – СПб.: Питер, 2000.Информационные технологии управления. (Под ред. Титоренко Г.А.).– М.: Юнити, 2003

4. Змитрович А.И. Интеллектуальные информационные системы. – Минск: ТетраСистемс, 1997.

5. Жданов А.А. Автономный искусственный интеллект. – М.: Бином, 2008

 


Вопросы Методологии программирования

1. Модель вычислений. Понятие стиля и методологии программирования.

2. Обзор развития языков программирования и их связь с моделями вычислений.

3. Архитектура вычислительных машин и их связь с моделями вычислений.

4. Языки программирования. Синтаксис, семантика и прагматика.

5. Формальные теории. Теоремы Геделя.

6. Исчисления высказываний. Модальные и темпоральные логики.

7. Исчисление предикатов. Метод резолюций.

8. Основные принципы логического программирования.

9. Рекурсия. Виды рекурсии.

10. Язык программирования Пролог.

11. Объектно-ориентированное программирование. Основные принципы.


Сети ЭВМ и телекоммуникации

Принципы построения сетей ЭВМ.

Понятие о сетях ЭВМ. Определение сети ЭВМ. Обобщенная структурная схема сети ЭВМ. Классификация сетей ЭВМ.

Виды топологических структур: классы широковещательные и последова-тельные сети, и их характеристики. Методы передачи данных в сетях ЭВМ: коммутация каналов, коммутация сообщений, коммутация пакетов. Сравнительный анализ их эффективности. Этапы развития сетей ЭВМ. Архитектура сетей ЭВМ. Иерархия протоколов.

Эталонная модель взаимного соедине-ния открытых систем.

Взаимное соединение открытых систем. Назначение эталонной модели OSI (Open System Intrconnection). Описание эта-лонной модели OSI. Семиуровневая дистема передачи данных. Описание функций передачи данных, реализуемых на каждом уровне.

Физический уровень передачи данных.

Его функции. Типы виртуальных битовых трактов. Способы кодирования данных. Каналы связи. Классификация каналов передачи данных. Передающие среды: витая пара, коаксиальный кабель, оптоволокно и их характеристики. Общие сведения о волоконно-оптических линиях связи: виды волокон и основные характеристики.

Канальный уровень передачи данных.

Подуровень управления линией передачи данных. Функции модуля канального уровня. Классификация алгоритмов передачи. Способы обнаружения ошибок: Однобитовые проверки на четность, Проверки на четность по вертикали и горизонтали, Линейные коды, Код Хемминга, Циклические избыточные проверки. Методы повторной передачи (Automatic Repeat Question): ARQ с остановкой и ожиданием, ARQ с временными подканала-ми, ARQ на п шагов назад, ARQ с адресным переспросом. Способы кадри-рования: Знаковое кадрирование, Битовое кадрирование и флаги, Кадриро-вание с измерением длины. Выбор минимального размера кадра. Подуровень управления доступом к среде. Среды с множественным доступом. Различные подходы к задаче распределения таких сред. Идеализированная модель синхронного множественного доступа. Методы обеспечения доступа к среде: Алгоритмы разбиения. Древовидный алгоритм и его модификации. Множественный доступ с прослушиванием несущей. CSMA Множественный доступ с прослушиванием несущей и обнаружением конфликтов CSMA/CD. Резервирование при множественном доступе. Кольцевые локальные сети с передачей маркера. Кольцо с тактированным доступом. Метод вставки регистров. Метод доступа с прослушиванием несущей и избежанием конфликтов.

Базовые технологии локальных сетей.

ЛВС Ethernet: Топология. Метод доступа и структуры кадров. Повторители Ethernet. Разрешение коллизий. Коммутаторы Ethernet. ЛВС Token Ring. Протокол маркерного доступа. Функциональные станции и адреса. Функциональные процессы: Соперничество за монитор, Процесс опроса кольца. Процесс инициализации станции. Функциональные процессы: Процесс очистки кольца, процесс аварийной сигнализации. Token Ring. Структура кадров.

 

 

ЛВС FDDI.

Составляющие стандарта, принцип действия. Протокол доступа и структура кадра. Алгоритмы маршрутизации. Цели маршрутизации. Требования к алгоритму маршрутизации. функции алгоритма маршрутизации. Классифи-кация алгоритмов маршрутизации. Стратегии маршрутизации де-централизованные изолированные. Стратегии маршрутизации децентра-лизованные глобальные. Метод рельефа.

Принципы межсетевого взаимодействия.

Два подхода к обеспечению меж-сетевого взаимодействия. Типы шлюзов. Межсетевой протокол TCP/IP. Протокол межсетевой IP: формат пакета и предоставляемые услуги. IP-адресация. Деление сетей на подсети. Протокол ARP. Протокол ICMP. Протокол транспортный UDP. Протокол транспортный TCP: формат пакета и предоставляемые услуги. Протокол DHCP. Разрешение имен узлов. DNS. NetBIOS поверх TCP/IP. Сервис WINS. IP-маршрутизация: протоколы RIP и OSPF.

 

Перечень используемых информационных ресурсов:

Периодические издания:

1. журнал «Информационные ресурсы России» http://ww vv.rosinf.ru/editions/rir/;

2. журнал «Мир ПК» http://ww w.npo-sm.ru/journal.html;

3. журнал «Открытые системы» http://www.osp.ru/os/;

4. журнал «Системы и сети связи» http://www.ccc.ru/;

5. журнал «Сети» http://www.оsp.ru/nets/.

 

Перечень рекомендуемой литературы

1. Бертсекас Д., Галлагер Р. Сети передачи данных. М.:Мир, 1989. - 544с.

2. Протоколы информационно-вычислительных сетей: Справочник / Под ред. Мизина. -
М.:Радио и связь, 1990. - 504с.

3. Убайдуллаев P.P. Волоконно-оптические сети./Из серии Инженерная энциклопедия
Технологии Электронных Коммуникаций- М.:Эко-Трендз, 1998. - 268с.

4. Олифер В.Г., Олифер Н.А. Компьютерные сети. Принципы, технологии, протоколы -
СПб. Литер, 2006. -958с.

5. Мэтью Ногл TCP/IP. Иллюстрированный учебник - М.ДМК Пресс, 2001. - 480с.

6. Основы организации сетей Cisco, том 1. — М.: Издательский - дом "Вильямс", 2002. — 512с.

7. Основы организации сетей Cisco, том 2. — М.: Издательский - дом "Вильямс", 2002. — 512с.

8. Уендел Одом. Компьютерные сети. Первый шанг: М.: Издательский - дом "Вильяме", 2006. — 432с.

 

Вопросы по Сетям ЭВМ и телекоммуникациям

1. Вычислительные сети, общее понятие назначение.

2. Эталонная модель взаимодействия открытых систем.

3. Модель OSI: уровень приложения, уровень представления, уровень сессии, транспортный уровень.

4. Модель OSI: транспортный, сетевой, канальный и физические уровни.

5. Протокол V.24.

6. Протокол V.35.

7. Среда передачи данных: коаксиальный кабель, неэкранированная витая пара. Линия связи. Характеристики линий связи.

8. Среда передачи данных: экранированная витая пара, оптоволоконный кабель. Линия связи. Характеристики линий связи.

9. Амплитудная, частотная и фазовая модуляция сигнала.

10. Цифровое кодирование: потенциальный код NRZ, биполярное кодирование с альтернативной инверсией, манчестерский код, потенциальный код 2B1Q.

11. Логическое кодирование: Избыточные коды. 4B/5B, скремблирование, искусственное искажение с использованием запрещенных символов.

12. Методы многоуровневой модуляции.

13. Дискретная модуляция аналоговых сигналов.

14. Сжатие данных: LZW. Метод помехоустойчивого кодирования Хаффмена.

15. Контроль ошибок: паритет, избыточная циклическая сумма, код Хэмминга.

16. Шифрование данных: шифрование с открытым ключом.

17. Топологии LAN.

18. Топология шина, CSMA/SD.

19. Физический уровень: MAC, LLC.

20. Концентраторы, Ethernet.

21. Коммутаторы.

22. Алгоритм Spanning tree.

23. Протокол IP.

24. Фрагментация сетевого уровня.

25. Опции фрагментации.

26. Классовая и бесклассовая IP адресация.

27. Адресация IP6.

28. Протокол IPsec.

29. Режим туннеля и транспортный режим IPsec.

30. Протокол АН.

31. Протокол ESP.

32. AH, ESP и NAT.

33. Построение VPN посредством IPsec.

34. Ассоциации безопасности и SPI в IPsec.

35. Транспортный уровень. Протокол UDP.

36. Транспортный уровень. Протокол TCP.

37. Протокол "скользящего окна". Синдром "глупого окна".

38. Таймеры TCP.

39. Статическая маршрутизация.

40. Динамическая маршрутизация RIP.

Экзаменационные билеты

Итогового государственного экзамена по направлению 230100 “Информатика и вычислительная техника”

 

Билет №1

 

1. Эталонная модель взаимодействия открытых систем.

2. Модель вычислений. Понятие стиля и методологии программирования.

3. Динамические типы данных: список, стек, очередь, дек.

4. Жизненный цикл ПО. Процессы и стации жизненного цикла ПО. Модели жизненного цикла ПО.

5. Для задачи «Бросание кубика» разработать два-три алгоритма её решения, провести анализ их сложности.

Условие задачи: Кубик, грани которого помечены цифрами от 1 до 6, бросают N раз. Найти вероятность того, что сумма выпавших чисел будет равна Q.

 



Поделиться:


Последнее изменение этой страницы: 2016-09-13; просмотров: 135; Нарушение авторского права страницы; Мы поможем в написании вашей работы!

infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 54.196.106.106 (0.021 с.)