Ingegneria Elettronica | OFA - LOGICA

cod. OFA0612403

OFA - LOGICA

	OFA0612403
	DIPARTIMENTO DI INGEGNERIA INDUSTRIALE
	EQF6
	ELECTRONIC ENGINEERING
	2022/2023

PERCORSO COMUNE

	YEAR OF COURSE
	YEAR OF DIDACTIC SYSTEM 2018
	AUTUMN SEMESTER

TEACHING UNITS

	SSD	CFU	HOURS	ACTIVITY	TYPE OF ACTIVITY
	NN	6	60	LESSONS	VARIOUS EDUCATIONAL ACTIVITIES

EXAMS

	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.

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.

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.