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

Тематический план

• 
  

  Лекции

  • 1. Классификация знаний в области программирования Файл
  • 2. Разработка языков программирования и компиляторов Файл
  • 3. Специализированные ЭВМ Файл
  • 4. Надежное программирование Файл
  • 5. Функциональное программирование Файл
  • 6. Логическое программирование Файл
  • Вопросы к экзамену ТОП Файл

    теоретические основы программирования, вопросы к экзамену

    https://intuit.ru/studies/courses/1064/170/info
    

  • Темы курсовых работ для кафедр! Файл
• 
  

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

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

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

    Сюда выкладывать курсовую работу одним вордовским файлом.

    (осень/зима - лекции часть 1, лр; зачет и курсовая работа;

    весна/лето - лекции часть 2, лр; контрольная работа и экзамен).

    
    

  • Осень - Темы курсовых работ Информация по показателю
  • Осень - Структура курсовой работы Файл
  • Осень - Примеры выполненных задач Файл
  • Осень - Титульный лист для КР по информатике Файл
• 
  

  Темы докладов

  Темы докладов, посещаемость, выполнение ЛР.
• 
  

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

  • 1. Модульное программирование теория для ЛР №1 Файл
  • 1. ЛР №1 Информация по показателю
  • 2. Тестирование ПС - теория для ЛР №2 Файл
  • 2. ЛР №2 Информация по показателю
  • 3. Лабораторная работа №3. Динамические структуры данных Информация по показателю
  • 4. Системы компьютерной верстки. TeX Файл
  • 4. Практическое задание. TeX Файл
  • 4. Задание. Практика. TeX Информация по показателю
  • Курсовая работа - ТОП Информация по показателю
• 
  

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

  Теория программирования

  • 1. Языки программирования, синтаксис, семантика, прагматика. Когнитивные особенности человеческого мышления и их влияние на развитие языков программирования Информация по показателю
  • Языки программирования, синтаксис, семантика, прагматика. Когнитивные особенности человеческого мышления и их влияние на развитие языков программирования. Файл
  • По теме 1 (2024) Файл
  • 2. Языки программирования в ретроспективе. Процедурное, объектно-ориентированное, логическое и функциональное программирование. Предметно-ориентированные языки. Языки вне классификации. Информация по показателю
  • По теме 2 (2024) Файл
  • 3. Абстрактный и конкретный синтаксис. Статическая и динамическая семантика. Компиляция и интерпретация. Проекции Футамуры-Ершова. Информация по показателю
  • По теме 3 Файл
  • По теме 3_1 Файл
  • 4. Генеративный и аналитический подходы к описанию синтаксиса. Формальные грамматики, иерархия Хомского. Информация по показателю
  • 5. Регулярные языки и конечные автоматы. Применение регулярных выражений в народном хозяйстве (grep/sed/awk) и для лексического анализа (lex/flex). Отсутствие бесконтекстной лексики в реальных языках программирования. Информация по показателю
  • По теме 5 Файл
  • По теме 5 (2024) Файл
  • 6. Контекстно-свободные грамматики. Нормальные формы Хомского и Грейбах. Алгоритмы Эрли и Кока-Янгера-Касами. Неконтекстосвободность реальных языков программирования. Информация по показателю
  • 7. Нисходящий анализ. Возврат и заглядывание вперед. Класс языков LL(k). Рекурсивный спуск, магазинные автоматы, парсер-комбинаторы, PEG, "скаредный" разбор. GLL. Инструменты нисходящего анализа (Parsec, ANTLR и пр.) Информация по показателю
  • По теме 7 (2024) Файл
  • 8. Восходящий анализ, классы LR(k) и LALR(k). GLR. Инструменты восходящего анализа (yacc/bison). Информация по показателю
  • По теме 8 Файл
  • По теме 8_1 Файл
  • По теме 8 (2024) Файл
  • 9. Двухуровневые и атрибутные грамматики, вопросы применения на практике. Информация по показателю
  • По теме 9 (2024) Файл
  • 10. Идентификация. Область видимости и область действия. Статическое и динамическое, раннее и позднее связывание. Информация по показателю
  • по теме 10 Файл
  • По теме 10 (2024) с примерами Файл
  • 11. Энергичность и ленивость. Call-by-name, call-by-value, call-by-reference. Информация по показателю
  • По теме 11 Файл
  • По теме 11 (2024) с примерами Файл
  • 12. Строгость, чистота, прозрачность по ссылкам. Информация по показателю
  • По теме 12 (2021) Файл
  • по теме 12 (2022) Файл
  • 13. Языки с типами и языки без типов. Статическая и динамическая типизация. Информация по показателю
  • По теме 13 Файл
  • По теме 13 (2024) с примерами Файл
  • 14. Номинальная и структурная эквивалентность типов. Простейшие конструкторы. Информация по показателю
  • По теме 14 Файл
  • по теме 14 2024 год Файл
  • 15. Типы с кванторами и что они означают. Универсальные и экзистенциальные типы. Информация по показателю
  • 16. Subtyping. Структурный и номинальный subtyping. Информация по показателю
  • 16_2024 Файл
  • 17. Динамическая семантика языков. Операционная семантика большого и малого шага. Информация по показателю
  • По теме 17 Файл
  • 18. Денотационный подход к описанию семантики. Информация по показателю
  • По теме 18 Файл
  • 19. Аксиоматическая семантика. Верификация программ. Design by contract. Информация по показателю
  • По теме 19 Файл
  • 20. Когерентность языков программирования и машинных архитектур. Языково-специфичные архитектуры, виртуальные машины и JIT-компиляция. Информация по показателю
  • 21. Структура рабочей программы. Код, данные, библиотеки, поддержка времени исполнения. Информация по показателю
  • По теме 21 Файл
  • по теме 21 2024 год Файл
  • 22. Задача генерации кода. Генерация кода путем интерпретации. Информация по показателю
  • По теме 22 Файл
  • по теме 22 2024 год Файл
  • 23. Восходящее переписывание деревьев и динамическое программирование (BURS). Информация по показателю
  • По теме 23 Файл
  • 24. Алгоритмы распределения регистров. Распределение регистров и раскраска графов. Информация по показателю
  • По теме 24 Файл
  • 25. Параллелизм на уровне инструкций. Планирование инструкций. Информация по показателю
  • По теме 25 Файл
  • 26. Анализ потока управления. Глубинное остовное дерево, доминирование, анализ циклической структуры программ. Сводимость. Устранение недостижимого кода, оптимальная линеаризация. Информация по показателю
  • 27. Анализ потока данных. Полурешеточная модель. RD, LV, AE, UEU. Устраненние мертвого кода, экономия общих подвыражений, понижение силы операций, чистка циклов. Информация по показателю
  • По теме 27 Файл
  • Многопоточное программирование Файл
• Литература не доступен
• Рабочая программа не доступен
• 
  

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

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