'''Teoretická informatika ''' je teoretická zložka [[informatika|informatiky]]. Matematické metódy a matematické modely hrajú dôležitú úlohu tak pri formulácii a skúmaní algoritmov, ako aj pri konštrukcii počítačov. Nakoľko štruktúra počítačov smeruje k stále vyššej [[zložitosť|zložitosti]], zvyšuje sa aj stupeň abstrakcie zodpovedajúceho popisu. Na riešenie otázok z tejto oblasti sú potrebné dobré znalosti z ''modernej'' štrukturálnej matematiky, ktorá poskytuje celý rad formálnych metód na popis systémov. Kým však [[matematika|matematika]] uvažuje prevažne o statických štruktúrach, v informatike je spôsob myslenia charakterizovaný dynamickým priebehom [[proces (informatika)|procesov]]. Príkladmi podoblastí teoretickej informatiky sú [[teória formálnych jazykov|teória formálnych jazykov]], [[teória automatov|teória automatov]], [[teória zložitosti|teória zložitosti]], [[sémantika|sémantika]].
'''Informatika teoretická'''
[[informatika|informatika]] teoretická je teoretická zložka [[informatika|informatiky]]. Matematické metódy a matematické modely
hrajú dôležitú úlohu tak pri formulácii a skúmaní algoritmov, ako aj pri
konštrukcii počítačov. Nakoľko štruktúra počítačov smeruje k stále vyššej
[[zložitosť|zložitosti]], zvyšuje sa aj stupeň abstrakcie zodpovedajúceho popisu. Na
riešenie otázok z tejto oblasti sú potrebné dobré znalosti z ''modernej''
štrukturálnej matematiky, ktorá poskytuje celý rad formálnych metód na popis
systémov. Kým však [[matematika|matematika]] uvažuje prevažne o statických štruktúrach, v
informatike je spôsob myslenia charakterizovaný dynamickým priebehom
[[proces (informatika)|procesov (8)]]. Príkladmi podoblastí teoretickej informatiky sú
[[teória formálnych jazykov|teória formálnych jazykov]],
[[teória automatov|teória automatov]], [[teória zložitosti|teória zložitosti]], [[sémantika|sémantika]]
.
== Externé odkazy ==
* {{filit|fvi/informatika_teoreticka.html}}
[[Kategória:Informatika]]
{{filit na úpravu}}
== Informatika - literatúra o nej ==
[[informatika|informatika]] - literatúra o nej
Claus, V. - Schwill, A.:
== Pozri aj ==
[[informatika|informatika]]
[[informácia|informácia]]
[[informatika teoretická|informatika teoretická]]
[[INFORMIT|INFORMIT]]
[[informatika - literatúra o nej|literatúra o informatike]]
[[predstavitelia informatiky]]
[[spracovanie informácií|spracovanie informácií]]
[[teória vypočítateľnosti|teória vypočítateľnosti]]
[[informatika - významové útvary|útvary významové informatiky]] = informatický obraz sveta
== Informatika - významové útvary ==
[[informatika|informatika]]
[[algoritmus (informatika)|algoritmus (8)]]
[[cieľ človeka (informatika)|cieľ človeka (8)]]
[[človek (informatika)|človek (8)]]
[[dokument (informatika)|dokument (8)]]
[[entita (informatika)|entita (8)]]
[[gramatika (informatika)|gramatika (8)]]
[[jav informačný (informatika)|jav informačný (8)]]
[[komunikácia (informatika)|komunikácia (8)]]
[[konečnosť (informatika)|konečnosť (8)]]
[[objekt komunikačný (informatika)|objekt komunikačný (8)]]
[[organizmus (informatika)|organizmus (8)]]
[[počítač (informatika)|počítač (8)]]
[[premenná (informatika)|premenná (8)]]
[[prežívanie (informatika)|prežívanie (8)]]
[[proces (informatika)|proces (8)]]
[[program (informatika)|program (8)]]
[[psychika (informatika)|psychika (8)]]
[[smrť človeka (informatika)|smrť človeka (8)]]
[[stav (informatika)|stav (8)]]
[[súbor (informatika)|súbor (8)]]
[[život človeka (informatika)|život človeka (8)]]
|