Logic and Computation
Logic and Computation by Răzvan Diaconescu
English | PDF | 2023 | 196 Pages | ISBN : 3036573763 | 4.6 MB
Logic and computation are highly interdependent areas of research. On the one hand, logic plays an important role in computation both at the foundational and applied levels. For instance, several well-known programming and specification languages and systems have been developed as computational implementations of logical systems. Computing paradigms, such as declarative programming or formal specification and verification, owe much to logic. On the other hand, there are lots of computing-driven studies on logic.
The present book contains five articles accepted for publication and submitted to the Special Issue “Logic and Computation” of the MDPI “Mathematics” journal. These appeared in Volumes 9 (2021) and 10 (2022). They cover topics such as the model theory for formal logic-based formal specification and programming, logic mining and logic for games. It is hoped that the book will be interesting and useful for those working in the area of applying logic to computing.
Without You And Your Support We Can’t Continue
Thanks For Buying Premium From My Blog Links For Support
Thanks For Buying Premium From My Blog Links For Support