Вопросы к экзамену (1132278)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

Вопросы к экзамену по лекционному курсу

Математические основы функционального программирования

Лектор: Подловченко Р.И.

2015 г.

1. Монотонные функции и лемма о естественном расширении.

1. Цепь монотонных функций и лемма о наименьшей верхней грани.

1. Теорема о непрерывности функционалов.

1. Теорема Клини о наименьшей неподвижной точке непрерывного функционала.

1. Правила вычисления (общее определение).

1. Шесть стандартных правил вычисления с демонстрацией их применения.

1. Диаграмма вычислений и соответствие между вычислительной последовательностью и путём в диаграмме.

1. Теорема Кадью о правилах вычислений.

1. Безопасные правила вычислений и теорема Вийемана.

1. Доказательство безопасности правил: параллельной самой внешней замены, свободного аргумента и полной подстановки.

1. Условия, когда безопасным является правило самой левой замены.

1. Системы рекурсивных определений со многими функциональными переменными (понятия и факты).

ПРИВОДИТЬ ПРИМЕРЫ ИСПОЛЬЗУЕМЫХ ПОНЯТИЙ И ДОКАЗЫВАЕМЫХ УТВЕРЖДЕНИЙ.

Характеристики

Тип файла документ

Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.

Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.

Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.

Список файлов вопросов/заданий