Logica (2016/2017)

Codice insegnamento
4S00084
Docente
Maria Paola Bonacina
Coordinatore
Maria Paola Bonacina
crediti
6
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
I sem. dal 3-ott-2016 al 31-gen-2017.
Pagina Web
http://profs.sci.univr.it/~bonacina/teaching/Logica.html

Orario lezioni

I sem.
Giorno Ora Tipo Luogo Note
giovedì 13.30 - 15.30 lezione Aula Gino Tessari  
venerdì 11.30 - 13.30 lezione Aula Gino Tessari  

Obiettivi formativi

Obbiettivo del corso è l'apprendimento della logica classica, proposizionale e al primo ordine, come linguaggio formale di base per le scienze simboliche e specialmente l'informatica. Chi segue il corso acquisisce la capacità di formalizzare frasi del linguaggio naturale in formule logiche; impara a costruire prove, sia a mano che interagendo con un dimostratore di teoremi interattivo; e impara a costruire modelli, sia a mano che interagendo con un costruttore di modelli interattivo.

Programma

La logica proposizionale e il suo linguaggio. La logica al primo ordine e il suo linguaggio. Esempi di teorie come l'aritmetica e la teoria degli insiemi. Che cosa è una dimostrazione. Metodi di dimostrazione. Dimostrazione per assurdo. Deduzione naturale. Risoluzione. Che cosa è un modello. Costruzione di modelli. Teoria degli insiemi. Induzione.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Dave Barker-Plummer & Jon Barwise & John Etchemendy Language, Proof and Logic (Edizione 2) CSLI Publications 2011 978-1-57586-632-1

Modalità d'esame

Esami (I appello):
Il voto è dato da 30% C1 + 30% C2 + 40% P, dove C1 è la prova intermedia, C2 è la prova finale (il giorno del I appello nella sessione di febbraio 2017), e P è la media dei voti nei compiti a casa.
Esami (appelli successivi):
Il voto è dato da 100% E, dove E è un unico compito scritto, di difficoltà tale da uguagliare l'unione delle prove parziali.
Non c'è differenza tra studenti frequentanti e studenti non frequentanti.

Opinione studenti frequentanti - 2015/2016


Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

I dati relativi all'AA 2016/2017 non sono ancora disponibili