Inicio > > Ciencias de la computación > Computational Logic and Set Theory
Computational Logic and Set Theory

Computational Logic and Set Theory

Domenico Cantone / Eugenio G. Omodeo / Jacob T. Schwartz

65,59 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2014
Materia
Ciencias de la computación
ISBN:
9781447160182
65,59 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

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.

Artículos relacionados

  • Skills for Managing Rapidly Changing IT Projects
    Fabrizio Fioravanti
    ...
    Disponible

    118,39 €

  • Design and Usability of Digital Libraries
    Schubert Foo / Yin-Leng Theng
    ...
    Disponible

    112,35 €

  • Intelligent Information Technologies and Applications
    Vijayan Sugumaran
    ...
    Disponible

    131,73 €

  • Mobile Technology Consumption
    Whether used for communication, entertainment, socio-economic growth, crowd-sourcing social and political events, monitoring vital signs in patients, helping to drive vehicles, or delivering education, mobile technology has been transformed from a mode to a medium. Mobile Technology Consumption: Opportunities and Challenges explores essential questions related to the cost, bene...
    Disponible

    249,07 €

  • Creating Personal, Social, and Urban Awareness through Pervasive Computing
    Guo
    The recent emergence and prevalence of social network applications, sensor equipped mobile devices, and the availability of large amounts of geo-referenced data have enabled the analysis of new context dimensions that involve individual, social, and urban context. Creating Personal, Social, and Urban Awareness through Pervasive Computing provides an overview of the theories, te...
    Disponible

    230,09 €

  • Fostering 21st Century Digital Literacy and Technical Competency
    Antonio Cartelli
    The 21st century has seen an expansion in digital technology and the ways in which it affects everyday life. These technologies have become essential in the growth of social communication and mass media. Fostering 21st Century Digital Literacy and Technical Competency offers the latest in research on the technological advances on computer proficiency in the educational system a...
    Disponible

    229,67 €

Otros libros del autor

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