DISCRETE STRUCTURES

Academic year
2023/2024 Syllabus of previous years
Official course title
STRUTTURE DISCRETE
Course code
CT0628 (AF:493937 AR:273797)
Modality
On campus classes
ECTS credits
6
Subdivision
Surnames M-Z
Degree level
Bachelor's Degree Programme
Educational sector code
MAT/02
Period
1st Semester
Course year
1
Where
VENEZIA
Moodle
Go to Moodle page
This course is one of the core activities of the three-year degree course in Computer Science and its aim is to present the fundamental ideas and concepts of discrete, as opposed to continuum, mathematics. The student will be gradually introduced to the main mathematical proof techniques and to the main discrete structures.
Knowledge and understanding:
- main definitions and results of discrete mathematics;
- discrete structures for computer science;
- rudiments of combinatorics.

Ability to apply knowledge and understanding:
- formalization of sentences expressed in natural language;
- use of the main mathematical proof techniques;
- abstraction and generalization.
There is no specific requirement.
- Propositional and first order logic
- Rudiments of number theory
- Induction principle and recursion
- Sets, functions and relations
- Principles of combinatorics
Susanna S. Epp - Discrete mathematics with applications (fifth edition)
Written test with exercises and proofs related to the main topics of the course. During the written test, the use of notes, books and electronic instruments is not permitted. The student can replace the written test with four intermediate tests to be held during the semester. Students who have passed the written test can ask for an oral integration to try to improve their mark.
Frontal lesson on the blackboard.
written
Definitive programme.
Last update of the programme: 24/07/2023