Fundamentals of Logic and Computation: With Practical Automated Reasoning and VerificationКНИГИ » ПРОГРАММИНГ
Название: 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.
Скачать Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
Introduction to Logic Programming Название: Introduction to Logic Programming (Synthesis Lectures on Artificial Intelligence and Machine Learning) Автор: Michael Genesereth, Vinay K...
Philosophical and Mathematical Logic Название: Philosophical and Mathematical Logic Автор: Harrie de Swart Издательство: Springer Год: 2018 Страниц: 539 Формат: PDF Размер: 10 Mb Язык:...
Handbook of Model Checking Название: Handbook of Model Checking Автор: Edmund M. Clarke Издательство: Springer Год: 2018 Страниц: 1210 Формат: PDF Размер: 14 Mb Язык: English ...
Навигация
Вход на сайт
Реклама
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification 
Название: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
