METODI MATEMATICI PER L'INFORMATICA

Clelia DE FELICE METODI MATEMATICI PER L'INFORMATICA

0512100041
DIPARTIMENTO DI INFORMATICA
COMPUTER SCIENCE
2015/2016



OBBLIGATORIO
YEAR OF COURSE 1
YEAR OF DIDACTIC SYSTEM 2015
SECONDO SEMESTRE
CFUHOURSACTIVITY
648LESSONS


Objectives
THE COURSE AIMS
-TO GIVE TO THE STUDENT A DEEP UNDERSTANDING ABOUT THE CONCEPTS AND TECHNIQUES OF MATHEMATICS AND LOGIC;
-TO LEARN THE MATHEMATICAL REASONING THAT IS THE BASIS OF THE MOST COMMON PROOF METHODS AND STRATEGY;
-TO GIVE THE TOOLS TO UNDERSTAND THE USE OF ITERATION, INDUCTION AND RECURSION.

THIS GOAL IS PURSUED THROUGH MANY DIFFERENT TYPES OF EXAMPLES THAT WILL HELP TO ILLUSTRATE THE CONCEPTS, TO LINK DIFFERENT TOPICS AND TO SUGGEST HOW TO APPLY THEM.

Prerequisites
KNOWLEDGE OF MATHEMATICS AND LANGUAGE PROFICIENCY AT HIGH SCHOOL LEVEL.
Contents
BASICS ON SETS, SET OPERATIONS, FUNCTIONS, CARDINALITY OF SETS.
PROPOSITIONAL LOGIC AND ITS APPLICATIONS, PROPOSITIONAL EQUIVALENCES, PREDICATES AND QUANTIFIERS, PROOF METHODS AND STRATEGY.
INDUCTION, RECURSIVE DEFINITIONS AND STRUCTURAL INDUCTION, RECURSIVE ALGORITHMS.
Teaching Methods
CLASS LECTURES WITH SOME PRACTICE LESSONS
Verification of learning
WRITTEN TEST AND ORAL EXAMINATION.
Texts
KENNETH D. ROSEN, DISCRETE MATHEMATICS AND ITS APPLICATIONS, SEVENTH EDITION, MCGRAW-HILL, 2012.
KEITH DEVLIN, INTRODUCTION TO MATHEMATICAL THINKING, 2012.
More Information
A DETAILED PROGRAM WITH FURTHER INFORMATION MAY BE FOUND AT HTTP://WWW.UNISA.IT/DIPARTIMENTI/DIP_INFORMATICA/DIDATTICA/DOCENTI/DEFELICE/INDEX
  BETA VERSION Data source ESSE3 [Ultima Sincronizzazione: 2016-09-30]