Eugenio G. Omodeo's Books

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

By: Jacob T. Schwartz,Domenico Cantone,Eugenio G. Omodeo

Write a review Read reviews Take a Quiz Solve Book Puzzle

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

By: Jacob T. Schwartz,Domenico Cantone,Eugenio G. Omodeo

This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn’s lemma.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

426

Publisher

Springer Science & Business Media

Published Date

ISBN 10

0857298089

ISBN 13

9780857298089

On Sets and Graphs

Perspectives on Logic and Combinatorics

By: Eugenio G. Omodeo,Alberto Policriti,Alexandru I. Tomescu

Write a review Read reviews Take a Quiz Solve Book Puzzle

On Sets and Graphs

Perspectives on Logic and Combinatorics

By: Eugenio G. Omodeo,Alberto Policriti,Alexandru I. Tomescu

This treatise presents an integrated perspective on the interplay of set theory and graph theory, providing an extensive selection of examples that highlight how methods from one theory can be used to better solve problems originated in the other. Features: explores the interrelationships between sets and graphs and their applications to finite combinatorics; introduces the fundamental graph-theoretical notions from the standpoint of both set theory and dyadic logic, and presents a discussion on set universes; explains how sets can conveniently model graphs, discussing set graphs and set-theoretic representations of claw-free graphs; investigates when it is convenient to represent sets by graphs, covering counting and encoding problems, the random generation of sets, and the analysis of infinite sets; presents excerpts of formal proofs concerning graphs, whose correctness was verified by means of an automated proof-assistant; contains numerous exercises, examples, definitions, problems and insight panels.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

283

Publisher

Springer

Published Date

ISBN 10

3319549812

ISBN 13

9783319549811

On Sets and Graphs

Perspectives on Logic and Combinatorics

By: Eugenio G. Omodeo,Alberto Policriti,Alexandru I. Tomescu

Write a review Read reviews Take a Quiz Solve Book Puzzle

On Sets and Graphs

Perspectives on Logic and Combinatorics

By: Eugenio G. Omodeo,Alberto Policriti,Alexandru I. Tomescu

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

275

Publisher

Springer

Published Date

ISBN 10

3319855360

ISBN 13

9783319855363

Book's by Eugenio G. Omodeo

Computational Logic and Set Theory

Computational Logic and Set Theory

On Sets and Graphs

On Sets and Graphs

On Sets and Graphs

On Sets and Graphs

Username

Password

Username

Password

Password again

Birthday

Email