Antonio DI NOLA | FUNDAMENTALS OF MATHEMATICAL LOGICS
Antonio DI NOLA FUNDAMENTALS OF MATHEMATICAL LOGICS
cod. 0522200014
FUNDAMENTALS OF MATHEMATICAL LOGICS
| 0522200014 | |
| DIPARTIMENTO DI MATEMATICA | |
| MATHEMATICS | |
| 2015/2016 |
| OBBLIGATORIO | |
| YEAR OF COURSE 1 | |
| YEAR OF DIDACTIC SYSTEM 2010 | |
| PRIMO SEMESTRE |
| SSD | CFU | HOURS | ACTIVITY | |
|---|---|---|---|---|
| MAT/01 | 6 | 48 | LESSONS |
| Objectives | |
|---|---|
KNOWLEDGE AND UNDERSTANDING: TO KNOW THE BASIC NOTIONS AND TECHNIQUES OF MODEL THEORY, SET THEORY AND FORMAL ARITHMETIC. APPLYING KNOWLEDGE AND UNDERSTANDING: THE AIM OF THE COURSE IS TO MAKE THE STUDENT ABLE TO APPLY THE NOTIONS GOT FROM THE LECTURES IN ORDER TO SOLVE SOME BASIC PROBLEMS. COMMUNICATION SKILLS: THE COURSE IS ADDRESSED TO HELP THE STUDENTS TO DISPLAY IN A RIGOROUS WAY THE ACCOMPLISHED NOTIONS. MAKING JUDGEMENTS: STUDENTS ARE GUIDED TO BE AWARE OF THE PIECES OF STUDIED THEORIES. ABILITY TO LEARN: THE COURSE WILL AIM TO IMPROVE THE AUTONOMY OF STUDENTS IN STUDYING MATHEMATICAL TOPICS. |
| Prerequisites | |
|---|---|
KNOWLEDGE OF ELEMENTARY NOTIONS OF ALGEBRA AND LOGIC. |
| Contents | |
|---|---|
| BASIC NOTIONS OF UNIVERSAL ALGEBRA, OF MODEL THEORY, OF SET THEORY, OF FORMAL ARITHMETIC. |
| Teaching Methods | |
|---|---|
| LESSONS AT BLACKBOARD. |
| Verification of learning | |
|---|---|
| ORAL DISCUSSION. |
| Texts | |
|---|---|
| •LECTURE NOTES. •J.L. BELL- A.B. SLOMSON, MODELS AND ULTRAPRODUCTS. •C.C. CHANG, H.J. KEISLER, MODEL THEORY |
BETA VERSION Data source ESSE3 [Ultima Sincronizzazione: 2016-09-30]
