Логотип Информационно-коммуникационные технологии в образовании
Система федеральных образовательных порталов
Предметная область » 2. Математич. и алгоритмич. основы программирования » 2.3. Теория языков программирования и методы трансляции

поиск интернет-ресурсов
Аудитория »
Предметная область » 2. Математич. и алгоритмич. основы программирования »
Типы интернет-ресурсов »
Уровень образования »
Строка поиска:     Искать:   в выбранных разделах в названии в аннотации в адресе (URL)
Сортировать по:     записей:      показывать аннотацию
Введение в компиляцию. Учебный курс / Д.В. Рагозин
http://www.wl.unn.ru/~ragozin/compiler/compil/qwest.htm
Автор характеризует свой курс как "мини-курс молодого бойца по проектирование компиляторов", опробованный в течении 10 лет на студентах одного из ведущих украинских вузов. Приведен теоретический материалы, сгруппированный в 12 глав: 1. Введение, общие понятия; 2. Грамматики и формальные языки; 3. Дерево синтаксического разбора; 4. Классификация языков; 5. Распознаватели; 6. Лексический анализ; 7. Синтаксический анализ; 8. Нисходящий разбор; 9. Восходящий разбор; 10. Семантический анализ; 11. Генерация кода; 12. Автоматизация процесса проектирования компилятора. Имеются описание лабораторных работ и дополнительные материалы (генераторы лексических и синтаксических анализаторов).
Парадигмы программирования. Курс Интернет-университета информационных технологий
http://www.intuit.ru/department/se/paradigms/
Курс знакомит студентов с разнообразием стилей и языков программирования. Выбор изучаемых парадигм отражает эволюцию языков, используемых при решении задач системной и прикладной информатики от низкоуровневого программирования на стыке с аппаратурой до языков сверх высокого уровня и параллельного программирования.
Разработка компиляторов для .NET. Учебный курс
http://se.math.spbu.ru/Courses/dotNETCompilerEngineering/
Учебный курс разработан сотрудниками кафедры системного программирования Санкт-Петербургского государственного университета по заказу Microsoft Research. На сайте представлены 16 лекций (конспекты в формате MS Word и презентации PowerPoint) и приложение - описание языка Си-бемоль. Курс сопровождается демонстрационным компилятором языка Си-бемоль. Имеется английская версия курса.
Разработка компиляторов. Курс Интернет-университета информационных технологий
http://www.intuit.ru/department/sa/compilersdev/
В данном курсе рассматриваются теоретические основы и практические методы создания компиляторов языков программирования. Изложение ведется на основе языка программирования C# и платформы .NET.
Теория и реализация языков программирования. Курс Интернет-университета информационных технологий
http://www.intuit.ru/department/sa/pltheory/
В курсе излагаются основные разделы теории разработки компиляторов. Рассматриваются такие средства автоматизации процесса разработки трансляторов, как LEX, YACC, СУПЕР, методы генерации оптимального кода.
Техника трансляции. Материалы спецкурса
http://se.math.spbu.ru/Courses/TranslTech/program.html
Материалы спецкурса "Техника трансляции", читаемого на кафедре системного программирования Санкт-Петербургского государственного университета. Программа курса, отдельные лекции и вопросы к экзамену.
Формальные языки, грамматики и автоматы. Курс лекций / Фомичев В.С.
http://www.eltech.ru/misc/edu/INDEX.HTM
Интернет-публикация представляет собой учебное пособие по дисциплине "Формальные языки, грамматики и автоматы", который читается бакалаврам, обучающимся по направлению "Информатика и вычислительная техника". Главным назначением дисциплины является изучение основ теории, методов и приемов практического использования аппарата формальных грамматик и конечных автоматов. Пособие, включающее 9 глав, содержит теоретический материал и упражнения.
Языки и исчисления. Курс Интернет-университета информационных технологий
http://www.intuit.ru/department/calculate/lancalc/
В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Курс включает в себя около 200 задач различной трудности.
Языки и трансляции: Учебное пособие / Б.К. Мартыненко
http://www.math.spbu.ru/user/mbk/TUTORY/LT.html
В учебном пособии излагаются основы математической теории формальных языков и трансляций, знание которой необходимо всем, кто работает в области теоретической или прикладной информатики. Излагаются основные факты теории с доказательствами. Содержание основано на материалах лекций, читавшихся автором в разные годы на математико-механическом факультете Ленинградского — С.-Петербургского государственного университета. Пособие предназначено для студентов математических факультетов университетов, изучающих синтаксические методы в информатике.
Rambler's Top100
© 2003-2014 Государственный научно-исследовательский институт информационных технологий и телекоммуникаций (ФГАУ ГНИИ ИТТ "Информика")