LIBROS DEL AUTOR: eugenio g omodeo

4 resultados para LIBROS DEL AUTOR: eugenio g omodeo

eugenio g omodeo Eliminar filtro Quitar filtros
  • On Sets and Graphs
    Alberto Policriti / Alexandru I. Tomescu / Eugenio G. Omodeo
    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 fun...
    Disponible

    84,71 €

  • On Sets and Graphs
    Alberto Policriti / Alexandru I. Tomescu / Alexandru ITomescu / Eugenio G. Omodeo / Eugenio GOmodeo
    IntroductionPart I: BasicsMembership and Edge RelationsSets, Graphs, and Set UniversesPart II: Graphs as SetsThe Undirected Structure Underlying SetsGraphs as Transitive SetsPart III: Sets as GraphsCounting and Encoding SetsRandom Generation of SetsInfinite Sets and Finite CombinatoricsAppendix: Excerpts from a Referee-Checked Proof-Script ...
    Disponible

    83,36 €

  • Computational Logic and Set Theory
    Domenico Cantone / Eugenio G. Omodeo / Jacob T. Schwartz
    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: describ...
    Disponible

    65,59 €

  • Computational Logic and Set Theory
    Domenico Cantone / Eugenio G. Omodeo / Jacob T. Schwartz
    IntroductionPropositional and Predicate-Calculus PreliminariesA Survey of Inference MechanismsMore on the Structure of the Verifier SystemA Closer Examination of the Sequence of Definitions and Theorems Presented in this BookUndecidability and Unsolvability ...
    Disponible

    107,23 €