- •1)Простые типы данных. Представление в памяти эвм символов, целых и вещественных чисел.
- •2) Структурированные типы данных. Представление в памяти эвм массивов, структур, битовых полей и т.Д.
- •4)Инкапсуляция, наследование, полиморфизм
- •1. Инкапсуляция
- •2. Полиморфизм
- •3. Наследовние
- •5) Перегрузка функций. Перегрузка операций.
- •6) Шаблоны функций.
- •7)Шаблоны классов.
- •8)Структура микропроцессора (на примере е97).
- •9) Система команд процессора (на примере е97).
- •10) Основной алгоритм работы процессора. Способы адресации данных (на примере е97).
- •11) Формат и назначение команд процессора (на примере е97).
- •12) Организация переходов. Развилка и цикл (на примере е97).
- •13) Принципы работы с массивами (на примере е97).
- •14) Организация подпрограмм (на примере е97)
- •15)Логическое программирование. Пролог. Принцип работы программ.
- •16) Факты, правила, вопросы. Сопоставление в пролоГе.
- •17)Отсечение (Cut)
- •18)Рекурсия в прологе
- •19) Списки. Описание. Примеры типовых задач обработки: длина списка, членство в списке, склеивание списков, переворачивание списков.
- •20) Обработка списков: суммирование, вычисление произведения элементов списка, поиск минимального и максимального элементов.
- •21)Сортировка списков: метод обмена (пузырьковая), метод вставки
- •Сортировка вставкой
- •22) Сортировка слияниями
- •23)Быстрая сортировка
- •24) Применение пролог для решения логических задач
15)Логическое программирование. Пролог. Принцип работы программ.
Логическое программирование возникло в эру ЭВМ как естественное желание автоматизировать процесс логического вывода, поэтому оно является ветвью теории формальных систем. Логическое программирование ( в широком смысле) представляет собой семейство таких методов решения задач, в которых используются приемы логического вывода для манипулирования знаниями, представленными в декларативной форме [1]. Как писал Джордж Робинсон в 1984 году, в основе идеи логического программирования лежит описание задачи совокупностью утверждений на некотором формальном логическом языке и получение решения с помощью вывода в некоторой формальной (аксиоматической) системе. Такой аксиоматической системой являются исчисление предикатов первого порядка, поэтому в узком смысле логическое программирование понимается как использование исчисления предикатов первого порядка в качестве основы для описания предметной области и осуществления резолюционного логического вывода.
Язык Пролог объединяет два подхода: логический и процедурный. По мнению Дж. Робинсона, в основе идеи логического программирования лежит принцип описания задачи при помощи совокупности утверждений на некотором формальном логическом языке и получение решения при помощи вывода в некоторой формальной системе. Основой языка Пролог является логика предикатов первого порядка.
Программа на Прологе включает в себя постановку задачи в виде множества фраз Хорна (раздел clauses) и описание цели (раздел goal), - формулировку теоремы, которую нужно доказать, исходя из множества правил и фактов, содержащихся в этой постановке. Процесс поиска доказательства основан на методе линейной резолюции (дизъюнкты подбираются в порядке их следования в тексте программы).
Язык программирования Пролог (PROgramming LOGic) предполагает получение решения задачи при помощи логического вывода из ранее известных фактов. Программа на языке Пролог не является последовательностью действий – она представляет собой набор фактов и правил, обеспечивающих получение логических заключений из данных фактов. Поэтому Пролог считается декларативным языком программирования.
Одной из важнейших особенностей Пролога является то, что он ищет не только ответ на поставленный вопрос, но и все возможные альтернативные решения. Вместо обычной работы программы на процедурном языке от начала и до конца, Пролог может возвращаться назад и просматривать все остальные пути при решении всех частей задачи. Программист на Прологе описывает объекты и отношения, а также правила, при которых эти отношения являются истинными. Объекты рассуждения в Прологе называются термами – синтаксическими объектами одной из следующих категорий: • константы, • переменные, • функции (составные термы или структуры), состоящие из имени функции и списка аргументов-термов, имена функций начинаются со строчной буквы. Константа в Прологе служит для обозначения имен собственных и начинается со строчной буквы. Переменная в Прологе служит для обозначения объекта на который нельзя сослаться по имени. Пролог не имеет оператора присваивания.