Menu
Tento kurz sa zameriava na základy logiky, kódovania informácií, kombinatoriky a teórie grafov. Začneš s výrokovou logikou v prirodzenom jazyku, kde sa naučíš syntax (výrokové premenné, logické spojky) a pravidlá zápisu. Po tom sa pozrieš na sémantiku výrokovej logiky a usudzovacie pravidlá, aby si pochopil, ako sa zistia pravdivostné hodnoty a význam tvrdení.
Ďalej prejdeš na Boolovu algebru, kde sa zoznámiš so základnými zákonmi, Boolovskými funkciami a ich reprezentáciou. Naučíš sa, ako kódovať informácie, pracovať s rôznymi číselnými sústavami (najmä binárnou) a vykonávať logické operácie. Potom sa zameriaš na aritmetické operácie v rôznych číselných sústavách a na reprezentáciu záporných čísel v priamom, inverznom a doplnkovom kóde.
Kurz pokračuje témou reprezentácie reálnych čísel a operácií s číslami s pevnou a pohyblivou rádovou čiarkou. Následne sa pozrieš na kódovanie textovej a zvukovej informácie.
Ďalej sa zoznámiš s maticami a ich operáciami, ako aj výpočtom determinantov a inverzných matíc. Potom sa prejdeš na základy kombinatoriky a teórie grafov, kde sa naučíš základné kombinatorické princípy, pravidlá súčtu a súčinu, permutácie, variácie a kombinácie.
Kurz zakončíš témami teórie grafov, kde sa naučíš vlastnosti grafov, ako minimálna cesta, úloha obchodného cestujúceho a maximálny tok v sieťových grafoch. Na záver sa pripravíš na skúšku, ktorá zahŕňa všetky tieto témy.
Domáce úlohy sú zamerané na prípravu na testy a vypracovanie praktických príkladov z rôznych oblastí kurzu.