Proseminář z matematiky - NUIN022

• Anglický název: Seminar in mathematics
• Zajišťuje: Informatický ústav Univerzity Karlovy (32-IUUK)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2022
• Semestr: letní
• E-Kredity: 2
• Rozsah, examinace: letní s.:0/2, Z [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Další informace: https://iuuk.mff.cuni.cz/~pangrac/vyuka/prosemat/
• Garant: RNDr. Ondřej Pangrác, Ph.D.

Anotace

čeština

Poslední úprava: doc. RNDr. Pavel Töpfer, CSc. (07.12.2021)

Úkolem prosemináře je seznámit studenty se základy matematické logiky a statistiky a rozšířit znalosti z lineární algebry, potřebné v dalším studiu.

angličtina

Poslední úprava: doc. RNDr. Pavel Töpfer, CSc. (07.12.2021)

Introdutionary seminar from mathematical logic and statistics. Moreover, it extends linear algebra lecture.

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

čeština

Poslední úprava: doc. RNDr. Pavel Töpfer, CSc. (07.12.2021)

Předmět je zakončen zápočtem. Pro získání zápočtu je třeba dosáhnout alespoň 50% bodů z testů psaných v průběhu semestru.

angličtina

Poslední úprava: doc. RNDr. Pavel Töpfer, CSc. (07.12.2021)

The course ends with a credit. To obtain the credit, it is necessary to achieve at least 50% of points from tests written during the semester.

Sylabus

čeština

Poslední úprava: doc. RNDr. Pavel Töpfer, CSc. (07.12.2021)

• Výroková a predikátová logika (syntaxe a sémantika, splnitelnost a dokazatelnost), teorie a modely teorií, základy teorie množin (zápisy množin, množinové operace).

• Základy statistického testování hypotéz (hypotézy, typy dat, typy experimentálních designů, základní parametrické a neparametrické testy).

• Vybrané partie z lineární algebry (zejména se zaměřením na vlastní čísla a vlastní vektory).

angličtina

Poslední úprava: doc. RNDr. Pavel Töpfer, CSc. (07.12.2021)

• Propositional and predicate logic, theories and their models, fundaments of set theory.

• Introduction to hypothesis testing.

• Selected topics of linear algebra (eigenvalues and eigenvectors).