Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

Mordechai Ben-Ari

78,24 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2012
ISBN:
9781447141280
78,24 €
IVA incluido
Disponible
Añadir a favoritos
Sobre IBD

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logicfor the verification of concurrent programs.The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.

Artículos relacionados

  • Elementi di algebra e logica
    NICOLA BELLINI
    Algebra con elementi di logica matematica e teoria degli insiemi. ...
    Disponible

    34,23 €

  • Unidades De Medidas
    João Luis Gregorio E Silva
    A medição é um processo fundamental em ciências naturais, tecnologia, economia e nas investigações quantitativas em ciências sociais. O ato de medir envolve essencialmente a existência de unidades de medida, que são os comparativos usados na medição. Envolve também a existência de instrumentos de medição, que graduados de acordo com uma unidade de medida, fornecem com variados ...
  • MATHEMATICAL FOUNDATIONS OF INFORMATION SCIENCES
    Esfandiar Haghverdi / Liugen Zhu / LIUGEN ZHU ESFANDIAR HAGHVERDI
    This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problem...
    Disponible

    93,85 €

  • MATHEMATICAL FOUNDATIONS OF INFORMATION SCIENCES
    Esfandiar Haghverdi / Liugen Zhu / LIUGEN ZHU ESFANDIAR HAGHVERDI
    This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problem...
    Disponible

    46,01 €

  • Mineração De Dados Com Redes Neurais
    Andrilene Ferreira Maciel
    Este material foi desenvolvido para atender às disciplinas de graduação e pós-graduação de redes neurais, processamento de sinais, estatística, mineração de dados, na área de ciência da computação. Vários exercícios contidos neste livro, foram extraídos dos algoritmos da Rede SOM.O primeiro capítulo deste livro tem como objetivo fornecer ao leitor conceitos básicos sobre a desc...
  • Paradoxes and Inconsistent Mathematics
    Zach Weber
    ...
    Disponible

    41,49 €

Otros libros del autor

  • Mathematische Überraschungen
    Mordechai Ben-Ari
    Dieses Buch ist Open-Access und bietet viele mathematische Überraschungen. Es gibt viele faszinierende Ergebnisse, die nicht in Lehrbüchern erscheinen, obwohl sie mit guten Kenntnissen der Sekundarschulmathematik zugänglich sind. Dieses Buch stellt eine Auswahl dieser Ergebnisse vor, darunter die mathematische Formalisierung von Origami, Konstruktionen mit Lineal und Zirkel (un...
    Disponible

    33,54 €

  • Mathematical Surprises
    Mordechai Ben-Ari
    This is open access book provides plenty of pleasant mathematical surprises. There are many fascinating results that do not appear in textbooks although they are accessible with a good knowledge of secondary-school mathematics. This book presents a selection of these topics including the mathematical formalization of origami, construction with straightedge and compass (and othe...
    Disponible

    62,33 €

  • Mathematical Surprises
    Mordechai Ben-Ari
    This is open access book provides plenty of pleasant mathematical surprises. There are many fascinating results that do not appear in textbooks although they are accessible with a good knowledge of secondary-school mathematics. This book presents a selection of these topics including the mathematical formalization of origami, construction with straightedge and compass (and othe...
    Disponible

    48,07 €

  • Principles of the Spin Model Checker
    Mordechai Ben-Ari
    This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer scie...
    Disponible

    84,99 €