КАТЕГОРИИ:
АстрономияБиологияГеографияДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРиторикаСоциологияСпортСтроительствоТехнологияФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Билеты к экзамену
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №1 1. Парадигмы императивного и декларативного программирования. 2. Понятие бестипового программирования. 3. Понятие псевдофункции. 4. Графическое представление списка. 5. Отображающие функционалы. 6. Логическая теория Фреге и значение её для логического программирования. 7. Структура терма. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №2 1. Основные задачи для функционального и логического программирования. 2. Обзор функциональных языков программирования. 3. Псевдофункция статического связывания объекта. 4. Принципы работы с памятью функциональной и логической программы. 5. Поиск с возвратом. 6. Детерминированные и недетерминированные предикаты. 7. Запись фактов, записи рекуррентных определений. |
| Брянский государственный технический университет Кафедра « Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №3 1. Основные понятия систем ИИ. 2. Свойства функционального программирования в постановке А. П. Ершова. 3. Функция eval. 4. Автоматические сборщики мусора. 5. Предикат открытия и чтения текущего входного потока. 6. Стандартные предикаты Constraint систем программирования. 7. Понятие лексического замыкания, формы организации лексического замыкания. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №4 1. Понятие функционального программирования и основные положения по А.П. Ершову. 2. Структура символьного выражения в Лиспе. 3. Функция quote. 4. Старт-стопные мусора и сборщики мусора реального времени. 5. Генератор в программировании, понятие вычислительного контекста. 6. Теория Френча и Эрбрана и значение её для логического программирования. 7. Переменная, конкретизация переменных. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №5 1. Понятие функциональности. 2. Символы, атомы, константы, T, NIL, списки. 3. Символьные выражения Лиспа. 4. Список в Эрланге, конструктор списка. 5. Сопоставление термов. 6. Отсечение, операционная модель Пролога при использовании в случае применения отсечения. 7. Определение процедуры слияния списков. |
| Брянский государственный технический университет Кафедра « Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №6 1. Понятие прозрачности по ссылкам. 2. Список как основная структура функционального и логического программирования. 3. Символьные выражения Пролога и Эрланга. 4. Образец, сопоставление с образцом. 5. Предикат открытия и чтения текущего выходного потока. 6. Множественные предикаты. Описание компонентов. 7. Связь логического программирования с искусственным интеллектом. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №7 1. Виды вычислений в функциональных языках. 2. Префиксная нотация Лиспа, вычисление арифметических выражений. 3. Основные примитивы Лиспа для обработки списка. 4. Выделение элементов списка в Эрланге с помощью примитивов. 5. Теория Тьюринга, значение для логического программирования. 6. Атом. 7. Операционная модель машины вывода Пролога. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №8 1. Выделение элементов списка в Эрланге с использованием образцов. 2. Форма организации условных вычислений cond. 3. Рекурсия по аргументу, пример. 4. Хвостовая рекурсия. 5. Операционная семантика Пролога при использовании сечения. 6. Определение процедуры определения длины списка. 7. Перемещение терма во внешнюю память базы данных. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №9 1. Порядок вычисления лямбда выражений. 2. Последовательные вычисления в Лиспе. 3. Рекурсия по значению, пример. 4. Понятие функции высокого порядка. 5. Логическое и функциональное программирование. 6. Дизъюнкт Хорна. 7. Металогические предикаты. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №10 1. Функция определения функций (связывание символов). 2. Формы организации циклических вычислений do и do*. 3. Параллельная рекурсия. 4. Применяющий функционал Лиспа. 5. Структура, функтор, компоненты. 6. Операторная нотация в Прологе. 7. Подцель, терпящая неудачу. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №11 1. Ключевой параметр optional, key, res. 2. Принципы работы по организации ввода-вывода в Лиспе. 3. Косвенная рекурсия, пример. 4. Обобщение вычислений посредством использования функций высокого порядка. 5. Определение процедуры определения факториала. 6. Организация работы с динамической базой данных. 7. Металогические предикаты для анализа структуры термы. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №12 1. Каринговая форма записи функций нескольких переменных. 2. Рекуррентные отношения. 3. Реализация рекурсивного вызова, функция трассировки в Лиспе. 4. Понятие лексического замыкания, формы организации лексического замыкания. 5. Факты, пример записи фактов. 6. Оператор присваивания в прологе. 7. Металогические предикаты для определения типа переменных. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №13 1. Формы организации временного контекста (let/let*). 2. Примитивные рекурсивные функции. 3. Логическое программирование и параллельное программирование. 4. Правило, пример записи правила. 5. Понятие инверсных вычислений. 6. Запись списка в виде структуры. 7. Организация ввода/вывода в прологе. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №14 1. Последовательная и одновременная передача параметров вычисляемой формы. 2. Классификация и виды рекурсии. 3. Функция принадлежности аргумента списка, декларативное определение. 4. Резолюция, правило резолюции как процедура вывода решений. 5. Определение оператора и его свойства. 6. Нелогические предикаты. 7. Constraint программирование: наложение ограничений и виды ограничений. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №15 1. Понятие функционального программирования и основные положения по А.П. Ершову. 2. Символьные выражения Лиспа. 3. Эффективность рекурсивного и итерационного процесса. 4. Сопоставление в логическом программировании. 5. Пример "естественной языковой" записи программы на Прологе. 6. Определение процедуры четного и нечетного списка. 7. Классификация Constraint систем логического программирования. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №16 1. Понятие прозрачности по ссылкам. 2. Функция quote. 3. Логическое программирование и параллельное программирование. 4. Процедура вывода решения, как процедура доказательства теоремы. 5. Традиционная форма записи списка. 6. Предикат assert для перемещения фактов и правил. 7. Теория Тьюринга, значение для логического программирования. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №17 1. Символы, атомы, константы, T, NIL, списки. 2. Парадигмы императивного и декларативного программирования. 3. Каринговая форма записи функций нескольких переменных. 4. Правило, пример записи правила. 5. Рекурсивное логическое программирование. 6. Структура терма. 7. Организация ввода/вывода в прологе. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №18 1. Свойства функционального программирования в постановке А. П. Ершова. 2. Список в Эрланге, конструктор списка. 3. Понятие функции высокого порядка. 4. Атом. 5. Операторная нотация в Прологе. 6. Определение процедуры определения длины списка. 7. Металогические предикаты. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №19 1. Виды вычислений в функциональных языках. 2. Форма организации условных вычислений cond. 3. Классификация и виды рекурсии. 4. Применяющий функционал Лиспа. 5. Генератор в программировании, понятие вычислительного контекста. 6. Структура, функтор, компоненты. 7. Факты, пример записи фактов. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №20 1. Понятие псевдофункции. 2. Основные примитивы Лиспа для обработки списка. 3. Автоматические сборщики мусора. 4. Выделение элементов списка в Эрланге с использованием образцов. 5. Хвостовая рекурсия. 6. Дизъюнкт Хорна. 7. Поиск с возвратом. |
| Брянский государственный технический университет Кафедра «Информатика и программное обеспечение» Дисциплина «Функциональное и логическое программирование» Экзаменационный билет №21 1. Графическое представление списка. 2. Понятие бестипового программирования. 3. Символьные выражения Пролога и Эрланга. 4. Переменная, конкретизация переменных. 5. Определение оператора и его свойства. 6. Традиционная форма записи списка. 7. Предикат assert для перемещения фактов и правил. |
Дата добавления: 2015-09-13; просмотров: 86; Мы поможем в написании вашей работы!; Нарушение авторских прав |
| <== предыдущая лекция | | | следующая лекция ==> |
| ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 37 | | | Экзаменационный билет № 9 |