TEORETICKÁ INFORMATIKA

Kurz seznamuje účastníky se základními tématy teoretické informatiky, která tvoří důležitý základ pro pochopení fungování informačních systémů, programovacích jazyků i zpracování informací. Výuka se věnuje konečným automatům, teorii formálních jazyků, gramatikám, regulárním výrazům a souvislostem mezi automaty a gramatikami typu 3.

Další část kurzu představuje základy teorie informace a kódování, včetně principů bezpečnostních, lineárních a cyklických kódů využívaných při přenosu a uchovávání dat. Součástí výuky je také úvod do formální logiky, výrokového počtu, logického vyplývání a formálního dokazování. Kurz propojuje matematické a informatické principy s praktickými situacemi, ve kterých se tyto znalosti uplatňují.

CÍL PŘEDMĚTU:

Cílem předmětu je seznámit studenty se základními teoretickými modely, principy a postupy, na kterých je založena computer science (konečné automaty, formální jazyky, teorie informace, kódování, výrokový počet). Nabyté znalosti student uplatní při následném studiu odborných předmětů zejména z oblasti počítačových sítí, operačních systémů, překladačů a umělé inteligence.

VSTUPNÍ POŽADAVKY NA STUDENTA:

Student by měl rozumět základním pojmům z diskrétní matematiky, teorie grafů, pravděpodobnosti a lineární algebry.

PODMÍNKY ABSOLVOVÁNÍ:

Zápočet: Nadpoloviční počet bodů z kontrolního testu v posledním úplném týdnu semestru.
Zkouška: Zkouška je kombinovaná. V písemné části jsou zadány dvě výpočetní úlohy z různých okruhů probírané látky. Na písemnou část je 50 minut čistého času, celkem z ní lze získat 2 * 20 = 40 bodů. V ústní části jsou zadány tři otázky z teorie.

GARANTI A VYUČUJÍCÍ:

VÝSLEDKY UČENÍ:

Po absolvování kurzu budou účastníci znát základy teorie informace a porozumí principům kódování dat pro jejich přenos a uchovávání v informačních systémech. Naučí se pracovat s konečněautomatovými modely a využívat je například při analýze komunikačních protokolů.

Absolventi budou schopni aplikovat regulární jazyky a výrokový počet při řešení vybraných úloh z oblasti informatiky a umělé inteligence. Získané znalosti využijí při řešení provozních problémů informačních a komunikačních systémů i při návrhu softwarových nebo hardwarových řešení.

PRO DOSAŽENÍ ODBORNÝCH ZNALOSTÍ JSOU UŽÍVÁNY VYUČOVACÍ METODY:

Přednáška s aktivizací studentů,
Projektová výuka.

KATEGORIE

ORGANIZÁTOR:

Fakulta aplikovaných věd

ZKRATKA PŘEDMĚTU:

KIV/TI

TERMÍN ZÁPISU:

Od 1. 7. 2026 do 31. 8. 2026

TERMÍN KONÁNÍ:

Zimní semestr 2026/2027

(harmonogram akademického roku)

ROZVRH PŘEDMĚTU:

Přednáška:

Místnost – US 217

Pondělí 13:00 – 15:35

Cvičení:

Místnost – xx xxx

xxx xxx

Budova FAV, areál Bory

FORMA STUDIA:

Kontaktní výuka : 65h

Projekt individuální: 30h
Příprava na zkoušku: 50h

Příprava na dílčí test: 15h

ZPŮSOB ZAKONČENÍ:

6 KREDITY

CENA: 6000 Kč

Po kliknutí na tlačítko budete přesměrováni na web ePřihláška, kde se budete moci přihlásit ke studiu.

ADRESA

Univerzitní 22, Plzeň

DOPORUČENÉ KURZY

Další kurzy