# Matematica | MATHEMATICAL LOGICS I

## Matematica 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 TYPE OF ACTIVITY MAT/01 7 56 LESSONS COMPULSORY SUBJECTS, CHARACTERISTIC OF THE CLASS
 ANTONIO DI NOLA T
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]
• Matematica