Вычислимость

Список источников >Компьютерные науки >Вычислимость >

Ламбда-исчисление. Его синтаксис и семантика

Автор: Барендрегт Х.
Год: 1985
Издание:

Страниц: [не указано]
ISBN: [не указан]
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики,— так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги — известный голландский математик. Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
Добавлено: 2009-08-09 01:26:35

Видео о книгах:

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы