Udvidet returret til d. 31. januar 2025

Fundamentals of Logic and Computation - Zhe Hou - Bog

- With Practical Automated Reasoning and Verification

af Zhe Hou
Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783030878818
  • Indbinding:
  • Hardback
  • Sideantal:
  • 222
  • Udgivet:
  • 4. december 2021
  • Udgave:
  • 12021
  • Størrelse:
  • 155x235x0 mm.
  • Vægt:
  • 518 g.
  • 8-11 hverdage.
  • 9. december 2024

Normalpris

  • BLACK WEEK

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af 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.

Brugerbedømmelser af Fundamentals of Logic and Computation



Find lignende bøger
Bogen Fundamentals of Logic and Computation findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.