Diskrétní matematika - NDMI002

• Anglický název: Discrete Mathematics
• Zajišťuje: Katedra aplikované matematiky (32-KAM)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2022
• Semestr: zimní
• E-Kredity: 5
• Rozsah, examinace: zimní s.:2/2 [hodiny/týden]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• Virtuální mobilita / počet míst: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština, angličtina
• Způsob výuky: prezenční
• Další informace: http://mj.ucw.cz/vyuka/dm/
• Garant: doc. RNDr. Jiří Fiala, Ph.D.; doc. RNDr. Martin Tancer, Ph.D.
• Třída: Informatika Bc.
• Kategorizace předmětu: Informatika > Diskrétní matematika
• Neslučitelnost : NDMA005
• Je neslučitelnost pro: NDMA006, NDMI030
• Je prerekvizitou pro: NDMI021
• Je záměnnost pro: NDMI030, NDMA005

Anotace

čeština

Poslední úprava: T_KAM (06.05.2001)

Úvod do kombinatoriky a teorie grafů. Důraz je kladen na aktivní zvládnuti základních pojmů a metod (relace, zobrazení, graf; přesná formulace matematických tvrzení, řešení příkladů a dokazovaní jednoduchých tvrzení).

angličtina

Poslední úprava: T_KAM (06.05.2001)

Introduction to combinatorics and graph theory. We lay stress on active knowledge of basic definitions and methods (relation, mapping, graph, exact formulation of mathematical theorems, problem solving and proofs of simple statements).

Podmínky zakončení předmětu

čeština

Poslední úprava: doc. RNDr. Jiří Fiala, Ph.D. (26.07.2022)

Pro zápočet je třeba získat 100 bodů z alespoň 150 možných udělovaných průběžně za písemné testy, řešení domácích úloh a další aktivity.

Z průběžné povahy kontroly neplyne nárok na vypisování opravných termínů testů ani zadání náhradních domácích úloh.

V důvodných případech (dlouhodobá nemoc, pobyt v zahraničí, apod.) může cvičící stanovit individuální podmínky na udělení zápočtu.

Zápočet je podmínkou pro konání zkoušky.

Zkouška může být písemná, ústní nebo kombinovaná. Zkouška může mít kontaktní nebo distanční formu.

Formát zkoušky určuje vyučující.

U zkoušky může být přihlédnuto k výsledku testů psaných v období výuky.

angličtina

Poslední úprava: doc. RNDr. Jiří Fiala, Ph.D. (26.07.2022)

For credit you need to get 100 points out of at least 150 possible continuously awarded for tests, homework and other activities.

The ongoing nature of the inspection does not imply a right to request corrective tests nor alternative homework assignments.

In justified cases (long-term illness, stay abroad, etc.) the lecturer may set individual conditions for credit granting.

Credit is a condition for taking the exam.

The exam can be written, oral or combined. The exam may be arranged in contact or distant form.

The exam format is decided by the educator(s).

Result of tests accomplished during the teaching period may be taken into account at the exam.

Literatura

čeština

Poslední úprava: doc. RNDr. Jiří Fiala, Ph.D. (05.08.2022)

J. Matoušek, J. Nešetřil: Kapitoly z diskrétní matematiky, nakladatelství Karolinum, Praha, 5. vydání, 2022

angličtina

Poslední úprava: doc. RNDr. Jiří Fiala, Ph.D. (05.08.2022)

J. Matoušek, J. Nešetřil: Invitation to Discrete Mathematics, Oxford University Press, 2008, 2nd edition.

Požadavky ke zkoušce

čeština

Poslední úprava: doc. RNDr. Jiří Fiala, Ph.D. (26.07.2022)

Požadavky ke zkoušce odpovídají sylabu předmětu v rozsahu, v jakém byl pokryt na přednáškách, cvičeních a určeném samostudiu.

Je požadována i schopnost aplikovat získané znalosti při řešení úloh.

Zápočet je podmínkou pro konání zkoušky.

angličtina

Poslední úprava: doc. RNDr. Jiří Fiala, Ph.D. (26.07.2022)

The requirements for the exam correspond to the syllabus of the subject to the extent that it was covered in lectures, tutorials and self-study.

The ability to apply the acquired knowledge in problem solving is also required.

Credit is a condition for taking the exam.

Sylabus

čeština

Poslední úprava: doc. RNDr. Jiří Fiala, Ph.D. (05.08.2022)

Značení, motivační úlohy, co je důkaz, důkaz indukcí.

Kombinatorika:

• Relace: zobrazení (funkce, permutace), ekvivalence.

• Částečné uspořádání: řetězce a antiřetězce, věta o dlouhém a širokém.

• Kombinatorické počítání: počet podmnožin, k-prvkových podmnožin, všech zobrazení, prostých zobrazení, permutací.

• Binomická věta. Odhady faktoriálu a binomických koeficientů.

• Princip inkluze a exkluze a jeho aplikace (šatnářka).

Pravděpodobnost:

• Pravděpodobnostní prostor (nejvýš spočetný, všechny podmnožiny jsou jevy).

• Nezávislé jevy, podmíněná pravděpodobnost.

• Náhodná veličina: distribuční funkce, střední hodnota, linearita, základní diskrétní pravděpodobnostní rozdělení.

Teorie grafů:

• Základní pojmy: úplný graf, úplný bipartitní graf, cyklus, cesta, stupeň vrcholu, podgraf, izomorfismus.

• Eulerovské grafy: tah, sled, charakterizace, též orientovaný případ, silná a slabá souvislost.

• Stromy: různé charakterizace, existence listu.

• Rovinné grafy: Eulerova formule, maximální počet hran, Platónská tělesa.

• Barevnost grafu: charakterizace bipartitních grafů, d-degenerované grafy, věta o pěti barvách pro rovinné grafy (Kempeho řetězce).

Rozšiřující témata:

• Erdősovo-Szekeresovo lemma o monotónní podposloupnosti.

• Pravděpodobnostní důkaz (např. existence 3-paradoxního turnaje).

• Princip sudosti, skóre grafu.

• Spernerovo lemma, aplikace na hru HEX.

angličtina

Poslední úprava: doc. RNDr. Jiří Fiala, Ph.D. (05.08.2022)

Notation, motivating problems, the concept of a proof, proof by induction.

Combinatorics:

• Relation: mapping (function, permutation), equivalence.

• Partial ordering: chains and antichains, large implies tall or wide.

• Combinatorial counting: the number of subsets, of subsets of size k, of all mappings, of all injective mappings, of permutations.

• The binomial theorem. Estimates the factorial function and binomial coefficients.

• Inclusion-exclusion formula, applications (hatcheck lady).

Probability:

• Probability space (at most countable, all subsets are events).

• Independent events, conditional probability.

• Random variable: distribution function, expectation, linearity, most common distributions.

Graph theory:

• Elementary notions: complete graph, complete bipartite graph, path, cycle, vertex degree, subgraph, isomorphism.

• Eulerian graphs: trail, walk, characterisation, including directed case, strong and weak connectivity.

• Trees: various characterisations, existence of a leaf.

• Planar graphs: Euler's formula, maximum number of edges, Platonic solids.

• Graph coloring: characterisation of bipartite graphs, d-degenerate graphs, 5-color theorem for planar graphs (Kempe's chains).

Optional topics:

• Erdős-Szekeres lemma on monotone subsequences.

• Probabilistc proofs (e.g. existence of a 3-paradoxical tournament).

• Handshaking lemma, graph score.

• Sperner's lemma, application on the HEX game.