Università degli Studi di Siena

LOGICA MATEMATICA

AF monodisc.

Scheda dell'insegnamento

Anno accademico

2017/2018

Anno accademico di espletamento

2019/2020

Tipologia di insegnamento

Caratterizzante

Afferenza

Corso di Laurea triennale (DM 270) in MATEMATICA

Dipartimento Ingegneria dell’informazione e scienze matematiche

Settore disciplinare

LOGICA MATEMATICA (MAT/01)

Lingua

Italiano

Crediti

Anno di corso

Docenti*

SORBI ANDREA

*Nominativo proposto dal Comitato per la didattica, salvo ratifica del Consiglio di Dipartimento

Ciclo

Secondo Semestre

Ore di attivita' frontale

Ore di studio individuale

135

Prerequisiti

Analisi matematica. Algebra elementare.

Obiettivi formativi

Il corso si propone di introdurre lo studente al formalismo logico (sintassi, semantica, deduzione formale) ed alle nozioni e ai risultati fondamentali della teoria dei modelli.

Contenuti

Introduzione alla logica matematica proposizionale e del primo ordine. Introduzione alla teoria dei modelli. Introduzione ai teoremi di incompletezza.

Bibliografia consigliata

Dispense del docente.
H. B. Enderton. A Mathematical Introduction to Logic. Harcourt/Academic Press, San Diego

Modalità di erogazione

Convenzionale

Metodi didattici

Lezione frontlale . Esercitazioni orali e scritte

Metodi di valutazione

Tipo di esame

Orale

Modalita' di verifica dell'apprendimento

Esame finale orale con domande sui teoremi e le dimostrazioni del corso. Lo sudente deve dimostrare anche di saper risolvere esercizi sugli argomenti del corso. Nessuna prova intermedia.

Valutazione

Voto Finale

Calendario attività didattiche

Data di inizio del periodo didattico

Lunedì, 2 Marzo, 2020

Data di fine del periodo didattico

Venerdì, 12 Giugno, 2020

Altre informazioni

nulla

Altri insegnamenti

Anno di corso: 1

ABILITA' INFORMATICA
3 crediti - Altro
ALGEBRA
6 crediti - Base
ALGEBRA LINEARE E GEOMETRIA
12 crediti
CALCOLO
12 crediti
CORSO DI RECUPERO
A scelta dello studente
CORSO DI RECUPERO DI FISICA
A scelta dello studente
CORSO DI SOSTEGNO
A scelta dello studente
FISICA I
9 crediti - Base
FONDAMENTI DI ALGEBRA
6 crediti - Base
FONDAMENTI DI PROGRAMMAZIONE
6 crediti - Base
IDONEITA' DI LINGUA INGLESE - LIV. B1
3 crediti - Lingua/Prova Finale
PROGRAMMAZIONE
6 crediti - Base

Anno di corso: 2

ALGEBRA GENERALE
9 crediti - Caratterizzante
ANALISI MATEMATICA
9 crediti - Caratterizzante
BASI DI DATI
9 crediti - Affine/Integrativa
CALCOLO DELLE PROBABILITA'
6 crediti - Caratterizzante
ELEMENTI DI LOGICA
6 crediti - Caratterizzante
FISICA II
6 crediti - Base
GEOMETRIA ANALITICA
9 crediti - Caratterizzante
STATISTICA II
9 crediti - Affine/Integrativa

Anno di corso: 3

A SCELTA DELLO STUDENTE
12 crediti - A scelta dello studente
ABILITÀ INFORMATICHE, TELEMATICHE E RELAZIONALI
3 crediti - Altro
CALCOLO NUMERICO
12 crediti
COMPLEMENTI DI MATEMATICA
6 crediti - Caratterizzante
FISICA MATEMATICA
6 crediti - Caratterizzante
LOGICA MATEMATICA
9 crediti - Caratterizzante
MECCANICA ANALITICA
9 crediti - Affine/Integrativa
PROVA FINALE
6 crediti - Lingua/Prova Finale
RICERCA OPERATIVA
6 crediti - Caratterizzante
SISTEMI DINAMICI
9 crediti - Affine/Integrativa

Tu sei qui

LOGICA MATEMATICA

LOGICA MATEMATICA