|
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 |
|
