Cena: |
Želi ovaj predmet: | 5 |
Stanje: | Polovan bez oštećenja |
Garancija: | Ne |
Isporuka: | Pošta Post Express Lično preuzimanje |
Plaćanje: | Tekući račun (pre slanja)
Lično |
Grad: |
Šabac, Šabac |
ISBN: Ostalo
Godina izdanja: 1985
Oblast: Matematika
Jezik: Ruski
Autor: Strani
50364) Lambda račun - njegova sintaksa i semantika na ruskom jeziku
Monografija je posvećena klasičnim i novim rezultatima u aktivno razvijajućoj oblasti matematičke logike, takozvanoj lambda računici. Nalazi primenu u teoriji dokaza, semantika programskih jezika, algebri, topologiji, teoriji kategorija. Autor knjige je poznati holandski matematičar Barendregt, Hendrik Pieter (1984) .
Lambda račun (oznaka λ-račun) je formalni sistem u matematičkoj logici za predstavljanje računanja baziranog na apstrakciji funkcija i aplikacija koristeći vezivanje i supstituciju promenljive. Uveo ga je Alonzo Čerč da formuliše koncept efektivnog računanja, lambda račun je naišo na prve uspehe na polju teorije računanja, kao što je negativan odgovor na Hilbertov problem odluke. Lambda račun je konceptualno jednostavan univerzalni model računanja (Tjuring je pokazao 1937. godine da Tjuringova mašina jednaka lambda računu u ekspresivnosti). Ime potiče od grčkog slova lambda (λ) korišćenog da označi vezivanje promenljivih u funkciji. Slovo je samo po sebi proizvoljno i nema nikakvo specijalno značenje. Lambda račun se uči i koristi u računarstvu zbog svoje korisnosti u prikazivanju funkcionalnog razmišljanja i iterativne redukcije.
Danas, lambda račun ima ulogu u mnogo različitih svera, kao npr. u matematici, filozofiji, lingvistici, i računarstvu. Još uvek se koristi u oblasti teorije računanja, kao i Tjuringova mašina koja je vrlo važan model za računanje. Lambda račun je odigrao veoma važnu ulou u razvoju teorije programskih jezika. Delovi brojača, u lambda računu u računarstvu, su funkcionalni programi, koji implementiraju lambda račun (povećati neke konstante i tipove podataka). Pored programskih jezika, labmda račun igra ulogu u teoriji dokaza. Glavni primer toga je Кari-Hauardova korespondencija, koja daje korespondenciju između različitih sistema tipova lambda računa i sistema formalne logike.
sadržaj :
Оглавление:
Часть I - На пути к теории
Введение
Конверсия
Редукция
Теории
Модели
Часть II - Конверсия
Классическое ламбда-исчисление
Теория комбинаторов
Классическое ламбда-исчисление (продолжение)
Ламбда-I-исчисление
Деревья Бема
Часть III - Редукция
Фундаментальные теоремы
Сильно эквивалентные редукции
Редукционные стратегии
Помеченная редукция
Другие понятия редукции
Часть IV - Теории
Осмысленные теории
Другие ламбда-теории
Часть V - Модели
Построение моделей
Локальная структура моделей
Глобальная структура моделей
Комбинаторные группы
Приложения
А - Типовое ламбда-исчисление
В - Иллативная комбинаторная логика
С - Переменные
Добавления
Литература
Предметный указатель
Ламбда - исчисление ; Его синтаксис и семантика ; Х. Барендрегт ; Мир Москва 1985
ruski prevod dela : The Lambda Calculus Its Syntax and Semantics ;
odlično očuvano, tvrd povez, format 15 x 22 cm , ruski jezik , 606 strana