Теоретические основы программирования

Строители информатика

Информация по заявке Осень - Курсовая работа Б.СТ.ПГС.23.59

Информация по заявке Осень - Темы курсовых работ

Лабораторные работы (ТОП)

Информация по заявке 1. ЛР №1

Информация по заявке 2. ЛР №2

Информация по заявке 3. Лабораторная работа №3. Динамические структуры данных

Информация по заявке 4. Задание. Практика. TeX

Информация по заявке Курсовая работа - ТОП

Практические занятия (ТОП)

Информация по заявке 1. Языки программирования, синтаксис, семантика, прагматика. Когнитивные особенности человеческого мышления и их влияние на развитие языков программирования

Информация по заявке 2. Языки программирования в ретроспективе. Процедурное, объектно-ориентированное, логическое и функциональное программирование. Предметно-ориентированные языки. Языки вне классификации.

Информация по заявке 3. Абстрактный и конкретный синтаксис. Статическая и динамическая семантика. Компиляция и интерпретация. Проекции Футамуры-Ершова.

Информация по заявке 4. Генеративный и аналитический подходы к описанию синтаксиса. Формальные грамматики, иерархия Хомского.

Информация по заявке 5. Регулярные языки и конечные автоматы. Применение регулярных выражений в народном хозяйстве (grep/sed/awk) и для лексического анализа (lex/flex). Отсутствие бесконтекстной лексики в реальных языках программирования.

Информация по заявке 6. Контекстно-свободные грамматики. Нормальные формы Хомского и Грейбах. Алгоритмы Эрли и Кока-Янгера-Касами. Неконтекстосвободность реальных языков программирования.

Информация по заявке 7. Нисходящий анализ. Возврат и заглядывание вперед. Класс языков LL(k). Рекурсивный спуск, магазинные автоматы, парсер-комбинаторы, PEG, "скаредный" разбор. GLL. Инструменты нисходящего анализа (Parsec, ANTLR и пр.)

Информация по заявке 8. Восходящий анализ, классы LR(k) и LALR(k). GLR. Инструменты восходящего анализа (yacc/bison).

Информация по заявке 9. Двухуровневые и атрибутные грамматики, вопросы применения на практике.

Информация по заявке 10. Идентификация. Область видимости и область действия. Статическое и динамическое, раннее и позднее связывание.

Информация по заявке 11. Энергичность и ленивость. Call-by-name, call-by-value, call-by-reference.

Информация по заявке 12. Строгость, чистота, прозрачность по ссылкам.

Информация по заявке 13. Языки с типами и языки без типов. Статическая и динамическая типизация.

Информация по заявке 14. Номинальная и структурная эквивалентность типов. Простейшие конструкторы.

Информация по заявке 15. Типы с кванторами и что они означают. Универсальные и экзистенциальные типы.

Информация по заявке 16. Subtyping. Структурный и номинальный subtyping.

Информация по заявке 17. Динамическая семантика языков. Операционная семантика большого и малого шага.

Информация по заявке 18. Денотационный подход к описанию семантики.

Информация по заявке 19. Аксиоматическая семантика. Верификация программ. Design by contract.

Информация по заявке 20. Когерентность языков программирования и машинных архитектур. Языково-специфичные архитектуры, виртуальные машины и JIT-компиляция.

Информация по заявке 21. Структура рабочей программы. Код, данные, библиотеки, поддержка времени исполнения.

Информация по заявке 22. Задача генерации кода. Генерация кода путем интерпретации.

Информация по заявке 23. Восходящее переписывание деревьев и динамическое программирование (BURS).

Информация по заявке 24. Алгоритмы распределения регистров. Распределение регистров и раскраска графов.

Информация по заявке 25. Параллелизм на уровне инструкций. Планирование инструкций.

Информация по заявке 26. Анализ потока управления. Глубинное остовное дерево, доминирование, анализ циклической структуры программ. Сводимость. Устранение недостижимого кода, оптимальная линеаризация.

Информация по заявке 27. Анализ потока данных. Полурешеточная модель. RD, LV, AE, UEU. Устраненние мертвого кода, экономия общих подвыражений, понижение силы операций, чистка циклов.

МИМ М.ИСТ.РВС 2 курс

Информация по заявке Выполненные задания / ответы на вопросы (МИМ)