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: 27. januari 2025
Förlängd ångerrätt till 31. januari 2025
  •  

    Kan ej levereras före jul.
    Köp nu och skriv ut ett presentkort

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.