Antonio DI NOLA | MATHEMATICAL LOGICS I
Antonio DI NOLA MATHEMATICAL LOGICS I
cod. 0512300010
MATHEMATICAL LOGICS I
| 0512300010 | |
| DIPARTIMENTO DI MATEMATICA | |
| MATHEMATICS | |
| 2015/2016 |
| OBBLIGATORIO | |
| YEAR OF COURSE 2 | |
| YEAR OF DIDACTIC SYSTEM 2010 | |
| PRIMO SEMESTRE |
| SSD | CFU | HOURS | ACTIVITY | |
|---|---|---|---|---|
| MAT/01 | 7 | 56 | LESSONS |
| Objectives | |
|---|---|
KNOWLEDGE AND UNDERSTANDING: TO KNOW THE BASIC NOTIONS AND TECHNIQUES AXIOMATIC SYSTEMS. 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 ALGEBRA AND SET THEORY. |
| Contents | |
|---|---|
| BOOLEAN ALGEBRAS. PROPOSITIONAL LOGIC. PREDICATIVE LOGIC. |
| Teaching Methods | |
|---|---|
| LESSONS AT BLACKBOARD |
| Verification of learning | |
|---|---|
| ORAL DISCUSSION |
| Texts | |
|---|---|
| E. MENDELSON, INTRODUCTION TO MATHEMATICAL LOGIC. |
BETA VERSION Data source ESSE3 [Ultima Sincronizzazione: 2016-09-30]
