av M. Ben-Ari
Förlag | Springer Nature |
Språk | Engelska |
Bandtyp | Häftad |
Utgiven | 2001-04-01 |
Upplaga | 2 |
Fler upplagor | 2012/3 |
Antal sidor | 318 |
ISBN | 9781852333195 |
Kategori(er) |
Matematik & statistik ↳ Matematik |
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.
Hittills har vi återanvänt
2
3
3
4
4
9
8
böcker.
Sveriges grönaste och skönaste bokhandel med den billigaste kurslitteraturen.
Detta är vår ambition och vi tummar inte på något för att nå dit. Vi finns till för att hjälpa studenter att spara och tjäna pengar på sin kurslitteratur samtidigt som vi tillsammans gör miljön en tjänst. Företaget startade våren 2005 av två studenter och har sedan dess strävat mot att ständigt göra det enklare att köpa och sälja begagnad kurslitteratur för så många som möjligt.
Prenumerera för att ta del av våra bästa studenttips, erbjudanden och kampanjer.
Läs mer om hur vi hanterar persondata i vårt avsnitt om personuppgiftbehandling.
Sök efter bokens streckkod/isbn.