Mathematical Logic for Computer Science - Couverture souple

Ben-Ari, Mordechai

Couverture souple

ISBN 10 : 1852333197 ISBN 13 : 9781852333195

Editeur : Springer London Ltd, 2003

Synopsis

This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. In order to provide a balanced treatment of logic, tableaux are related to deductive proof systems. The book presents various logical systems and contains exercises. Still further, Prolog source code is available on an accompanying Web site. The author is an Associate Professor at the Department of Science Teaching, Weizmann Institute of Science.

A propos du livre

À propos de l?auteur

Mordechai Ben-Ari is Associate Professor at the Department of Science Teaching of the Weizmann Institute of Science. He has published textbooks on concurrent programming and programming languages.

Détails de l'édition

• Éditeur: Springer London Ltd
• Date d'édition: 2003
• Langue: anglais
• ISBN 10: 1852333197
• ISBN 13: 9781852333195
• Reliure: Broché
• Nombre de pages: 318
• Coordonnées du fabricant: non disponible
• Personne responsable: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Allemagne