Teaching GuideTerm Faculty of Computer Science |
Grao en Ciencia e Enxeñaría de Datos |
Subjects |
Discrete Mathematics |
Contents |
|
|
Identifying Data | 2019/20 | |||||||||||||
Subject | Discrete Mathematics | Code | 614G02002 | |||||||||||
Study programme |
|
|||||||||||||
Descriptors | Cycle | Period | Year | Type | Credits | |||||||||
Graduate | 1st four-month period |
First | Basic training | 6 | ||||||||||
|
Topic | Sub-topic |
1-. Logic Reasoning | Propositional logic: propositions and logical operators Implications and Logical Equivalences Proof methods: Semantic tables, induction principle Normal forms Predicate Logic |
2.- Sets, functions and relations |
Basic theory of sets: elements, subsets Some sets of numbers: the integers and the complexes Functions, types of functions, composition Binary relations, properties Equivalence relations, equivalence classes and quotient set Order relations, distinguished elements, Hasse diagrams |
3.- Combinatorics and Recurrence | Basic counting principles Variations, permutations and combinations Binomial and multinomial coefficients Inclusion-exclusion principle Successions and series Recurrent relations Resolution of some recurrence equations. Applications |
4.-Graphs | Directed graphs: basic concepts Non directed graphs: basic concepts Connectivity Trees. Rooted Trees Search trees Weighted graphs: the problem of the minimal spanning tree |
|