L'informatica è la scienza che studia i fondamenti teorici e pratici dell'elaborazione automatica delle informazioni tramite l'uso di sistemi computazionali. Essa si occupa di rappresentare, memorizzare, trasmettere ed elaborare dati in modo efficiente e sicuro. I suoi ambiti di applicazione spaziano dalla progettazione di hardware e software, allo sviluppo di algoritmi, fino all'intelligenza artificiale e alla sicurezza informatica. Gli approcci formali dell'informatica includono l'uso della logica matematica, della teoria degli automi, della teoria della computazione e della complessità computazionale, che forniscono strumenti rigorosi per analizzare e verificare il comportamento dei programmi e dei sistemi informatici, garantendone correttezza e affidabilità.
In questa sezione tratteremo di alcuni temi fondamentali che costituiscono l'informatica nella sua accezione più pura.