Показати скорочений опис матеріалу

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

dc.contributor.authorБарендрегт Х.
dc.date.accessioned2016-02-21T16:46:16Z
dc.date.available2016-02-21T16:46:16Z
dc.date.issued1985
dc.identifier.isbnВ-пер
dc.identifier.issn
dc.identifier.urihttp://ir.nmu.org.ua/handle/GenofondUA/32947
dc.description.abstractМонография посвящена классическим и новым результатам в активно развивающемся направлении математической логики,- так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
dc.language.isoRussian
dc.publisherМир
dc.subjectКомпьютеры
dc.subjectComputers
dc.subject.ddc
dc.subject.lcc
dc.titleЛамбда-исчисление Его синтаксис и семантика
dc.typeother
dc.identifier.aichYOLAM3JVCFFKEDE32A65PO4VLA65HYTT
dc.identifier.crc32FC1F97A3
dc.identifier.doi
dc.identifier.edonkey9B80B7389BBA24CE4029573C55FD1439
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid1437
dc.identifier.md516A9C2992A823F2ED904335DCE1BF526
dc.identifier.sha12DT3JUCK3JRBF3K2QDI7XSAUTAMMEWYL
dc.identifier.tthB3OIXIKFVVQ6EMKSD5KEYWWP7F2VBXPNP6UAYJI


Долучені файли

Thumbnail
Name:
16a9c2992a823f2ed904335dce1bf5 ...
Розмір:
6.367Mb
Формат:
Unknown
Переглянути

Даний матеріал зустрічається у наступних фондах

Показати скорочений опис матеріалу