FI:IV119 Seminar on Discrete Methods - Informace o předmětu
IV119 Seminar on Discrete Mathematical Methods
Fakulta informatikyjaro 2022
- 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í) - Garance
- prof. RNDr. Petr Hliněný, Ph.D.
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh seminárních/paralelních skupin
- IV119/Po8: Po 14. 2. až Po 9. 5. Po 8:00–9:50 C417, D. Kráľ
IV119/St8: St 16. 2. až St 11. 5. St 8:00–9:50 C417, P. Hliněný - 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.
- See https://www.google.com/search?q=proofs+from+the+book+pdf for a quick overview of this book.
- 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 mainly by all participating students, and of a scientific discussion. Each student is expected to deliver his/her own presentation at least 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
- Informace učitele
- 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 rozvrhu podle vašich možností - přispějte návrhy do předmětového fóra. V časech nepovolené prezenční výuky však organizace semináře nebude jednoduchá a bude od každého z vás vyžadovat zapojení s vlastní výbavou na vzdálenou prezentaci a sdílené psaní do té prezentace (stručně kameru, mikrofon a tablet s perem). Možnosti zapůjčení takové výbavy od vyučujících jsou velmi omezené a stejně tak je omezená možnost použít k prezentaci výbavu na FI.
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
- Statistika zápisu (jaro 2022, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2022/IV119