OFA - LOGICA

Ingegneria Elettronica OFA - LOGICA

OFA0612403
DIPARTIMENTO DI INGEGNERIA INDUSTRIALE
EQF6
ELECTRONIC ENGINEERING
2022/2023

YEAR OF COURSE
YEAR OF DIDACTIC SYSTEM 2018
AUTUMN SEMESTER
CFUHOURSACTIVITY
660LESSONS
ExamDate
OFA LOGICA 022/06/2023 - 14:00
OFA LOGICA 025/07/2023 - 14:00
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
Lessons Timetable

  BETA VERSION Data source ESSE3 [Ultima Sincronizzazione: 2023-06-01]