logo-polimi
Loading...
Manifesto
Struttura Corso di Studi
Cerca/Visualizza Manifesto
Dati Insegnamento
Scarica il Manifesto
Regolamento didattico
Consulta il Regolamento
Elenco docenti
Strutture didattiche
Dati quantitativi
Internazionalizzazione
Orario Personalizzato
Il tuo orario personalizzato è disabilitato
Abilita
Ricerche
Cerca Docenti
Cerca Insegnamenti
Cerca insegnamenti degli Ordinamenti precedenti al D.M.509
Erogati in lingua Inglese

Legenda
Semestre (Sem)
1Primo Semestre
2Secondo Semestre
AInsegnamento Annuale
Attività formative
CAffini o integrative
Lingua d'erogazione
Insegnamento completamente offerto in lingua italiana
Insegnamento completamente offerto in lingua inglese
--Non definita
Didattica innovativa
I CFU riportati a fianco a questo simbolo indicano la parte dei CFU dell'insegnamento erogati con Didattica Innovativa.
Tali CFU riguardano:
  • Cotutela con mondo esterno
  • Blended Learning & Flipped Classroom
  • Massive Open Online Courses (MOOC)
  • Soft Skills
Dati Insegnamento
Contesto
Anno Accademico 2019/2020
Scuola Scuola di Ingegneria Industriale e dell'Informazione
Corso di Studi (1 liv.)(ord. 270) - MI (358) Ingegneria Informatica
Piano di Studio preventivamente approvato I3I - Informatica
Anno di Corso 3

Scheda Insegnamento
Codice Identificativo 085903
Denominazione Insegnamento LOGICA E ALGEBRA
Tipo Insegnamento Monodisciplinare
Crediti Formativi Universitari (CFU) 5.0
Semestre Primo Semestre
Programma sintetico Relazioni ed applicazioni: Relazioni binarie, loro proprieta, chiusura di una relazione rispetto a un dato insieme di proprieta. Relazioni di equivalenza e partizioni, insieme quoziente. Relazioni dordine. Applicazioni suriettive, iniettive e biunivoche ed esistenza dellapplicazione inversa, kernel di una applicazione, teorema di fattorizzazione delle applicazioni. Cardinalita di un insieme: teorema di Cantor. Strutture algebriche: definizioni ed esempi, proprieta elementari delle principali strutture algebriche, sottostrutture, relazioni di congruenza e strutture quozienti, omomorfismi. Logica delle proposizioni: sintassi e semantica, sistemi formali. Teoremi di deduzione, correttezza e completezza. Logica del I ordine: il linguaggio della logica del I ordine, termini e formule sintatticamente corrette. Interpretazione, formule insoddisfacibili, soddisfacibili, vere e logicamente valide. Forme normali prenesse. Sistemi formali: correttezza e completezza. Esempi di teorie del primo ordine.
Settori Scientifico Disciplinari (SSD)
Attività formative Codice SSD Descrizione SSD CFU
C
MAT/01
LOGICA MATEMATICA
3.0
C
MAT/02
ALGEBRA
2.0

Orario: aggiungi e rimuoviScaglioneDocenteLingua offertaProgramma dettagliato
Da (compreso)A (escluso)
--AERodaro Emanuele
--EPAdami Stefania
--PZZZZNuccio Claudia
manifesti v. 3.4.0 / 3.4.0
Area Servizi ICT
20/09/2020