First-order logic and automated theorem proving
First-order logic and automated theorem proving
Programming: the derivation of algorithms
Programming: the derivation of algorithms
Algorithmic Program DeBugging
A Discipline of Programming
Hi-index | 0.01 |
While logic plays an important role in several areas of Computer Science (CS), most educational software developed for teaching logic ignores their application in a more large portion of the CS education domain. In this paper we describe an innovative methodology based on a logic teaching tool on semantic tableaux to prepare students for using logic as a formal proof technique in other topics of CS, such as the formal verification and the declarative debugging of imperative programs, which are at the basis of a good development of software.