Course catalogue | University of Parma

Professor
Academic discipline: Matematiche complementari (MAT/04)
Field: Formazione logica e fondazionale
Type of training activity: Characterising

48 hours
of face-to-face activities

6 credits

hub:

course unit
in - - -

lectures timetable unavailable

exam calls

Learning objectives

Knowledge of the rudiments of axiomatic set theory in which to then develop arithmetic (according to Peano).

Prerequisites

- - -

Course unit content

Halmos set theory. Peano natural numbers, Induction theorems, recursion theorems; Peano-Lawere axiom. The Morse-Kelly-Mostowski set theory.

Full programme

- - -

Bibliography

[1] P.R. HALMOS, Naïve Set Theory, Springer 1974. 
 
[2] W.S. HATCHER, Fondamenti della Matematica, Boringhieri 1973. 
 
[3] J.D. MONK, Introduzione alla Teoria degli insiemi, Boringhieri 1977. 
 
[4] W. JUST, M. WEESE, Discovering modern set theory, AMS 1996

Teaching methods

- - -

Assessment methods and criteria

- - -

Other information

- - -

ELEMENTARY MATHEMATICS FROM A HIGHER STANDPOINT cod. 00681

Learning objectives

Prerequisites

Course unit content

Full programme

Bibliography

Teaching methods

Assessment methods and criteria

Other information

ELEMENTARY MATHEMATICS FROM A HIGHER STANDPOINT
cod. 00681