Format:
XV, 346 S.
,
graph. Darst.
Edition:
3. ed.
ISBN:
9781447141280
Note:
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.
Additional Edition:
ISBN 9781447141297
Additional Edition:
Erscheint auch als Online-Ausgabe Ben-Ari, Mordechai Mathematical Logic for Computer Science London : Springer London, 2012 ISBN 9781447141297
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Mathematische Logik
Author information:
Ben-Arî, Môtî 1948-
Bookmarklink