Studying at the University of Verona

Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.

Study Plan

The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.

CURRICULUM TIPO:

1° Year 

ModulesCreditsTAFSSD
Insegnamenti offerti ad anni alterni
6
B
MAT/02
6
B
MAT/02
12
B
MAT/05
Insegnamenti offerti ad anni alterni
12
B
MAT/08
12
B
MAT/06
6
B
MAT/05
6
B
MAT/07
12
B
MAT/03

2° Year   activated in the A.Y. 2011/2012

ModulesCreditsTAFSSD
Due tra i seguenti insegnamenti
6
C
INF/01
6
C
MAT/09
6
C
MAT/08
6
C
MAT/09
6
C
MAT/06
6
C
MAT/08
6
C
MAT/08
6
C
INF/01
32
E
-
ModulesCreditsTAFSSD
Insegnamenti offerti ad anni alterni
6
B
MAT/02
6
B
MAT/02
12
B
MAT/05
Insegnamenti offerti ad anni alterni
12
B
MAT/08
12
B
MAT/06
6
B
MAT/05
6
B
MAT/07
12
B
MAT/03
Modules Credits TAF SSD
Between the years: 1°- 2°
12
D
-
Between the years: 1°- 2°
Ulteriori competenze
4
F
-

Legend | Type of training activity (TTA)

TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.

A Basic activities
B Characterizing activities
C Related or complementary activities
D Activities to be chosen by the student
E Final examination
F Other training activities
S Placements in companies, public or private institutions and professional associations

Basis of mathematics  (2011/2012)

Teaching code

4S000958

Teacher

Ruggero Ferro

Coordinator

Ruggero Ferro

Credits

6

Also offered in courses:

Language

Italian

Scientific Disciplinary Sector (SSD)

MAT/01 - MATHEMATICAL LOGIC

Period

I semestre dal Oct 3, 2011 al Jan 31, 2012.

Seminars 0

Learning outcomes

To develop a critical and conscious attitude towards different views of mathematics. Reasons for, analysis, and relevance of the mathematical notions.

Program

Gödel's incompleteness theorems. Greek viewpoint of mathematics. Mathematics as a prototype of deductive science. The problem of infinity. First crisis of the foundations of mathematics. The problem of the consistency of theories. Reduction of a theory to another. Different viewpoints of mathematics: neo-platonic, logicist, formalist, constructivist. Second crisis of the foundations of mathematics. Effective computability. The problem of communicating mathematical concepts through the language. Beyond the language. How to capture and communicate concepts which are non definable through the language. The problems of objectivity, certainty and relevance of the mathematical knowledge.

Examination Methods

Oral

Students with disabilities or specific learning disorders (SLD), who intend to request the adaptation of the exam, must follow the instructions given HERE