First Cycle (Laurea) Degree Programme in Computer Science
Prof.: Francesca Levi
Prof.: Andrea Corradini
The target of the course is to introduce the basic elements of Mathematical Logic and its use to analyse the correctness of simle programs. The students will be familiar with the Propositional Calculus and First Order Logic, and their use in formalizing natural language statements. Besides they will master some formal proof techniques and be able to apply them to the verification of simple imperative programs via Hoare's triples.
Introduction to Mathematical Logic and its relevance to programming.
Propositional Calculus and its proof techniques.
First Odr Predicate Calculus.
FOrmalizing natural language assertions.
Number ranges and related connectives.
Hoare's triples for a subset of the C language.
face to face
Reading material provided by the instructor available at http://compass2.di.unipi.it/didattica/inf31/share/corsi/corso.asp?id=3813&cds=inf31&anno=2013
Per informazioni scrivete a firstname.lastname@example.org.