2. Matematica
  3. Teaching
  4. Course Units

MATHEMATICAL LOGICS I

Matematica MATHEMATICAL LOGICS I

0512300010
DIPARTIMENTO DI MATEMATICA
EQF6
MATHEMATICS
2016/2017



OBBLIGATORIO
YEAR OF COURSE 2
YEAR OF DIDACTIC SYSTEM 2010
PRIMO SEMESTRE
CFUHOURSACTIVITY
756LESSONS
ANTONIO DI NOLA T Curriculum
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.
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: 2019-03-11]