topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 8
 |
Concrete Semantics: With Isabelle/Hol
ISBN: 9783319105413 / Angielski / Twarda / 2014 / 298 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle's structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on applications like compilers and program analysers. The distinguishing feature is that all the mathematics has been formalised in Isabelle and much of it is executable. Part I focusses on the details of proofs in Isabelle; Part II can be read even without...
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and indu...
|
cena:
289,13 zł |
 |
Concrete Semantics: With Isabelle/Hol
ISBN: 9783319357591 / Angielski / Miękka / 2016 / 298 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Part II can be read even without familiarity with Isabelle's proof language, all proofs are described in detail but informally.The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.
Part II can be read even without familiarity with Isabelle's proof language, all proofs are described in detail but informally.The book teaches the re...
|
cena:
192,74 zł |
 |
Isabelle/Hol: A Proof Assistant for Higher-Order Logic
ISBN: 9783540433767 / Angielski / Miękka / 2002 / 226 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure from previous documentation is that we describe Markus Wenzel's proof script notation instead of ML tactic scripts. The l- ter make it easier to...
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with e...
|
cena:
212,02 zł |
 |
Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
ISBN: 9783540643012 / Angielski / Miękka / 1998 / 346 str. Termin realizacji zamówienia: ok. 20 dni roboczych. A collection of 22 papers covering aspects of rewriting, including: rewriting systems; term rewriting; string rewriting; theorem proving; resolution; normalization; unification; equational logistics; lambda calculus; constraint solving; and functional programming.
A collection of 22 papers covering aspects of rewriting, including: rewriting systems; term rewriting; string rewriting; theorem proving; resolution; ...
|
cena:
192,74 zł |
 |
God, Human Nature and Education for Peace: New Approaches to Moral and Religious Maturity
ISBN: 9781138716032 / Angielski / Twarda / 2017 / 246 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
571,67 zł |
 |
God, Human Nature and Education for Peace: New Approaches to Moral and Religious Maturity
ISBN: 9781138716001 / Angielski / Miękka / 2019 / 246 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This title was first published in 2003. What prevents the human species from finally learning the lessons of social justice and global peace in an unreconciled world? Are Christians better off? Presenting new challenges to moral and religious education, this book clarifies the true image of the biblical God around the topics of justice and reconciliation. Rejuvenating interpretations of the most outstanding traditions of the Old and New Testament, Karl Ernst Nipkow's approach of 'elementarization' - well known in German speaking countries - is introduced for the first time in the English...
This title was first published in 2003. What prevents the human species from finally learning the lessons of social justice and global peace in an unr...
|
cena:
171,44 zł |
 |
Isabelle: A Generic Theorem Prover
ISBN: 9783540582441 / Angielski / Miękka / 1994 / 329 str. Termin realizacji zamówienia: ok. 20 dni roboczych. An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage.
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrate...
|
cena:
192,74 zł |
 |
Term Rewriting and All That
ISBN: 9780521779203 / Angielski / Miękka / 1999 / 316 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover all the basic material--abstract reduction systems, termination, confluence, completion, and combination problems--but also some important and closely connected subjects: universal algebra, unification theory, Grobner bases, and Buchberger's algorithm. They present the main algorithms both informally and as programs in the functional language Standard ML (An appendix contains a quick and easy introduction to ML). Key chapters cover crucial algorithms such as unification and...
This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover all the basic material--abstract r...
|
cena:
257,34 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
