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

М. Р. Пентус

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

  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