Buch

---

Übersicht

---

Verlag	:	Springer International Publishing
Buchreihe	:	Undergraduate Topics in Computer Science
Sprache	:	Englisch
Erschienen	:	13. 02. 2017
Seiten	:	150
Einband	:	Kartoniert
Höhe	:	235 mm
Breite	:	155 mm
Gewicht	:	267 g
ISBN	:	9783319516516
Sprache	:	Englisch

---

Autorinformation

---

Mauricio Ayala-Rincón is a Professor in Theory of Computing at the  Universidade de Brasília. He received his doctorate in Informatics from the Universität Kaiserslautern.  His primarily research interests are in logic and semantics of computation. His publications are related with rewriting, lambda calculus and with the applications of these frameworks in theorem proving and automated reasoning.   Flávio L. C. de Moura is an Adjunct Professor in Computer Science at the Universidade de Brasília where he received his Ph.D in Mathematics (Theory of Computing). He has done long term research programs at Heriot-Watt University and Université Paris Diderot. His research is focused on lambda calculus and explicit substitutions, and in the application of proof assistants for the formalization of computation and mathematics.

Inhaltsverzeichnis

---

Foreword. - Preface.- Introduction.- Derivation and Proofs in the Propositional Logic.- Derivations and Proofs in the Predicate Logic.- Deductions in the Style of Gentzen's Sequent Calculus.- Derivations and Formalizations.- Algebraic and Computational Examples.- Suggested Readings.- Index.

Deine Buchhandlung

---