Ламбда-исчисление Его синтаксис и семантика
✍ Scribed by Барендрегт Х.
- Book ID
- 127424795
- Publisher
- Мир
- Year
- 1985
- Tongue
- Russian
- Weight
- 6 MB
- Category
- Library
- City
- М
No coin nor oath required. For personal study only.
✦ Synopsis
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики,- так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
📜 SIMILAR VOLUMES
Англичанин Оскар Паркc никогда не принадлежал к кругу людей, непосредственно связанных с проектированием или строительством тяжёлых броненосных кораблей британского флота. Не довелось ему командовать и каким-либо линкором королевских ВМС. Однако именно ему, врачу – человеку сугубо гуманной профессии
Англичанин Оскар Паркc никогда не принадлежал к кругу людей, непосредственно связанных с проектированием или строительством тяжёлых броненосных кораблей британского флота. Не довелось ему командовать и каким-либо линкором королевских ВМС. Однако именно ему, врачу – человеку сугубо гуманной профессии
В сборник одного из крупнейших современных турецких писателей включены повести «Легенда Горы» (1970), «Если убить змею» (1976) и «Разбойник» (1972), рассказы и очерки. Произведения Яшара Кемаля. посвященные преимущественно жизни анатолийского крестьянства в прошлом и настоящем, отличает глубокий гум
Школьные годы. Выпуск 4: Роман и повести/ Оформ. А. Савельев; Художн. Е. Медведев.— М.: Дет. лит., 1990.— 670 с.: ил. ISBN 5—08—001585—3 В этот выпуск вошли роман В. Киселева «Девочка и птицелет» и повести Ф. Искандера «Ночь и день Чика», Г. Левинзона «Прощание с Дербервилем, или Необъяснимые поступ