Sälj dina kursböcker, vinn presentkort på 1000 kr. Kom igång här
Mathematical Logic for Computer Science | 3:e upplagan
- Danskt band, Engelska, 2012
- Författare: Mordechai Ben-Ari
- Betyg:
Välj skick:
Bästa pris
496
kr
Skickas nästa vardag
Du sparar 229 kr
(32%)
mot nypris
725
kr
Skickas inom 0-2 vardagar
Butikslager
Onlinelager
3 st i lager
Beskrivning
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.
The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic
for the verification of concurrent programs.
The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.
The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic
for the verification of concurrent programs.
The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.
Om denna bok
Mathematical Logic for Computer Science av Mordechai Ben-Ari är en Danskt band bok med 346 sidor på Engelska. Detta är den 3:e upplagan som utgavs 2012.
Spara pengar – köp begagnad från Campusbokhandeln
Köp Mathematical Logic for Computer Science begagnad från Campusbokhandeln och spara upp till 32% jämfört med nypris. Begagnade exemplar finns från 496 kr medan nya kostar 725 kr – en besparing på 229 kr. Köp tryggt med Campusbokhandeln.
Genom att köpa & sälja begagnat sänker du kostnaden för studier både för dig och nästa student samtidigt som du gör nytta för klimatet.
Används vid svenska universitet
Denna kurslitteratur används aktivt i 1 universitetskurser vid lärosäten runt om i Sverige, inklusive:
- Umeå universitet: 5DV102
Boken är särskilt populär inom Data & IT-programmen.
Produktinformation
Kategori:
Data & IT
Bandtyp:
Danskt band
Språk:
Engelska
ISBN:
9781447141280
Upplaga:
3
Utgiven:
2012-06-15
Förlag:
Okänt
Sidantal:
346