Barendregt, Henk A Lambda Calculus Satellite

Barendregt, Henk A Lambda Calculus Satellite

In 1936 the notion of intuitive computability was operationalized in two different ways: via Turing machines and via lambda-calculus. The difference consisted in manipulating beads (bits) for the former approach versus manipulating trees (rewriting lambda-terms) for the latter. Both proposals turned out to formalize the same......
Vi beklager, men vi har ikke et aktivt tilbud for øyeblikket.

Produktinformasjon

Oppdag Barendregt, Henk A Lambda Calculus Satellite

Er du interessert i ambda-kalkyle og dens uendelige muligheter innen datavitenskap? Da er Barendregt, Henk A Lambda Calculus Satellite bøker den perfekte ressursen for deg! Dette verket gir deg en dypere forståelse av de tree-lignende strukturene som lambda-kalkyle innebærer og hvordan disse formene påvirker handlingene deres.

Hva kan du forvente av Lambda Calculus Satellite?

  • Intuitiv computability: Lær hvordan lambda-kalkyle og Turing-maskiner formaliserer samme konsept av beregnelighet.
  • Forskningens utvikling: Oppdag hvordan forskning på lambda-kalkyle fortsetter å påvirke både akademia og industrien.
  • Metodisk tilnærming: Utforsk en kvalitativ studie av lambda-kalkyles elementer, en tilnærming som skiller seg fra kvantitative metoder.
  • Åpne konjekturer: Få innsikt i tidligere konjekturer fra Barendregts anerkjente verk fra 1981, og se hvordan mange er blitt løst.

Hvorfor velge Barendregt, Henk A Lambda Calculus Satellite?

Dette verket er ikke bare en anledning til å dykke inn i et komplekst emne, men også en sjanse til å utvide din forståelse av hvordan moderne teknologi er bygget på teoretiske fundamenter. Med en informativ stil og engasjerende innhold, vil du finne dette til å være en uvurderlig ressurs.

Få tak i ditt eksemplar i dag!

Ikke vent lenger! Enten du er student, forsker eller bare nysgjerrig på datavitenskapens dypeste hemmeligheter, vil Barendregt, Henk A Lambda Calculus Satellite gi deg en reise inn i beregnelighetens verden som du ikke vil gå glipp av.

Spesifikasjon

Produkt
ProduktnavnBarendregt, Henk A Lambda Calculus Satellite
MerkeOther Brand

Pris og prishistorikk

Prisutvikling:
Stabil
Laveste pris:
364,-
Gjennomsnittspris:
364,-
Høyeste pris:
364,-