Teoretická informatika
From Wikipedia, the free encyclopedia
Teoretická informatika je oblast matematické informatiky a matematiky, která se zaměřuje na abstraktnější a matematické aspekty zpracování informací, které mají využití v počítačích a zpracování informací.
Přesně vymezit oblast teoretické informatiky není snadné; sdružení ACM SIGACT popisuje svůj obor takto:[1]
Obor teoretické informatiky se široce interpretuje jako obor zahrnující algoritmy, datové struktury, teorii složitosti, distribuované výpočty, paralelní výpočty, VLSI, strojové učení, počítačovou biologii, výpočetní geometrii, teorii informace, kryptografii, kvantové výpočty, počítačovou teorii čísel a algebru, sémantiku programovacích jazyků a verifikaci programů, teorii automatů a studium náhodnosti. Práce v tomto oboru se často vyznačuje důrazem na matematický přístup a přesnost.
Časopis Transactions on Computation Theory doplňuje teorii kódování, teorii učení a aspekty teoretické informatiky v takových oblastech jako jsou databáze, získávání informací, ekonomické modely a počítačové sítě.[2]