"Математическая теория грамматик"

М. Р. Пентус

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

1. Пентус А. Е., Пентус М. Р. Математическая теория формальных языков: Учебное пособие. — М.: Интернет-университет информационных технологий; БИНОМ. Лаборатория знаний, 2006. — 247 с.: ил. — (Серия "Основы информатики и математики").
2. Carpenter B. Type-Logical Semantics. — The MIT Press, 1997. — 575 pp.

Дополнительные материалы

1. Пентус А. Е., Пентус М. Р. Теория формальных языков: Учебное пособие. — М.: Изд-во ЦПИ при механико-математическом ф-те МГУ, 2004. — 80 с.
2. Список задач в формате pdf.
3. Конспект "Семантика Монтегю и синтаксическое исчисление Ламбека" в формате pdf.

Адрес: http://lpcs.math.msu.su/~pentus/mtgw.htm
Изменения внесены 03.03.2010.
Мати Рейнович Пентус
Телефон/факс: + 7 - 495 - 939 30 31