Salta al contenuto principale
CODICE 73026
ANNO ACCADEMICO 2016/2017
CFU
LINGUA Italiano
SEDE
MODULI Questo insegnamento è composto da:

PRESENTAZIONE

OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

Il corso intende introdurre al metodo razionale, addestrando all'uso del linguaggio scientifico, analizzando le tecniche specifiche del ragionamento logico-deduttivo con applicazioni alla programmazione. Si forniscono gli elementi di base di matematica discreta e di algebra lineare, utilizzando il formalismo e l'astrazione per abituare ad un metodo di ragionamento rigoroso. Si introducono i concetti fondamentali (insiemi, prodotti cartesiani, funzioni, numeri naturali e induzione, equivalenze, cardinalità), strutture algebriche (monoidi, liste, grafi, cammini, anelli di matrici, spazi vettoriali), strutture logiche (calcolo dei predicati e teorie formali, interpretazioni, modelli) e si presentano risultati importanti di matematica discreta e loro applicazioni: - Algoritmo euclideo - Aritmetica modulare - Risoluzione di sistemi lineari - Correttezza e completezza per la logica del prim'ordine - Teoremi di Gödel, di Turing, di Church

DOCENTI E COMMISSIONI

Commissione d'esame

GIUSEPPE ROSOLINI (Presidente)

ANNA MARIA BIGATTI

ETTORE GIOVANNI CARLETTI

GIULIA FROSONI

ULDERICO FUGACCI

RUGGERO PAGNAN

ESAMI

Calendario appelli

Dati Ora Luogo Tipologia Note
05/06/2017 09:00 GENOVA Scritto Aula 505 + 506
04/07/2017 09:00 GENOVA Scritto Aula 505 + 506
14/09/2017 09:00 GENOVA Scritto Aula 505 + 506
05/06/2017 11:00 GENOVA Scritto Aula 505+506
04/07/2017 11:00 GENOVA Scritto Aula 505+506
14/09/2017 11:00 GENOVA Scritto Aula 505+506