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 - 2016/2017


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

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 74.55% 28 2
Respinti 7.69%
Assenti 17.15%
Ritirati 0.59%
Annullati --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
1.5% 2.3% 1.5% 2.3% 0.7% 0.7% 0.7% 1.5% 4.3% 4.3% 10.3% 16.2% 18.2% 34.5%

Valori relativi all'AA 2016/2017 calcolati su un totale di 338 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.