Discrete Mathematics and Logic -- A.Y. 2016/2017

Free University of Bozen-Bolzano
Faculty of Computer Science
Bachelor in Computer Science and Engineering (BSc)

This page contains the material relevant to Discrete Mathematics and Logic (academic Year: 2016/17 -- First Semester) module including lecture handouts and practical material. All enquiries regarding the module should be addressed to Prof. Alessandro Artale.

The course includes Lab exercises to solve particular problems and apply theory into practice. Responsibles for the Lab are:

Dr. Rosella Gennari;
Dr. Vladislav Ryzhikov.
Please, send me an email to enroll in one of the two Labs. Student should split equally between the two Labs.
Course Syllabus

Discrete Math
1. Methods of Proof: Direct Proofs
2. Methods of Proof: Indirect Proofs
3. Sequences
4. Induction Principle
5. Recursive Sequences
5.1 Recursive Sequences and Iteration
6. Induction for Proving Loops -- Loop Invariant
7. Structural Induction
8. Set Theory
9. Functions
10. Functions and Cardinalities
11. Relations
12. Equivalence and Partial-Order Relations
13. Graphs
14. Graphs Isomorphisms
1. Introduction to Logic
2. Propositional Logic (Part I)
3. Propositional Logic (Part II)
4. First Order Logic (Part I)
5. First Order Logic (Part II)
6. First Order Logic and Databases

LAB Exercises
Lab Scheduling

1. Proof Techniques
2. Mathematical Induction, Loop Invariant and Structural Induction
3. Set Theory, Functions and Cardinalities
4. Relations
5. Partial Order Relations and Graphs
6. Graphs and Trees
7. Propositional Logic
8. First Order Logic
9. First Order Logic: Sat, Validity and Tableaux
10. First Order Logic: Tableaux and Formalizations of Problems

MID-TERM Exam on Discrete Mathematics part: Thursday 15.December.2016 @ 10:30
Students who pass the mid-term exam on Discrete Mathematics can avoid the respective part of the final exam.

Mid-Term exam: Results.

Past Mid-Term exam: Paper

Past Exams