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

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

Информация по показателю Осень - Курсовая работа Б.СТ.ПГС.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 курс

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