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 I1C - Ingegneria Informatica - Cremona
Anno di Corso 2

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

Scaglione   da (compreso):  A   a (escluso):  ZZZZ
   Primo Semestre    1   
DataDove09:0010:0011:0012:0013:0014:0015:0016:0017:0018:0019:0020:00
Lunedì
Martedì
Mercoledì
Giovedì
Venerdì B.3.7 LOGICA E ALGEBRA
lezione
(dal 20/09/2019 al 20/12/2019)
LOGICA E ALGEBRA
lezione
(dal 20/09/2019 al 20/12/2019)
Sabato
manifesti v. 3.4.7 / 3.4.7
Area Servizi ICT
02/12/2020