Code |
Course Name |
Language |
Type |
BLG 112E |
Discrete Mathematics |
English |
Compulsory / Elective |
Local Credits |
ECTS |
Theoretical |
Tutorial |
Laboratory |
3 |
5 |
3 |
0 |
0 |
Course Prerequisites and Class Restriction |
Prerequisites |
None |
Class Restriction |
None |
Course Description |
Propositions, inference rules, predicates, quantifiers, sets. Proof methods, proof by contradiction,
induction. Relations, functions, pigeonhole
principle. Graphs, trees. Algebraic structures,
partially ordered sets, lattices. |
|