Ciro D'APICE | COMPLEMENTARY MATHEMATICS FOR SAFETY
Ciro D'APICE COMPLEMENTARY MATHEMATICS FOR SAFETY
cod. 1212500046
COMPLEMENTARY MATHEMATICS FOR SAFETY
| 1212500046 | |
| DEPARTMENT OF MANAGEMENT & INNOVATION SYSTEMS | |
| EQF6 | |
| DIPLOMATIC, INTERNATIONAL AND GLOBAL SECURITY STUDIES | |
| 2023/2024 |
| YEAR OF COURSE 2 | |
| YEAR OF DIDACTIC SYSTEM 2019 | |
| AUTUMN SEMESTER |
| SSD | CFU | HOURS | ACTIVITY | |
|---|---|---|---|---|
| MAT/05 | 6 | 42 | LESSONS |
| Objectives | |
|---|---|
| THE COURSE AIMS TO PROVIDE SOME BASIC ELEMENTS OF MATHEMATICAL LOGIC AND MATHEMATICAL MODELS TO ANALYZE SAFETY ISSUES. STUDENTS SHOULD BECOME FAMILIAR WITH PROPOSITIONAL CALCULUS, FIRST ORDER LOGIC, PROOF AND VERIFICATION TECHNIQUES, MATHEMATICAL MODELS AND APPLICATIONS TO SAFETY. KNOWLEDGE AND UNDERSTANDING THE COURSE AIMS AT THE ACQUISITION OF THE FOLLOWING ELEMENTS: SET THEORY, PROPOSITIONAL CALCULUS, FIRST ORDER LOGIC, MATHEMATICAL MODELS. THE SPECIFIC TRAINING OBJECTIVES OF TEACHING ESSENTIALLY CONSIST IN ACQUIRING: - BASIC SKILLS REGARDING THE FORMALIZATION OF MATHEMATICAL LANGUAGE; - KNOWLEDGE OF THE SYNTAX OF PROPOSITIONAL AND FIRST ORDER LOGIC; - KNOWLEDGE OF THE SEMANTICS OF PROPOSITIONAL AND FIRST ORDER LOGIC; - SKILLS IN MODELING PROCEDURES FOR REAL PROBLEMS THAT LEAD TO VARIOUS TYPES OF MATHEMATICAL PROBLEMS. APPLYING KNOWLEDGE AND UNDERSTANDING STUDENTS WILL BE ABLE TO APPLY THE ACQUIRED SKILLS: -TO RECOGNIZE AND PROVIDE EXAMPLES OF SATISFIABLE TAUTOLOGIES, CONTRADICTIONS AND ENSEMBLES; -REPORT PROPOSITIONAL AND FIRST ORDER FORMULAS IN NORMAL FORM; -FORMALIZE MATHEMATICAL STATEMENTS IN THE LANGUAGE OF THE FIRST ORDER. MAKING JUDGEMENTS THE STUDENT WILL BE ABLE TO EVALUATE, PROVE OR REFUTE SIMPLE ASSERTIONS. COMMUNICATION SKILLS BEING ABLE TO EXPLAIN VERBALLY A TOPIC OF THE COURSE. LEARNING SKILLS BEING ABLE TO APPLY THE ACQUIRED KNOWLEDGE TO DIFFERENT CONTEXTS FROM THOSE PRESENTED DURING THE LESSONS. |
| Prerequisites | |
|---|---|
| FOR THE SUCCESSFUL ACHIEVEMENT OF THE SET OBJECTIVES AND, IN PARTICULAR, FOR AN ADEQUATE UNDERSTANDING OF THE CONTENTS OF THE TEACHING, BASIC KNOWLEDGE OF MATHEMATICS, ALGEBRA AND SET THEORY ARE PARTICULARLY USEFUL AND THEREFORE REQUIRED. MANDATORY PREPARATORY TEACHINGS METHODS AND TECHNIQUES OF MATHEMATICS. |
| Contents | |
|---|---|
| SET THEORY (LECTURE/ PRACTICE/LABORATORY HOURS 4/4/0) RECALLS ON SETS. CARDINALITY OF A SET. THE CONTINUOUS AND THE COUNTABLE. PEANO–DEDEKIND AXIOMS FOR NATURAL NUMBERS. EXAMPLES OF PARADOXES. SYSTEM OF AXIOMS THAT OVERCOME PARADOXES. CANTOR–SCHROEDER–BERNSTEIN THEOREM. THE AXIOM OF CHOICE. THE CONTINUUM HYPOTHESIS. PROPOSITIONAL LOGIC (LECTURE/ PRACTICE/LABORATORY HOURS 7/6/0) THE LANGUAGE OF PROPOSITIONAL LOGIC. SEMANTICS AND SYNTAX. THE TABLES OF TRUTH. LOGICAL CONNECTIVES. FORMAL METHODS OF DEMONSTRATION. PROBLEM OF SATISFIABILITY. REDUCTION IN NORMAL CONJUNCTIVE OR DISJUNCTIVE FORM. THE SAT PROBLEM. RESOLUTION METHOD. INTRODUCTION TO THE PROBLEM P = NP. FIRST-ORDER LOGIC (LECTURE/ PRACTICE/LABORATORY HOURS 7/6/0) ALPHABET, FORMULAS, STRUCTURES, TRUTH. SEMANTICS AND SYNTAX: LOGICAL CONSEQUENCES AND PROOFS. NOTES ON THE THEOREMS OF CORRECTNESS AND COMPLETENESS. FORMAL METHODS OF DEMONSTRATION. EXPRESSIVE LIMITATIONS OF FIRST-ORDER LOGIC. PROBLEM OF SATISFIABILITY IN FIRST-ORDER LOGIC: REDUCTION OF A FORMULA INTO PRENEX NORMAL FORM, SKOLEM PROCEDURE, HERBRAND'S THEOREM, RECOURSE TO THE ALGORITHMS OF PROPOSITIONAL LOGIC. NOTES ON THE METHOD OF RESOLUTION AND UNIFICATION. MATHEMATICAL MODELS (LECTURE/ PRACTICE/LABORATORY HOURS 4/4/0) GENERAL INFORMATION ON MODELLING TECHNIQUES. NOTES ON THE THEORY OF ORDINARY DIFFERENTIAL EQUATIONS. SIMULATION MODELS. MICROSCOPIC AND MACROSCOPIC MODELS. SECURITY APPLICATIONS. TOTAL LECTURE/ PRACTICE/LABORATORY HOURS 20/22/0 |
| Teaching Methods | |
|---|---|
| THE TEACHING CONSISTS OF FRONTAL LECTURES FOR A TOTAL OF 22 HOURS AND CLASSROOM EXERCISE SESSIONS FOR A TOTAL OF 20 HOURS. THE FREQUENCY OF CLASSROOM LECTURES AND EXERCISES, WHILE NOT REQUIRED, IS STRONGLY RECOMMENDED IN ORDER TO OBTAIN FULL ACHIEVEMENT OF THE LEARNING OBJECTIVES. |
| Verification of learning | |
|---|---|
| WITH REGARD TO THE LEARNING OUTCOMES OF THE TEACHING, THE FINAL EXAM AIMS TO EVALUATE: THE KNOWLEDGE AND UNDERSTANDING OF THE CONCEPTS PRESENTED DURING THE THEORETICAL LECTURES AND THE CLASSROOM EXERCISE SESSIONS; THE MASTERY OF THE MATHEMATICAL LANGUAGE IN WRITTEN AND ORAL TESTS; THE SKILL OF PROVING THEOREMS; THE SKILL OF SOLVING PROBLEMS; THE ABILITY TO IDENTIFY AND APPLY THE BEST AND EFFICIENT METHODS IN PROBLEMS SOLVING; THE ABILITY TO APPLY THE ACQUIRED KNOWLEDGE TO DIFFERENT CONTEXTS FROM THOSE PRESENTED DURING THE LESSONS. THE EXAM NECESSARY TO ASSESS THE ACHIEVEMENT OF THE LEARNING OBJECTIVES CONSISTS IN A WRITTEN TEST, PRELIMINARY WITH RESPECT TO THE ORAL EXAMINATION, AND IN AN ORAL EXAMINATION. THE WRITTEN TEST CONSISTS IN SOLVING PROBLEMS IMPLEMENTED ON THE BASIS OF WHAT HAS BEEN PROPOSED IN THE FRAMEWORK OF THE THEORETICAL LECTURES AND EXERCISE SESSIONS. SUCH A WRITTEN TEST, THAT THE STUDENT WILL HAVE TO FACE IN TOTAL AUTONOMY, WILL LAST 2 AND HALF HOURS IN THE CASE OF A SUFFICIENT WRITTEN PROOF, IT WILL BE EVALUATED THROUGH QUALITATIVE SCALES (RANGES OF MARKS). THE ORAL TEST IS DEVOTED TO EVALUATE THE DEGREE OF KNOWLEDGE OF ALL THE TOPICS OF THE TEACHING, AND WILL COVER DEFINITIONS, THEOREMS PROOFS, EXERCISES SOLVING. THE FINAL MARK, EXPRESSED IN THIRTIETHS (EVENTUALLY CUM LAUDE), WILL DEPEND ON THE RANGE OF MARKS OF THE WRITTEN TEST, WITH CORRECTIONS IN EXCESS OR DEFECT ON THE BASIS OF THE ORAL TEST. |
| Texts | |
|---|---|
| WRITTEN NOTES GIVEN BY THE TEACHER. |
| More Information | |
|---|---|
| TEACHING IS PROVIDED IN ITALIAN. |
BETA VERSION Data source ESSE3 [Ultima Sincronizzazione: 2024-11-05]
