Studiare

In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.

Piano Didattico

A.A. 2024/2025 A.A. 2023/2024 A.A. 2022/2023 A.A. 2021/2022 A.A. 2020/2021 A.A. 2019/2020 A.A. 2018/2019 A.A. 2017/2018 A.A. 2016/2017 A.A. 2015/2016 A.A. 2014/2015 A.A. 2013/2014 A.A. 2012/2013 A.A. 2011/2012 A.A. 2010/2011 A.A. 2009/2010

Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.
Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:

Laurea in Informatica - Immatricolazione dal 2025/2026

Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.

1° Anno

InsegnamentiCreditiTAFSSD
6
A
MAT/02
6
A
MAT/05
12
A
ING-INF/05
6
A
FIS/01
6
E
-
6
A
INF/01
6
A
MAT/06
12
A
INF/01

2° Anno  Attivato nell'A.A. 2012/2013

InsegnamentiCreditiTAFSSD
12
B
INF/01
6
C
MAT/05
6
C
MAT/08
6
C
FIS/01
6
B
INF/01
6
B
ING-INF/05
12
B
ING-INF/05
Un insegnamento a scelta tra i seguenti:
6
B
INF/01
6
B
INF/01

3° Anno  Attivato nell'A.A. 2013/2014

InsegnamentiCreditiTAFSSD
12
B
INF/01
6
B
INF/01
6
B
INF/01
Un insegnamento a scelta tra i seguenti:
12
B
INF/01
12
B
INF/01
6
F
-
12
D
-
Prova finale
6
E
-
Attivato nell'A.A. 2012/2013
InsegnamentiCreditiTAFSSD
12
B
INF/01
6
C
MAT/05
6
C
MAT/08
6
C
FIS/01
6
B
INF/01
6
B
ING-INF/05
12
B
ING-INF/05
Un insegnamento a scelta tra i seguenti:
6
B
INF/01
6
B
INF/01
Attivato nell'A.A. 2013/2014
InsegnamentiCreditiTAFSSD
12
B
INF/01
6
B
INF/01
6
B
INF/01
Un insegnamento a scelta tra i seguenti:
12
B
INF/01
12
B
INF/01
6
F
-
12
D
-
Prova finale
6
E
-

Legenda | Tipo Attività Formativa (TAF)

TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.

A Attività di base
B Attività caratterizzanti
C Attività formative affini o integrative
D Attività a scelta dello studente
E Prova finale
F Altre attività formative
S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Logica e matematica discreta  (2011/2012)

Codice insegnamento

4S000018

Docente

Andrea Masini

Coordinatore

Andrea Masini

Crediti

6

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

INF/01 - INFORMATICA

Periodo

II semestre dal 1 mar 2012 al 15 giu 2012.

Seminari 0

Obiettivi formativi

Lo scopo principale di questo insegnamento è introdurre le nozioni fondamentali della logica simbolica (sintassi, semantica, sistemi deduttivi) e della matematica discreta (insiemi, funzioni, grafi, alberi, strutture)

Programma

Parte 1 (3CFU) Matematica Discreta

Insiemi: corrispondenze e applicazioni, relazioni, equivalenze, partizioni, relazioni d'ordine, cardinalità, insieme finiti, numerabili e più che numerabili (teorema di Cantor), ordinamento dei cardinali;
Reticoli: concetti di inf e sup, reticoli completi e reticoli booleani, reticoli visti come esempio di struttura algebrica.
Grafi e alberi: cammini, circuiti euleriani, grafi planari e alberi.

Strutture Algebriche: insiemi dotati di un'operazione (esempi: semigruppi, monoidi, monoidi di parole, gruppi, permutazioni), insiemi dotati di più operazioni (esempi: anelli, algebre di Boole). Morfismi e isomorfismi di strutture.

Parte 2 (3CFU) Logica

Linguaggio proposizionale: connettivi e proposizioni, tavole di verità, valutazioni;
Strutture: esempi notevoli, monoidi, semigruppi, numeri naturali, grafi;
Linguaggio del I ordine: semantica di Tarski, conseguenza logica;
Deduzione naturale.
Teoremi fondamentali della deduzione naturale: correttezza (dimostrazione) e completezza (solo enunciato);
Formalizzazioni al primo ordine.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Alberto Facchini Algebra e Matematica Discreta (Edizione 1) Edizioni Decibel/Zanichelli 2000 978-8808-09739-2 Studiare: cap 1 (saltando paragrafo 5 e 6) cap 2 (saltando paragrafo 11 ed appendice 14.1)
Andrea Asperti, Agata Ciabattoni Logica a Informatica McGraw-Hill 2007 Srtudiare: Cap 1 (saltando 1.3.6 e 1.3.7) Cap 4 (saltando 4.3.4, 4.3.5 e 4.3.6)
Dirk van Dalen Logic and Structure (Edizione 4) Springer-Verlag 2004 3540208798

Modalità d'esame

Esame scritto

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI

Materiale e documenti