Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Fundamentals of Logic and Computation

Fundamentals of Logic and Computation

- With Practical Automated Reasoning and Verification

av Zhe Hou

del av Texts in Computer Science-serien

Fundamentals of Logic and Computation 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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783030878818
  • Format:
  • Inbunden
  • Sidor:
  • 222
  • Utgiven:
  • 4. december 2021
  • Utgåva:
  • 12021
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 518 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 16. december 2024

Om Zhe Hou

Se alla böcker av Zhe Hou

Beskrivning 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.

Användarnas betyg av Fundamentals of Logic and Computation



Andra köpte även...
Hitta liknande böcker
Boken Fundamentals of Logic and Computation finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.