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

поиск интернет-ресурсов
Аудитория »
Предметная область » 2. Математич. и алгоритмич. основы программирования »
Типы интернет-ресурсов »
Уровень образования »
Строка поиска:     Искать:   в выбранных разделах в названии в аннотации в адресе (URL)
Сортировать по:     записей:      показывать аннотацию
Языки и исчисления. Курс Интернет-университета информационных технологий
http://www.intuit.ru/department/calculate/lancalc/
В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Курс включает в себя около 200 задач различной трудности.
Языки и трансляции: Учебное пособие / Б.К. Мартыненко
http://www.math.spbu.ru/user/mbk/TUTORY/LT.html
В учебном пособии излагаются основы математической теории формальных языков и трансляций, знание которой необходимо всем, кто работает в области теоретической или прикладной информатики. Излагаются основные факты теории с доказательствами. Содержание основано на материалах лекций, читавшихся автором в разные годы на математико-механическом факультете Ленинградского — С.-Петербургского государственного университета. Пособие предназначено для студентов математических факультетов университетов, изучающих синтаксические методы в информатике.
[< << |6| |7| |8| |9|
Rambler's Top100
© 2003-2014 Государственный научно-исследовательский институт информационных технологий и телекоммуникаций (ФГАУ ГНИИ ИТТ "Информика")