Mathematical logic for computer science / Mordechai Ben-Ari.
Tipo de material:
TextoDetalles de publicación: London : Springer, 2012Edición: 3rd. edDescripción: xv, 346 p. : il; 24 cmISBN: 9781447141280 ; 1447141288 Tema(s): Logic, Symbolic and mathematical | Logic, Symbolic and mathematicalClasificación LoC:QA9 | B45 2012
Contenidos:
Introduction -- Propositional logic: formulas, models, tableaux -- Propositional logic: deductive systems -- Propositional logic: resolution --Propositional logic: binary decision diagrams -- Propositional logic: SAT solvers -- First-order logic: formulas, models, tableaux -- First-order logic: deductive systems -- First-order logic: terms and normal forms -- First-order logic: resolution-- First-order logic: logic programming -- First-order logic: undecidability and model theory -- Temporal logic: formulas, models, tableaux -- Temporal logic: a deductive system -- Verification of sequential programs -- Verification of concurrent programs.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libro
|
Biblioteca Central Tijuana | Acervo General | QA9 B45 2012 (Browse shelf(Abre debajo)) | 1 | Disponible | TIJ123847 |
Navegando Biblioteca Central Tijuana Estantes, Código de colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| QA8.7 D48 2012 Desarrollo del pensamiento matemático / | QA9.A1 C6713 2008 Mathematical logic : a course with exercises / | QA9.A1 S58 2014 A beginner's guide to mathematical logic / | QA9 B45 2012 Mathematical logic for computer science / | QA9 B8518 2012 Matemática insólita : | QA9 V452 2022 How to prove it : a structured approach / | QA9.58 B43 2016 Grokking algorithms : an illustrated guide for programmers and other curious people / |
Incluye referencias bibliográficas e índice.
Introduction -- Propositional logic: formulas, models, tableaux -- Propositional logic: deductive systems -- Propositional logic: resolution --Propositional logic: binary decision diagrams -- Propositional logic: SAT solvers -- First-order logic: formulas, models, tableaux -- First-order logic: deductive systems -- First-order logic: terms and normal forms -- First-order logic: resolution-- First-order logic: logic programming -- First-order logic: undecidability and model theory -- Temporal logic: formulas, models, tableaux -- Temporal logic: a deductive system -- Verification of sequential programs -- Verification of concurrent programs.
