logo-polimi
Loading...
Manifesto
Struttura Corso di Studi
Cerca/Visualizza Manifesto
Dati Insegnamento
Scarica il Manifesto
Regolamento didattico
Consulta il Regolamento
Indicatori corsi di studio
Elenco docenti
Strutture didattiche
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 2015/2016
Scuola Scuola di Ingegneria Industriale e dell'Informazione
Corso di Studi (Mag.)(ord. 270) - MI (481) Computer Science and Engineering - Ingegneria Informatica
Piano di Studio preventivamente approvato T2A - COMPUTER SCIENCE AND ENGINEERING
Anno di Corso 1

Scheda Insegnamento
Codice Identificativo 080931
Denominazione Insegnamento ALGEBRA AND MATHEMATICAL LOGIC
Tipo Insegnamento Monodisciplinare
Crediti Formativi Universitari (CFU) 5.0
Semestre Primo Semestre
Programma sintetico Corso introduttivo di logica matematica, il cui scopo è presentare tecniche e teoremi fondamentali della logica del prim'ordine e alcune sue applicazioni. Il corso intende anche fornire fondamenti per l'uso dei linguaggi formali in matematica e informatica oltre che preparare a corsi più avanzati in logica. In questa prospettiva, verranno introdotti durante il corso i concetti algebrici necessari a sviluppare la semantica di Tarski per la logica del prim'ordine, che allo stesso tempo forniscono esempi interessanti di teorie del prim'ordine. Nel corso del laboratorio sarà presentato un programma di dimostrazione automatica
Settori Scientifico Disciplinari (SSD)
Attività formative Codice SSD Descrizione SSD CFU
C
MAT/02
ALGEBRA
2.5
C
MAT/01
LOGICA MATEMATICA
2.5

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ì B.5.4 ALGEBRA AND MATHEMATICAL LOGIC
(dal 07/10/2015 al 27/01/2016)
Giovedì
Venerdì B.5.3 ALGEBRA AND MATHEMATICAL LOGIC
(dal 09/10/2015 al 29/01/2016)
Sabato
manifesti v. 3.7.7 / 3.7.7
Area Servizi ICT
25/01/2025