Scheda programma d'esame
INFORMATICA PER LE SCIENZE UMANE
FRANCESCA LEVI
Anno accademico2016/17
CdSSCIENZE PER LA PACE: COOPERAZIONE INTERNAZIONALE E TRASFORMAZIONE DEI CONFLITTI
Codice620AA
CFU6
PeriodoSecondo semestre

ModuliSettoreTipoOreDocente/i
INFORMATICA PER LE SCIENZE UMANEINF/01LEZIONI36
FRANCESCA LEVI unimap
Learning outcomes
Knowledge

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.

Assessment criteria of knowledge

Methods:

  • Final oral exam
  • Final written exam
Teaching methods

Delivery: face to face

Learning activities:

  • attending lectures
  • participation in discussions
  • individual study

Attendance: Advised

Teaching methods:

  • Lectures
Syllabus

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.

Bibliography

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

Note

Si avvisano gli studenti che le lezioni del corso inizieranno martedi' 28 febbraio.

Ultimo aggiornamento 24/05/2017 16:08