IV119 Seminar on Mathematical Methods and Proofs

Fakulta informatiky
jaro 2026
Rozsah
0/2/0. 2 kr. (plus ukončení). Ukončení: k.
Vyučováno kontaktně
Vyučující
prof. RNDr. Petr Hliněný, Ph.D. (přednášející)
RNDr. Jakub Balabán (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 seminárních/paralelních skupin
IV119/01: Pá 20. 2. až Pá 15. 5. Pá 10:00–11:50 A321; a Po 18. 5. 10:00–11:50 A321, Út 19. 5. 10:00–11:50 A321, 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.
Předmět si smí zapsat nejvýše 24 stud.
Momentální stav registrace a zápisu: zapsáno: 10/24, pouze zareg.: 0/24, pouze zareg. s předností (mateřské obory): 0/24
Mateřské obory/plány
předmět má 38 mateřských oborů, zobrazit
Anotace
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.
Klíčová témata
  • Selected nice topics from "Proofs from THE BOOK"; TBA each year.
  • Number theory, Combinatorics, Combinatorial geometry, Graph theory.
Studijní zdroje a literatura
    povinná literatura
  • AIGNER, Martin a Günter M. ZIEGLER. Proofs from the book. Berlin: Springer, 1998, viii, 199. ISBN 3540636986. info
Přístupy, postupy a metody používané ve výuce
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.
Způsob ověření výstupů z učení a požadavky na ukončení
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
Odkaz a informace vyučujících
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 budeme hlavně česky (slovensky), ale očekáváme studium výhradně anglických materiálů. Podívejte se na možné důkazy k prezentacím zde: https://www.google.com/search?q=proofs+from+the+book+pdf.
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2012, jaro 2013, jaro 2014, jaro 2015, jaro 2016, jaro 2017, jaro 2018, jaro 2019, jaro 2020, jaro 2021, jaro 2022, jaro 2023, jaro 2024, jaro 2025.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/jaro2026/IV119