Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
- Добавил: literator
- Дата: 4-12-2021, 12:53
- Комментариев: 0
![Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification](/uploads/posts/2021-12/1638611624_3511_fundam_ntals_of_logic_and_computation.jpg)
Автор: 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.
Скачать Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
![](/templates/LitmyL/images/LitMyru.png)
[related-news] [/related-news]
Внимание
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.