Fundamentals of logic and computation: with practical automated reasoning and verification
Auteur :
Hou, Zhe
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030878849
Date de publication :
5 déc. 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.