Introduction into Logic in computer science
This blog outlines the basics of propositional logic, as explained by the book “Logic in compuer science”.
Foundations
Program Verification: background and notation
This paper examines the field of program verification, emphasizing the precise implementation of algorithms through computational models like finite automata and Turing machines.