Teoretické základy informatiky
Studijní plán:
Předmět | Teoretické základy informatiky (TZI) |
Garantuje | Katedra technických studií (KTS) |
Garant | |
Jazyk | česky |
Počet kreditů | 5 |
Ekvivalent | |
Prezenční studium |
Přednáška | 2 h |
Cvičení | 2 h |
Studijní plán |
Typ |
Sem. |
Kred. |
Ukon. |
Aplikovaná informatika - platný od ZS 2007/2008
|
P |
1 |
5 kr. |
Z,ZK |
Aplikovaná informatika - platný od ZS 2009/2010
|
P |
1 |
5 kr. |
Z,ZK |
Počítačové systémy - kombi, platný od ZS 2008/2009
|
P |
1 |
5 kr. |
Z,ZK |
Počítačové systémy - kombi, platný od ZS 2009/2010
|
P |
1 |
5 kr. |
Z,ZK |
Počítačové systémy - kombi, platný od ZS 2011/2012
|
P |
1 |
5 kr. |
Z,ZK |
Počítačové systémy - platný od ZS 2006/2007
|
P |
1 |
5 kr. |
Z,ZK |
Počítačové systémy - platný od ZS 2009/2010
|
P |
1 |
5 kr. |
Z,ZK |
Sylabus
- Informatika a její teoretické základy
- Teorie množin
- Aplikace teorie množin v informatice
- Obecné pojetí teorie a algebry
- Formální logika (klasický výrokový a predikátový počet, deduktivní soustavy)
- Aplikace formální logiky v informatice
- Teorie grafů
- Grafové algoritmy
- Aplikace grafů v informatice
- Teorie algoritmů, vyčíslitelnost, automaty
- Pojem složitosti (časové a paměťové) algoritmů
- Teorie systémů
- Metodologické základy informačních systémů
- Rezerva
Doporučená literatura
- Mitášová, L.a kol.: Teorie systémů a kybernetika. Bratislava: ALFA, 1990
- Plesník, J.: Grafové algoritmy. Bratislava: VEDA, 1983
- Škrášek, J., Tichý, Z.: Základy aplikované matematiky I. Praha: SNTL, 1983
- Vaniček, J. a kol.: Teoretické základy informatiky. Kernberg Publishing, Praha, 2007
Anotace
Seznámit se:
- s pojetím informatiky a podstatou jednotlivých směrů,
- se speciálními oblastmi poznatků z teoretických disciplin (teorie algoritmů a vyčíslitelnost, teorie systémů, teoretické a metodologické základy IS).
Znát:
- základní oblasti teoretických disciplin (množiny, formální logika, grafy),
- možnosti použití základních teoretických oblastí v jednotlivých směrech informatiky a přímo v práci informatika.
Umět (mít návyky a dovednosti):
- Použít poznatky ze základních oblastí teoretických disciplin v konkrétní práci informatika (např. při hledání a zápisu algoritmů, při klasifikaci dat).
^ nahoru ^