MATHEMATICAL LOGIC D
cod. 14878

Academic year 2007/08
3° year of course - First semester
Professor
Academic discipline
Logica matematica (MAT/01)
Field
A scelta dello studente
Type of training activity
Student's choice
60 hours
of face-to-face activities
6 credits
hub:
course unit
in - - -

Learning objectives

<br />Knowledge of the rudiments of Mathematical Logic, with particular attention to a teaching application of that discipline.

Prerequisites

- - -

Course unit content

<br /><br />First-order languages and structures. Satisfaction, truth, validity; logical consequence. Inadequacy of propositional logic. Elementary equivalence. Compactness theorem. An interesting teaching application of the compactness theorem: current infinites and infinitesimals; "calculus" via Non Standard Analysis.

Full programme

- - -

Bibliography

<br />[1] C. C. CHANG, H. J. KEISLER, Teoria dei modelli , Boringhieri 1980.<br />[2] H. ENDERTON, A Mathematical Introduction to Logic, Academic Press 1972.<br />[3] H. J. KEISLER, Elementary Calculus. An Infinitesimal Approach, Prindle, Weber & Schmidt 1986.<br />[4] K. D. STROYAN, W. A. J. LUXEMBURG, Introduction to the Theory of Infinitesimal, Academic Press 1976.

Teaching methods

<br />Another professor collaborates on this course. Exercises are assigned that are then publicly corrected and discussed by the students, under the guidance of one of the professors of the course, during ''laboratory'' hours.

Assessment methods and criteria

- - -

Other information

- - -