FI:IV119 Seminar on Discrete Methods - Informace o předmětu

IV119 Seminar on Discrete Mathematical Methods

Rozsah

0/2/0. 2 kr. (plus ukončení). Doporučované ukončení: k. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Petr Hliněný, Ph.D. (přednášející)
prof. RNDr. Daniel Kráľ, Ph.D., DSc. (přednášející)
Mgr. Adam Kabela, Ph.D. (pomocník)

Garance

prof. RNDr. Petr Hliněný, Ph.D.
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh

Po 17. 2. až Pá 15. 5. St 12:00–13:50 C417

Předpoklady

Basics of undergraduate mathematics (IB000 is enough).

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

• Analýza a zpracování obrazu (program FI, N-VIZ)
• Bioinformatika a systémová biologie (program FI, N-UIZD)
• Computer Games Development (program FI, N-VIZ_A)
• Computer Graphics and Visualisation (program FI, N-VIZ_A)
• Computer Networks and Communications (program FI, N-PSKB_A)
• Cybersecurity Management (program FI, N-RSSS_A)
• Formální analýza počítačových systémů (program FI, N-TEI)
• Grafický design (program FI, N-VIZ)
• Graphic Design (program FI, N-VIZ_A)
• Hardware Systems (program FI, N-PSKB_A)
• Hardwarové systémy (program FI, N-PSKB)
• Image Processing and Analysis (program FI, N-VIZ_A)
• Informační bezpečnost (program FI, N-PSKB)
• Informatika (program FI, B-INF) (2)
• Informatika ve vzdělávání (program FI, B-IVV) (2)
• Information Security (program FI, N-PSKB_A)
• Kvantové a jiné neklasické výpočetní modely (program FI, N-TEI)
• Počítačová grafika a vizualizace (program FI, N-VIZ)
• Počítačové sítě a komunikace (program FI, N-PSKB)
• Principy programovacích jazyků (program FI, N-TEI)
• Programování a vývoj aplikací (program FI, B-PVA)
• Řízení kyberbezpečnosti (program FI, N-RSSS)
• Řízení vývoje služeb (program FI, N-RSSS)
• Řízení vývoje softwarových systémů (program FI, N-RSSS)
• Services Development Management (program FI, N-RSSS_A)
• Software Systems Development Management (program FI, N-RSSS_A)
• Software Systems (program FI, N-PSKB_A)
• Softwarové systémy (program FI, N-PSKB)
• Strojové učení a umělá inteligence (program FI, N-UIZD)
• Učitel informatiky a správce sítě (program FI, N-UCI)
• Učitelství informatiky pro střední školy (program FI, N-UCI) (2)
• Vývoj počítačových her (program FI, N-VIZ)
• Zpracování a analýza rozsáhlých dat (program FI, N-UIZD)
• Zpracování přirozeného jazyka (program FI, N-UIZD)

Cíle předmětu

The aim of this seminar is to introduce interested students into the beauties of mathematics and of clean mathematical proofs. This will teach students "mathematical thinking" - to understand math definitions, statements, and proofs in their full depth, and to make their own new proofs in all areas of mathematics and theoretical computer science.

Výstupy z učení

After finishing this seminar, successful students should be able to understand presented mathematical proofs in their full depth, and to make their own new proofs in areas of mathematics and theoretical computer science.

Osnova

• Selected nice topics from "Proofs from THE BOOK"; TBA each year.
• Number theory, Combinatorics, Combinatorial geometry, Graph theory.
• Different topics are chosen in subsequent years.

Literatura

povinná literatura
• AIGNER, Martin a Günter M. ZIEGLER. Proofs from the book. Berlin: Springer, 1998, viii, 199. ISBN 3540636986. info

Výukové metody

This is a seminar; the lectures will consist of informal presentations by the teachers and also by all participating students, and of scientific discussion. Each student is expected to deliver his/her own presentation once during the semester.

Metody hodnocení

Students are evaluated by their active participation in lectures, and according to their own presentation of the assigned topic.

Vyučovací jazyk

Angličtina

Navazující předměty

• IV125 Seminář laboratoře Formela

Informace učitele

http://www.fi.muni.cz/~hlineny/stud-cz.html#seminarDM
Seminář pro každého, kdo má rád matematiku a matematické důkazy - zvláště ty diskrétní a hezké. Nebojte se jen angličtiny, povídat si můžeme i česky, ale očekáváme studium výhradně anglických materiálů. Všimněte si také, že seminář si můžete zapisovat opakovaně a v dalších letech jsou prezentována jiná témata (v knize jich je mnohem více, než máme během semestru čas projít). Seminář není v centrálním rozvrhu, čas si vybereme po zveřejnění centrálního rozvhrhu podle vašich možností - přispějte návrhy do předmětového fóra.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

• Statistika zápisu (jaro 2020, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2020/IV119