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
- - -