Вопросы/задания к экзамену: Билеты к экзамену
Описание
Небольшая часть вопросов для примера:
Понятие предиката.
Понятие клаузы (утверждение).
Формальная система. Признаки ФС. Требования к ФС.
Исчисление высказываний (Булева алгебра).
Исчисление предикатов (1-го порядка).
Формальная арифметика. Системы 1ого порядка.
Ограничения формализма. Логические парадоксы.
Метод Эрбрана. Метод автоматического доказательства теорем.
Алгоритм резолюции.
Алгоритм унификации. Понятие терма.
Декларативный принцип программирования. АЯП сверхвысокого уровня.
Задачи Гильберта формализации математики. Роль логики в формализации математики.
Законы дедуктивного мышления. Доказательство от противного.
Основные конструкции логической программы (Turbo Prolog, Visual Prolog).
Встроенные типы данных.
Факты и правила. Предикаты и переменные. Анонимная переменная.
Переход к клаузальной форме логики.
Структурированная информация на Прологе. Функторы и термы. (Различие между предикатными символами и функторами. л/б 2)
Рекурсивные динамические структуры данных. Альтернативные доменные структуры. (л/б 3)
Арифметика на Прологе
Рекурсивные вычисления.
Оптимизация рекурсивных вычислений (левая и правая рекурсия). Итерационные вычисления. Переменные - накопители.
Повторяющиеся вычисления и предикат fail. Интеративные циклы.
Обработка списков. Создание списков с помощью предиката findall.
Отсечение (предикат cut).
Предикат динамических БД (принцип самопрограммирования).
Типовые металогические предикаты. (л/б 4)
Встроенные вспомогательные предикаты и примеры прикладных программ.
Понятие предиката.
Понятие клаузы (утверждение).
Формальная система. Признаки ФС. Требования к ФС.
Исчисление высказываний (Булева алгебра).
Исчисление предикатов (1-го порядка).
Формальная арифметика. Системы 1ого порядка.
Ограничения формализма. Логические парадоксы.
Метод Эрбрана. Метод автоматического доказательства теорем.
Алгоритм резолюции.
Алгоритм унификации. Понятие терма.
Декларативный принцип программирования. АЯП сверхвысокого уровня.
Задачи Гильберта формализации математики. Роль логики в формализации математики.
Законы дедуктивного мышления. Доказательство от противного.
Основные конструкции логической программы (Turbo Prolog, Visual Prolog).
Встроенные типы данных.
Факты и правила. Предикаты и переменные. Анонимная переменная.
Переход к клаузальной форме логики.
Структурированная информация на Прологе. Функторы и термы. (Различие между предикатными символами и функторами. л/б 2)
Рекурсивные динамические структуры данных. Альтернативные доменные структуры. (л/б 3)
Арифметика на Прологе
Рекурсивные вычисления.
Оптимизация рекурсивных вычислений (левая и правая рекурсия). Итерационные вычисления. Переменные - накопители.
Повторяющиеся вычисления и предикат fail. Интеративные циклы.
Обработка списков. Создание списков с помощью предиката findall.
Отсечение (предикат cut).
Предикат динамических БД (принцип самопрограммирования).
Типовые металогические предикаты. (л/б 4)
Встроенные вспомогательные предикаты и примеры прикладных программ.
Характеристики вопросов/заданий к экзамену
Предмет
Учебное заведение
МАИСеместр
Просмотров
122
Размер
28,91 Kb
Список файлов
Зарабатывай на студизбе! Просто выкладывай то, что так и так делаешь для своей учёбы: ДЗ, шпаргалки, решённые задачи и всё, что тебе пригодилось.
Начать зарабатывать
Начать зарабатывать
zzyxel
24 ноября 2015 в 23:29
Комментарии
Нет комментариев
Стань первым, кто что-нибудь напишет!
Отзывы на другие работы автора
Отзыв
⚡️ Ответы на компетентностный тест по Истории России для Синергии ⚡️
ответы не все. тест был сдан в 2024г.«Был допущен целый ряд таких вещей, которые дискредитировали идею коллективизации, были случаи, когда комсомольцы отбирали сапоги, тулуп, шапку ..., выходили на улицу, надевали все это и чувствовали себя на высоте положения. Были случаи, когда отнимали всё вплоть до сапог, а такие крупные вещи, как мельница, крупные средства производства оставались в стороне. Были случаи мародёрства, когда люди дискредитировали себя, забирая такие вещи, которые нам не нужны». О каком процессе постепенного вытеснения капиталистических элементов в сельском хозяйстве СССР идет речь в данном историческом тексте? еще ошибка в ответе на этот вопрос. ответ продразверстка НЕ ВЕРНЫЙ!
Отзыв
Разработка технологии изготовления отливок - Втулка
Не описана поэтапность разработки детали методом литья, приведены только характеристики материала в подробностях и чертеж в компасе литейной установки (полуформ, смеси и т.д.), но от этого, следуя методичке, можно отталкиваться
Отзыв
В-227
Геометрия деталей в целом правильная, пару резьб мимо с обозначениями долго переделывал, но отчасти из-за не самого приятного препода За правильный чертеж сборки респект, но размеры округлены до целых (не всегда хорошо) местами не совпадают с реальностью
Отзыв
По приведенным уравнениям полуреакций и значениям стандартных электродных потенциалов составьте полное ионно-молекулярное уравнение окислительно-восстановительной реакции, самопроизвольно протекающей в редокс-элементе.
Хорошее решение, выполнены все необходимые вычисления, отличное качество
Отзыв
Вычислите растворимость [(моль/л) и (г/л)] вещества при температуре 25 °С и заданном произведении растворимости ПР. Напишите уравнение диссоциации электролита в насыщенном растворе.
Отличное решение, все написано очень понятно, есть все нужные вычисления
