Mathematical logic for computer science Upplaga 2
- Upplaga: 2a upplagan
- Utgiven: 2001
- ISBN: 9781852333195
- Sidor: 318 st
- Förlag: Springer
- Format: Häftad
- Språk: Engelska
Om boken
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.
Åtkomstkoder och digitalt tilläggsmaterial garanteras inte med begagnade böcker
Mer om Mathematical logic for computer science (2001)
2001 släpptes boken Mathematical logic for computer science skriven av M. Ben-Ari. Det är den 2a upplagan av kursboken. Den är skriven på engelska och består av 318 sidor. Förlaget bakom boken är Springer.
Köp boken Mathematical logic for computer science på Studentapan och spara pengar.
Referera till Mathematical logic for computer science (Upplaga 2)
Harvard
Ben-Ari, M. (2001). Mathematical logic for computer science. 2:a uppl. Springer.
Oxford
Ben-Ari, M., Mathematical logic for computer science, 2 uppl. (Springer, 2001).
APA
Ben-Ari, M. (2001). Mathematical logic for computer science (2:a uppl.). Springer.
Vancouver
Ben-Ari M. Mathematical logic for computer science. 2:a uppl. Springer; 2001.
