Norges billigste bøker

Mathematical Logic for Computer Science

Om Mathematical Logic for Computer Science

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9781447141280
  • Bindende:
  • Paperback
  • Sider:
  • 346
  • Utgitt:
  • 17. juni 2012
  • Utgave:
  • 32012
  • Dimensjoner:
  • 153x231x19 mm.
  • Vekt:
  • 558 g.
  Gratis frakt
Leveringstid: Ukjent

Beskrivelse av Mathematical Logic for Computer Science

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.

Brukervurderinger av Mathematical Logic for Computer Science



Finn lignende bøker
Boken Mathematical Logic for Computer Science finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.