LIBROS DEL AUTOR: eugenio omodeo

3 resultados para LIBROS DEL AUTOR: eugenio omodeo

eugenio 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 €

  • 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 €

  • Set Theory for Computing
    Domenico Cantone / Eugenio Omodeo
    An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning. ...
    Disponible

    207,05 €