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

Lambda-ischislenie. Ego sintaksis i semantika _ _Avtor knigi _ izvestnyy gollandskiy matematik. Izlozhenie otlichaetsya polnotoy i dostupnostyu. Kniga posvyashena klassicheskim i novym rezultatam v aktivno razvivayushemsya napravlenii matematicheskoy logiki, tak nazyvaemom lambda-ischislenii. Lambda-ischislenie nahodit primenenie v teorii dokazatelstv, semantike yazykov programmirovaniya, algebre, topologii, teorii kategoriy. Lya_mbda-ischisle_nie mozhet rassmatrivatsya kak semyaystvo prototipnyh yazykov programmirovaniya. Ih osnovnaya osobennost sostoit v tom, chto oni yavlyayutsya yazykami vysshih poryadkov. Tem samym obespechivaetsya sistematicheskiy podhod k issledovaniyu operatorov, argumentami kotoryh mogut byt drugie operatory, a znacheniem takzhe mozhet byt operator. Kniga budet polezna dlya matematikov raznyh specialnostyay, prepodavatelyay, aspirantov i studentov universitetov.

Название: Ламбда-исчисление. Его синтаксис и семантика
Автор: Барендрегт Х.
Издательство: Мир
Год: 1985
Страниц: 606
Формат: DJVU