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

Topic outline

• 
  

  Лекции

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

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

  Даты занятий: 

  Только по красным неделям, пару с синей недели переносим на красную.

  
  

  Допуск к экзамену - выполненные лабораторные работы + выполненная в срок курсовая работа (график выполнения и защиты работ в прикрепленном файле).

  Экзамен - проводится устно - по расписанию экзаменов. Вопросы в прикрепленном в данном разделе файле.

  
  

  • Темы курсовых работ для кафедр! File
  • Посещаемость 2025-2026 30.11.2025 File
  • Темы курсовых работ для кафедр (в оценочный лист к диплому!) Assignment
• Строители информатика is not available
• 
  

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

  • 1. Модульное программирование теория для ЛР №1 File
  • 1. ЛР №1 Assignment
  • 2. Тестирование ПС - теория для ЛР №2 File
  • 2. ЛР №2 Assignment
  • 3. Лабораторная работа №3. Динамические структуры данных Assignment
  • 4. Системы компьютерной верстки. TeX File
  • 4. Практическое задание. TeX File
  • 4. Задание. Практика. TeX Assignment
  • 5. Лабораторная работа №5 scratch Assignment
  • 6. Лабораторная работа №6 mindmap Assignment
  • Курсовая работа - ТОП Assignment
  • Задолженности 2025-2026гг Assignment
• 
  

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

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

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

  Литература

  Основная литература по дисциплине

  1. Введение в теорию программирования. Объектно-ориентированный подход : учебное пособие / Зыков С.В.. — Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2021. — 187 c. — ISBN 978-5-4497-0926-4. — Текст : электронный // Электронно-библиотечная система IPR BOOKS : [сайт]. — URL: https://www.iprbookshop.ru/102007.html. Текст : электронный. - (ID=139626)
  2. Программирование. Основы алгоритмизации и программирования [Текст]: учебник для вузов по напр. подготовки "Информатика и вычислительная техника"; в составе учебно-методического комплекса / Парфилова, Н.И., Пылькин, А.Н., Трусов, Б.Г. ; под ред. Б.Г. Трусова - Москва: Академия, 2014. - 240 с. - (114353-2) 

   

  Дополнительная литература по дисциплине

  1.      Алгоритмизация и программирование. Практикум : учебное пособие для спо / А. А. Андрианова, Л. Н. Исмагилов, Т. М. Мухтарова. — 2-е изд., стер. — Санкт-Петербург : Лань, 2022. — 240 с. — ISBN 978-5-8114-8948-0. — Текст : электронный // Лань : электронно-библиотечная система. — URL: https://e.lanbook.com/book/186390.

  2. Унифицированные системы документации. Унифицированная система организационно-распорядительной документации. Требования к оформлению документов : ГОСТ Р 6.30-2003 : введ. 2003-07-01 : в составе учебно-методического комплекса. - Москва : Стандартинформ, 2003. - (УМК-ДМ). - Сервер. - Текст : электронный. - URL: http://elib.tstu.tver.ru/MegaPro/GetDoc/Megapro/130864. - (ID=130864-0)
  3. Теория и практика объектно-ориентированного программирования : учебное пособие / Лебедева Т.Н.. — Челябинск, Саратов : Южно-Уральский институт управления и экономики, Ай Пи Эр Медиа, 2019. — 221 c. — ISBN 978-5-4486-0663-2. — Текст : электронный // Электронно-библиотечная система IPR BOOKS : [сайт]. — URL: https://www.iprbookshop.ru/81498.html.  Текст : электронный (DOI: https://doi.org/10.23682/81498)
  4. Экономико-математические методы и прикладные модели : учебник для бакалавриата и магистратуры / А.Н. Гармаш, И.В. Орлова, В.В. Федосеев; под ред. В.В. Федосеева. - 4-е изд. ; перераб. и доп. - Москва : Юрайт, 2019. - (Бакалавр и магистр. Академический курс). - ЭБС Юрайт. - Текст : электронный. - ISBN 978-5-9916-3698-8. - (ID=94990-0)URL: https://www.biblio-online.ru/book/ekonomiko-matematicheskie-metody-i-prikladnye-modeli-406453
  5. Программирование. Функциональный подход : учебник и практикум для академического бакалавриата / С.В. Зыков; Национальный исследовательский ун-т - Высшая Школа Экономики. - Москва : Юрайт, 2019. - (Бакалавр. Академический курс). - ЭБС Юрайт. - Текст : электронный. - ISBN 978-5-534-00844-9. - (ID=100866-0)URL: https://www.biblio-online.ru/book/programmirovanie-funkcionalnyy-podhod-434613
• 
  

  Рабочая программа
• МИМ М.ИСТ.РВС 2 курс is not available