Průvodce IB000/IB000ext Matematické základy informatiky
prof. RNDr. Petr Hliněný, Ph.D.
Průvodce IB000/IB000ext Matematické základy informatiky

Aneb bez matematiky to skutečně nepůjde...

Kurz přináší elementárně pojatý úvod do matematiky vysokoškolského typu s ohledem na potřeby studia informatiky. Studenti se seznámí se základními matematickými nástroji potřebnými pro popis a formalizaci vztahu mezi intuitivními informatickými konstrukcemi a jejich přesným matematickým významem. Také se naučí přesně vyjadřovat a být si svými vyjádřeními naprosto jisti. Cílem studia je vytvořit pojmový a metodologický základ pro studium řady dalších nezbytných informatických předmětů.

Základní informace

  • Předmět Matematické základy informatiky má z důvodů mezifakultní organizace studia na MU od roku 2024 dva odlišné kódy, IB000 pro studijní programy Fakulty informatiky a IB000ext převážně pro Major/minor verze studia a studijní programy jiných fakult. Pro oba kódy platí stejný rozsah učiva i stejný průběh semestru, jen požadavky závěrečné zkoušky se liší (zhruba řečeno, ve zkoušce IB000ext nemusí jít schopnosti studentů do takové matematické hloubky jako v IB000).
    Zpravidla mají studenti příslušný kód předepsaný mezi svými povinnými předměty a nemohou si vybrat!
  • Studenti jsou povinni pravidelně číst předmětové aktuality https://is. muni.cz/auth/df/aktuMZI/.
    Dozvíte se tam například o mimořádnostech ve výuce, plánované termíny testů a podobně...
  • Dále je pro (jakékoliv) případné dotazy, které nemohou být rozumně zodpovězeny během cvičení, k dispozici Diskusní fórum předmětu IB000.
    Učitelé budou dotazy na fóru promptně zodpovídat. Na samostatné emailové dotazy týkající se obecných otázek naopak nebude odpovídáno, neboť to nic nepřináší ostatním studentům.

Učební text IB000
Hlavní výukový text. Od 2023 probíhají změny týkající se především přeuspořádání látky matematické indukce mezi lekcemi, strukturální indukce získává samostatnou lekci a ruší se lekce dokazování algoritmů
PDF to download

Přednáškové slidy po lekcích
Zde jsou jednotlivé slidy lekcí tak, jak jsou promítané na přednáškách (ale bez pauz uvnitř stránek). Obecně platí, že každý týden se probere jedna lekce po řadě. Můžete si slidy tisknout a na přednáškách do nich dělat poznámky, ale pro prosté vytištění k učení si vezměte celý učební text.

Pro přístup do procvičovacích odpovědníků a do podrobných učebních materiálů musíte být nejméně přihlášení do ISu a v některých místech je přístup dovolen pouze aktuálním studentům IB000 a IB000ext.

Error: The referenced object does not exist or you do not have the right to read.
https://is.muni.cz/el/fi/podzim2024/IB000/um/cvicnv/
Learning Materials
Všechny výukové materiály pohromadě, sdíleno mezi IB000 a IB000ext...

Organizace studia je stejně jako obsah výuky společná pro oba kódy předmětu IB000 a IB000ext. Chodíte na stejné přednášky, slyšíte tam stejné učivo, vybíráte si ze stejných skupin cvičení a máte i stejná data semestrálních testů a stejnou nabídku zkouškových termínů...

Na odlišnosti mezi IB000 a IB000ext se podívejte níže do popisu hodnocení předmětu a podmínek jeho splnění.


Chapter contains:
2
PDF
6
Folder
7
Study text
2
Web

Bonusové úkoly v semestru jsou taktéž společné pro oba kódy předmětu IB000 a IB000ext.


Chapter contains:
1
Image
1
Homework Vault
2
Study text
Teacher recommends to study from 9/10/2024 to 30/10/2024.

Chapter contains:
3
Discussion Forum
1
Image
2
ROPOT
1
PDF
1
Study text
2
Web
Teacher recommends to study from 14/9/2024 to 25/9/2024.
Chapter contains:
2
Discussion Forum
2
ROPOT
2
PDF
1
Study text
2
Web
Teacher recommends to study from 21/9/2024 to 9/10/2024.
Chapter contains:
5
Discussion Forum
1
ROPOT
3
PDF
1
Study text
2
Web
Teacher recommends to study from 28/9/2024 to 16/10/2024.
Chapter contains:
2
Discussion Forum
4
Image
1
ROPOT
2
PDF
1
Study text
4
Web
Teacher recommends to study from 5/10/2024 to 23/10/2024.
Chapter contains:
4
Discussion Forum
2
ROPOT
2
PDF
1
Study text
2
Web
Teacher recommends to study from 12/10/2024 to 30/10/2024.
Chapter contains:
1
ROPOT
2
PDF
1
Study text
2
Web
Teacher recommends to study from 19/10/2024 to 6/11/2024.
Study now
Chapter contains:
6
Discussion Forum
2
ROPOT
4
PDF
1
Study text
2
Web
Teacher recommends to study now - from 26/10/2024 to 20/11/2024.
Study now
Chapter contains:
5
Discussion Forum
2
ROPOT
3
PDF
1
Study text
1
Web
Teacher recommends to study now - from 2/11/2024 to 27/11/2024.
Study now
Chapter contains:
5
Discussion Forum
2
ROPOT
2
PDF
1
Study text
Teacher recommends to study now - from 9/11/2024 to 4/12/2024.
Chapter contains:
1
ROPOT
1
PDF
1
Study text
4
Web
Teacher recommends to study from 23/11/2024 to 11/12/2024.
Chapter contains:
1
ROPOT
1
PDF
1
Study text
5
Web
Teacher recommends to study from 30/11/2024 to 18/12/2024.
Lekce 11: Formalizace a důkazy pro algoritmy
Teacher recommends to study from 16/11/2024 to 4/12/2024.
Chapter contains:
1
PDF
1
Study text
1
Web
Teacher recommends to study from 30/11/2024 to 20/12/2024.

Previous