Informační systém Vysoké školy polytechnické Jihlava
IS VŠPJ
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).
Pracuji, vyčkejte prosím