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čováno kontaktně

Vyučující

prof. RNDr. Petr Hliněný, Ph.D. (přednášející)
Mgr. Jakub Balabán (pomocník)
prof. RNDr. Daniel Kráľ, Ph.D., DSc. (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

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: 0/24, pouze zareg.: 15/24, pouze zareg. s předností (mateřské obory): 14/24

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)
• Diskrétní algoritmy a modely (program FI, N-TEI)
• 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.

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

• IV131 Seminář laboratoře diskrétních metod a algoritmů (DIMEA)

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 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ě.
Výuka probíhá každý týden.

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