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, Hardback, Engelsk)
Forfatter: Zhe Hou
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 Hardback
Sprog Engelsk
Udgave 2021 ed.
Udgivelsesdato 04-12-2021
Første udgivelsesår 2021
Serie Texts in Computer Science
Illustrationer 6 Illustrations, color; 28 Illustrations, black and white
Originalsprog Switzerland
Sideantal 222
Indbinding Hardback
Forlag Springer Nature Switzerland AG
Sideoplysninger 222 pages, 6 Illustrations, color; 28 Illustrations, black and white
Mål 160 x 242 x 19
ISBN-13 / EAN-13 9783030878818