"Математическая теория грамматик"
М. Р. Пентус
Основная литература
-
Пентус А. Е., Пентус М. Р.
Математическая теория формальных языков: Учебное пособие. —
М.: Интернет-университет информационных технологий;
БИНОМ. Лаборатория знаний, 2006. —
247 с.: ил. —
(Серия "Основы информатики и математики").
-
Carpenter B.
Type-Logical Semantics. —
The MIT Press, 1997. — 575 pp.
Дополнительные материалы
-
Пентус А. Е., Пентус М. Р.
Теория формальных языков: Учебное пособие. —
М.: Изд-во ЦПИ
при механико-математическом ф-те МГУ,
2004. — 80 с.
-
Список задач в формате pdf.
-
Конспект
"Семантика Монтегю и синтаксическое исчисление Ламбека"
в формате pdf.
Адрес:
https://fervo.ru/mr/mtgw.htm
Изменения внесены 07.03.2024.
Мати Рейнович Пентус
Телефон/факс: + 7 - 495 - 939 30 31