Ingegneria Elettronica | OFA - LOGICA
Ingegneria Elettronica OFA - LOGICA
cod. OFA0612403
OFA - LOGICA
OFA0612403 | |
DIPARTIMENTO DI INGEGNERIA INDUSTRIALE | |
EQF6 | |
ELECTRONIC ENGINEERING | |
2022/2023 |
YEAR OF COURSE | |
YEAR OF DIDACTIC SYSTEM 2018 | |
AUTUMN SEMESTER |
SSD | CFU | HOURS | ACTIVITY | |
---|---|---|---|---|
NN | 6 | 60 | LESSONS |
Exam | Date | Session | |
---|---|---|---|
OFA LOGICA 0 | 22/06/2023 - 14:00 | SESSIONE UNICA | |
OFA LOGICA 0 | 25/07/2023 - 14:00 | SESSIONE UNICA |
Objectives | |
---|---|
THE COURSE OFFERS AN INTRODUCTION TO LOGIC, A CRITICAL UNDERSTANDING OF LOGICAL CONNECTIVES, QUANTIFIERS, AND THE RULES THAT GOVERN THEM. THE OBJECTIVE OF THE COURSE IS TO ACQUIRE THE THEORETICAL AND PRACTICAL AWARENESS THAT THE STUDY OF DEDUCTIONS BY MEANS OF THE TOOLS OF LOGIC LEADS TO THE APPROPRIATE AND CONSCIOUS USE OF NATURAL LANGUAGE, EXERCISES PRECISION AND RIGOR IN ARGUMENTS, AND HELPS TO COHERENTLY ORGANIZE DISCOURSE AND OUR REASONING ACTIVITY. |
Prerequisites | |
---|---|
BASIC KNOWLEDGE OF SET THEORY. |
Contents | |
---|---|
SET THEORY: NOTATIONS. REPRESENTATIONS OF A SET. ALGEBRA OF SETS. OPERATION BETWEEN SETS. LANGUAGE. TRANSFORMATIONS FROM EVERYDAY LANGUAGE TO THE LANGUAGE OF LOGIC. AMBIGUITY AND CONNECTIVES IN NATURAL LANGUAGE. PROPOSITIONAL LOGIC. SYNTAX AND SEMANTICS. PROPOSITIONS AND TRUTH. CONNECTIVES AND THEIR PROPERTIES. TAUTOLOGIES AND CONTRADICTIONS. IMPLICATION AND LOGICAL EQUIVALENCE. TRUTH SETS. RELATIONSHIP BETWEEN CONNECTIVES AND SETS. PREDICATE LOGIC. THE EXISTENTIAL AND UNIVERSAL QUANTIFIERS. THE FOUR BASIC LOGICAL RULES FOR QUANTIFIERS. SOME RULES CONCERNING THE RELATIONSHIPS BETWEEN QUANTIFIERS AND CONNECTIVES. DEDUCTION. THE RULES OF DEDUCTION. AXIOMS, THEOREMS, HYPOTHETICAL SENTENCES. SYLLOGISMS. |
Teaching Methods | |
---|---|
THE TEACHING METHODS USED TO DELIVER THE LESSONS WERE MAINLY PEER TO PEER ACTIVITIES, BRAINSTORMING AND PROBLEM SOLVING. |
Verification of learning | |
---|---|
THE EXAM IS DESIGNED TO ASSESS: KNOWLEDGE AND UNDERSTANDING OF THE CONCEPTS PRESENTED IN THE COURSE. THE EXAM WILL BE A QUIZ WITH MULTIPLE CHOICE QUESTIONS. |
Texts | |
---|---|
SLIDES AND COURSE MATERIALS |
BETA VERSION Data source ESSE3 [Ultima Sincronizzazione: 2023-06-01]