Название: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
Автор: Zhe Hou
Издательство: Springer
Серия: Texts in Computer Science
Год: 2021
Страниц: 225
Язык: английский
Формат: pdf (true), epub
Размер: 22.3 MB

This book aims to address the two problems by compressing and unifying important concepts of the two areas and providing exercises in widely-used software applications. We give a transition from logic to computation via linear temporal logic and state machines. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata theory, formal languages, computability and complexity. The final chapter closes the gap with a discussion on the insight that links logic with computation. This book is written for two sets of audiences. Undergraduate students who are getting a Bachelor’s degree in computer science should at least pass this course. Higher degree research (HDR) students who excel at this course should have the foundation to pursue a Ph.D. degree in computer science.