die theoretische informatik erforscht und entwickelt konzepte zur darstellung von geräten und prozessen als formal logische systeme; damit ist sie die grundlage für die programmierung. duden informatik gymnasiale oberstufe - neubearbeitung schulbuch für die ne