Барендрегт Х. - Ламбда-исчисление. Его синтаксис и семантика [1985, DjVu, RUS]

Статистика раздачи
Размер:  6.4 MB   |   Зарегистрирован:  6 лет 2 месяца   |   .torrent скачан:  1,020 раз
Сиды:  2
Автор
Сообщение

Toshap2

Стаж: 6 лет 6 месяцев

Сообщений: 86

flag

Toshap2 · 08-Июн-12 17:27 (6 лет 2 месяца назад)

 

Ламбда-исчисление. Его синтаксис и семантика
Год: 1985
Автор: Барендрегт Х.
Переводчик: Минц Г.Е.
Жанр: Монография
Издательство: Мир
Язык: Русский
Формат: DjVu
Качество: Отсканированные страницы + слой распознанного текста
Интерактивное оглавление: Нет
Количество страниц: 304 разворота по 2 стр.
Описание: Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик.
Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
Примеры страниц
Оглавление
Зарегистрирован:
  • 08-Июн-12 17:27
  • Скачан: 1,020 раз

Скачать .torrent

Скачать .torrent

8 KB

Тип: обычная
Статус: проверено
Размер: 6.4 MB  ·  magnetFAF38FD920D04AC7503E06E87BC68EB6DCFFDD50
  • Свернуть поддиректории
  • Развернуть
  • Переключить
  • Увел./умен. окно
загружается...
 
All rights reserved © 2017
Loading...
Error