Informatik ist die Wissenschaft von der systematischen Verarbeitung von Informationen, insbesondere der automatischen Verarbeitung mit Hilfe von Rechenanlagen. Historisch hat sich die Informatik als Wissenschaft aus der Mathematik entwickelt, während die Entwicklung der ersten Rechenanlagen ihre Ursprünge in der Elektrotechnik und Nachrichtentechnik hat. Dennoch stellen Computer nur ein Werkzeug und Medium der Informatik dar, um die theoretischen Konzepte praktisch umzusetzen.
Die Theoretische Informatik beschäftigt sich mit der Theorie formaler Sprachen bzw. Automatentheorie, Berechenbarkeits- und Komplexitätstheorie, Graphentheorie, Kryptologie, Logik (u. a. Aussagenlogik und Prädikatenlogik), formaler Semantik und bietet Grundlagen für den Bau von Compilern von Programmiersprachen und die mathematische Formalisierung von Problemstellungen. Sie ist somit das formale Rückgrat der Informatik.
Die praktische Informatik beschäftigt sich mit der Lösung von konkreten Problemen der Informatik und insbesondere der Entwicklung von Computerprogrammen in der Softwaretechnik. Sie liefert die grundlegenden Konzepte zur Lösung von Standardaufgaben, wie die Speicherung und Verwaltung der Informationen mittels Datenstrukturen. Einen wichtigen Stellenwert haben dabei die Algorithmen, die Musterlösungen für häufige oder schwierige Aufgaben bereitstellen. Eines der zentralen Themen der Informatik ist die Softwaretechnik, die ebenfalls in den Bereich der praktischen Informatik fällt. Sie beschäftigt sich mit der systematischen Erstellung von Software. Dabei werden die Ergebnisse aller anderen Bereiche, wie Algorithmen und Programmiersprachen, eingesetzt. Zusätzlich werden aber auch Konzepte und Lösungsvorschläge für große Softwareprojekte entwickelt, die einen wiederholbaren Prozess von der Idee bis zur fertigen Software erlauben sollen. Dabei ist die eigentliche Programmierarbeit, die so genannte Implementierung, nur noch ein kleiner Teil des Gesamtprozesses.
Die Praktische Informatik stellt insbesondere auch die Werkzeuge zur Softwareentwicklung bereit. So werden Compiler für die Programmiersprachen wie Visual Basic, Java, Delphi oder C++ entwickelt. Compiler sind selbst Computerprogramme, die eine Computersprache in eine andere übersetzen. Sie erlauben es also einem Programmierer in einer für Menschen leichter verständlichen Sprache zu arbeiten. Der Compiler übersetzt das Programm später in den Maschinencode, der sehr „natürlichen“ Sprache des Computers. Insbesondere auf diesem Gebiet hat die Zusammenarbeit zwischen Praktischer und Theoretischer Informatik zu bahnbrechenden Verbesserungen geführt. Nur durch die Grundlage der formalen Sprachen ist die effiziente Erstellung von modernen Computersprachen möglich. Übersetzer werden auch an vielen anderen Stellen in der Informatik verwendet. Zum Beispiel beim Übersetzen von HTML-Code in ein gut lesbares Dokument.
Neben diesen Grundlagen wendet sich die Praktische Informatik auch speziellen Lösungen für bestimmte Aufgaben zu. Hier sind insbesondere die Betriebssysteme und zunehmend die Datenbanktechnologie zu nennen. Sie verwalten die Betriebsmittel eines Computers und garantieren die zuverlässige Speicherung aller Informationen. Auf Grund der essentiellen Bedeutung dieser hochkomplexen Softwaresysteme, sind zahlreiche Algorithmen für den Einsatz in Betriebssystemen und Datenbanken entwickelt worden.
Die Technische Informatik befasst sich mit den hardwareseitigen Grundlagen der Informatik wie etwa der Mikroprozessortechnik, Rechnerarchitekturen und verteilten Systemen. Damit stellt sie ein Bindeglied zur Elektrotechnik dar.