Bookbot

Mathematical logic for computer science

Évaluation du livre

3,9(17)Évaluer

En savoir plus sur le livre

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.

Édition

Achat du livre

Mathematical logic for computer science, Môtî Ben-Arî

Langue
Année de publication
2001
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

3,9
Très bien
17 Évaluations

Il manque plus que ton avis ici.