Boek
Mathematical Logic for Computer Science is a mathematics textbook with theoremsand proofs but the choice of topics has been guided by the needs of computerscience students. The method of semantic tableaux provides an elegant way toteach logic that is both theoretically sound and yet sufficiently elementaryfor undergraduates. To provide a balanced treatment of logic tableaux arerelated to deductive proof systems.The logical systems presented are Propositional calculus including binary decision diagrams Predicatecalculus Resolution Hoare logic Z Temporal logic.Answers to exercisesfor instructors only as well as Prolog source code for algorithms may befound via the Springer London web site httpwww.springer.com9781852333195 Mordechai BenAri is an associate professor in the Department of ScienceTeaching of the Weizmann Institute of Science. He is the author of numeroustextbooks on concurrency programming languages and logic and has developedsoftware tools for teaching concurrency. In 2004 BenAri received the ACMSIGCSE Award for Outstanding Contributions to Computer Science Education. TOCPreface. Introduction. Propositional Calculus Formulas Models Tableaux.Propositional Calculus Deductive Systems. Propositional Calculus Resolutionand BDDs. Predicate Calculus Formulas Models Tableau. Predicate CalculusDeductive Systems. Predicate Calculus Resolution. Logic Programming.Programs Semantics and Verification. Programs Formal Specification with Z.Temporal Logic Formulas Models Tableaux. Temporal Logic Deduction andApplications. Appendix Set Theory Further Reading Bibliography Index ofSymbols Index. «
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Er zijn nog geen recensies voor dit boek.