Questo sito utilizza solo cookie tecnici, propri e di terze parti: continuando la navigazione ne accetti l'uso. Acconsento Vorrei maggiori informazioni

Naviga nel sito del Dipartimento:

Naviga nel sito della Didattica:

Dettagli sull'Insegnamento per l'A.A. 2018/2019

Le informazioni che state leggendo si riferiscono all'anno accademico 2018/2019. Per questo molti collegamenti non sono disponibili e i dati potrebbero essere incompleti. Per leggere le informazioni correnti sul corso, se ancora erogato, consulta il catalogo corsi di ateneo. Per consultare le informazioni relative ad altri anni accademici, usa la lista in fondo a questa pagina.

A. Accademico:

2018/2019

Nome:

Foundation of Mathematics / Foundation of Mathematics

Tipo:

Corso singolo

Informazioni

Codice:

DT0124

SSD:

MAT/04

Crediti:

: Master Degree in Mathematics 6 CFU (c)

Periodo:

1^st semester

Erogazione:

Master Degree in Mathematics 2^nd anno curriculum Generale Elective

Lingua:

Italiano

Docenti:

Paolo Freguglia

Sillabo

Elements of Mathematical Logic: logic of propositions and logic of the first order predicates. Boolean algebra.
Formalization of mathematical theories, in particular of the Arithmetic.
Infinite sets, examples and theorems. Cardinal numbers and ordinal numbers. Notices about the axiomatic set theory. Euclidean incommensurability. Archimedes axiom, Cantor axiom and Dedekind axiom. Non Archimedean quantities, examples and technical developments.
Non Euclidean geometries, theorems. Euclidean models and coherence.
Complex and hypercomplex numbers. Grassmann-Peano calculus and applications to the elementary and projective geometry.

Testi di riferimento

Marco Borga , Elementi di logica matematica , EUROMA. 1992.
Paolo Freguglia, Fondamenti storici della geometria , Feltrinelli Editore. 1982.
Paolo Freguglia, Geometria e numeri , Bollati Boringhieri. 2006.

Aggiornamenti alla pagina del corso

Le informazioni sulle editioni passate di questo corso sono disponibili per i seguenti anni accademici:

Per leggere le informazioni correnti sul corso, se ancora erogato, consulta il catalogo corsi di ateneo.

Ultimo aggiornamento delle informazioni sul corso: 19 ottobre 2017, 14:23

Il DISIM

Il DISIM svolge la sua attivà di formazione e ricerca nell'ambito della matematica pura e delle sue applicazioni e nell'ambito delle aree scientifiche e ingegneristiche che caratterizzano il mondo dell'ICT.

Link Rapidi

Come Raggiungerci

Via Vetoio, Coppito, 67100 L'Aquila

disim

sad

strutture.univaq

+39 0862 433002

+39 0862 433180 (fax)