Mathematical Logic for Computer Science (Bog, Paperback / softback, Engelsk) af Mordechai Ben-Ari
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Matematisk datateori
  6. Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

(Bog, Paperback / softback, Engelsk)
Forfatter: Mordechai Ben-Ari
Mathematical Logic for Computer Science
Forlag: Springer London Ltd

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk datateori Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer London Ltd
Forfatter Mordechai Ben-Ari
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 3rd ed. 2012
Udgivelsesdato 17-06-2012
Første udgivelsesår 2012
Illustrationer 79 Illustrations, black and white; XV, 346 p. 79 illus.
Originalsprog United Kingdom
Sideantal 346
Indbinding Paperback / softback
Forlag Springer London Ltd
Sideoplysninger 346 pages, 79 Illustrations, black and white; XV, 346 p. 79 illus.
Mål 231 x 153 x 19
ISBN-13 / EAN-13 9781447141280