Umfang:
XV, 346 S.
,
graph. Darst.
Ausgabe:
3. ed.
ISBN:
9781447141280
Anmerkung:
Literaturangaben
,
IntroductionPropositional 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.
Weitere Ausg.:
ISBN 9781447141297
Weitere Ausg.:
Erscheint auch als Online-Ausgabe Ben-Ari, Mordechai Mathematical Logic for Computer Science London : Springer London, 2012 ISBN 9781447141297
Sprache:
Englisch
Fachgebiete:
Informatik
,
Mathematik
Schlagwort(e):
Mathematische Logik
Mehr zum Autor:
Ben-Arî, Môtî 1948-
