topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
The Lambda Calculus. Its Syntax and Semantics
ISBN: 9781848900660 / Angielski / Miękka / 2012 / 656 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively algebraic, computational, with more (coinductive) identifications, and finally set-theoretic.
The lambda terms are built up from variables, using application and abstraction. Applying a term F to M has as intention that F is a function, M its argument, and FM the result of the application. This is only the intention: to... The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with w...
|
cena:
168,38 zł |
 |
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
ISBN: 9783540580850 / Angielski / Miękka / 1994 / 395 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.
As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or... This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ...
|
cena:
192,74 zł |
 |
Lambda Calculus with Types
ISBN: 9780521766142 / Angielski / Twarda / 2013 / 856 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
|
cena:
390,29 zł |
 |
The Dark Side of the Mirror: Forgetting the Self in Dogen's Genjo Koan
ISBN: 9781911407256 / Angielski / Miękka / 2019 / 320 str. Termin realizacji zamówienia: ok. 12 dni roboczych. Genjo Koan is the most important chapter in Dogen's principal major work, the Shobogenzo. This new commentary by Buddhist teacher and author David Brazier draws back the curtain revealing the deeper meaning of the text in language that is as transparent to the general reader as it is informative to the specialist.
Genjo Koan is the most important chapter in Dogen's principal major work, the Shobogenzo. This new commentary by Buddhist teacher and author David Bra...
|
cena:
81,61 zł |
 |
A Lambda Calculus Satellite
ISBN: 9781848904248 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
219,62 zł |
 |
A Lambda Calculus Satellite
ISBN: 9781848904156 / Angielski / Miękka / 2022 / 602 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
163,50 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
