Norges billigste bøker

Fundamentals of Logic and Computation

- With Practical Automated Reasoning and Verification

av Zhe Hou
Om Fundamentals of Logic and Computation

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master's course.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783030878818
  • Bindende:
  • Hardback
  • Sider:
  • 222
  • Utgitt:
  • 4. desember 2021
  • Utgave:
  • 12021
  • Dimensjoner:
  • 155x235x0 mm.
  • Vekt:
  • 518 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 20. januar 2025
Utvidet returrett til 31. januar 2025
  •  

    Kan ikke leveres før jul.
    Kjøp nå og skriv ut et gavebevis

Beskrivelse av Fundamentals of Logic and Computation

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master's course.

Brukervurderinger av Fundamentals of Logic and Computation



Finn lignende bøker
Boken Fundamentals of Logic and Computation 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.