- Oggetto:
- Oggetto:
Elementi di Logica 2 - a.a. 2008/09
- Oggetto:
Anno accademico 2008/2009
- Codice dell'attività didattica
- vedi Avvalenza
- Docente
- Prof. Alessandro Andretta (Titolare del corso)
- Corso di studi
- Laurea Specialistica in Matematica (D.M. 509)
- Anno
- 1° anno 2° anno
- Periodo didattico
- Primo semestre
- Tipologia
- Caratterizzante
- Crediti/Valenza
- 3
- SSD dell'attività didattica
- MAT/01 - logica matematica
- Mutuato da
- Cod. MFN0048 ambito B
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Il corso si propone di mostrare come lo studio dei linguaggi nei quali sono formalizzate le teorie e le dimostrazioni matematiche permette di ottenere informazioni sulle stesse. Attenzione particolare sarà rivolta alle algebre di Boole e alla logica proposizionale.- Oggetto:
Risultati dell'apprendimento attesi
Lallievo dovrà essere in grado di utilizzare correttamente gli strumenti di base della Logica Matematica- Oggetto:
Programma
Pre-requisiti (in ingresso)
Insegnamenti fornitori
Conoscenze di base di Algebra
Algebra I
Conoscenze di base di Analisi Matematica
Analisi Matematica I, II e III
Competenze minime (in uscita)
Insegnamenti fruitori
Linguaggi del primo ordine
Tutti
Teoremi di compattezza e completezza
Teoria dei Modelli, Algebra II
Nozioni sulla calcolabilità effettiva
Programma, articolazione e caricodidattico
Argomento
Ore
Lezione
Totale Ore di Carico Didattico
Sistemi formali e derivazioni
12
12
Algebre di Boole e logica proposizionale
12
12
Totale
24
24
Testi consigliati e bibliografia
- Oggetto:
- Il testo seguito è:
R.Kaye, The Mathematics of Logic, Cambridge University Press 2007 - Oggetto:
Note
Modalità di verifica/esame
Colloquio orale.- Oggetto: