ECTS - University of Pisa
Scheda programma d'esame
COMPUTER SCIENCE FOR THE HUMAN SCIENCES
FRANCESCA LEVI
Academic year2016/17
CourseSCIENCES FOR PEACE: INTERNATIONAL COOPERATION AND CONFLICT TRANSFORMATION
Code620AA
Credits6
PeriodSemester 2
LanguageItalian

ModulesAreaTypeHoursTeacher(s)
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
Pagina web del corso

http://pages.di.unipi.it/levi/ISU2016.html
Class web page

http://pages.di.unipi.it/levi/ISU2016.html
Note

Si avvisano gli studenti che le lezioni del corso inizieranno martedi' 28 febbraio.
Updated: 24/05/2017 16:08