Cette branche est le fondement théorique de l'informatique. Elle est basé sur diverses théories développées il y a plus d'un siècle.
Ces théories sont basées sur le système de numération binaire. qui est aux ordinateurs ce que le système décimal est à l'homme. La branche des mathématiques appelée 'Logique', notemment avec l'agèbre de Boole et les théorème de De Morgan, constitue la base des concepts de l'informatique, dont le plus important et le bit, ainsi que les opérateurs logiques (ET, OU, NON ).
Ces éléments constitue la base de la composante matérielle de l'informatique, dont le processeur est le plus important.
Les tâches réalisées par les processeurs actuels, leur complexité a évolué de manière fulgurante ; cependant, même le plus évolué des processeurs est toujours basé sur ces même concepts.