|INFORMATICA PER LE SCIENZE UMANE||INF/01||LEZIONI||36|
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.
- Final oral exam
- Final written exam
Delivery: face to face
- attending lectures
- participation in discussions
- individual study
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.
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
Si avvisano gli studenti che le lezioni del corso inizieranno martedi' 28 febbraio.