Ordinateur
Un ordinateur est un système de traitement de l'information programmable tel que défini par Alan Turing et qui fonctionne par la lecture séquentielle d'un ensemble d'instructions, organisées en programmes, qui lui font exécuter des opérations logiques et arithmétiques. Sa structure physique actuelle fait que toutes les opérations reposent sur la logique binaire et sur des nombres formés à partir de chiffres binaires. Dès sa mise sous tension, un ordinateur exécute, l'une après l'autre, des instructions qui lui font lire, manipuler, puis réécrire un ensemble de données déterminées par une mémoire morte d'amorçage. Des tests et des sauts conditionnels permettent de passer à l'instruction suivante et donc d'agir différemment en fonction des données ou des nécessités du moment ou de l'environnement.
Mathématiques computationnelles
Les mathématiques computationnelles consistent le plus souvent à utiliser les mathématiques pour permettre ou améliorer les calculs informatiques en mathématiques appliquées. Néanmoins, elles peuvent également faire référence à l'utilisation d'ordinateurs dans le champ mathématique lui-même. Cette utilisation des ordinateurs comprend les calculs mathématiques avec le calcul formel, l'étude de ce qui peut (ou ne peut pas) être informatisé en mathématiques avec les , quelques calculs peuvent être effectués avec la technologie actuelle de la théorie de la complexité et quelles preuves peuvent utiliser des assistants de preuve.