1. Forside
  2. Bøger
  3. Engelske bøger
  4. Algoritmer og datastrukturer
  5. Matematisk datateori
  6. Computere og hardware
  7. Fundamentals of Logic and Computation: With Practical...

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

(Bog, Paperback / softback, Engelsk)
Forfatter: Zhe Hou
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
Forlag: Springer Nature Switzerland AG

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Algoritmer og datastrukturer Computere og hardware Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Forfatter Zhe Hou
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2021 ed.
Udgivelsesdato 05-12-2022
Første udgivelsesår 2022
Serie Texts in Computer Science
Illustrationer 6 Illustrations, color; 28 Illustrations, black and white
Originalsprog Switzerland
Sideantal 222
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 222 pages, 6 Illustrations, color; 28 Illustrations, black and white
Mål 155 x 233 x 17
ISBN-13 / EAN-13 9783030878849