Programmation informatiquevignette|Liste d'instructions sur le Commodore 64 La programmation, appelée aussi codage dans le domaine informatique, désigne l'ensemble des activités qui permettent l'écriture des programmes informatiques. C'est une étape importante du développement de logiciels (voire de matériel). L'écriture d'un programme se fait dans un langage de programmation. Un logiciel est un ensemble de programmes (qui peuvent être écrits dans des langages de programmation différents) destiné à la réalisation de certaines tâches par un (ou plusieurs) utilisateurs du logiciel.
Programmation fonctionnelleLa programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques. Comme le changement d'état et la mutation des données ne peuvent pas être représentés par des évaluations de fonctions la programmation fonctionnelle ne les admet pas, au contraire elle met en avant l'application des fonctions, contrairement au modèle de programmation impérative qui met en avant les changements d'état.
Programmation déclarativevignette|Binario cropped. La programmation déclarative est un paradigme de programmation qui consiste à créer des applications sur la base de composants logiciels indépendants du contexte et ne comportant aucun état interne. Autrement dit, l'appel d'un de ces composants avec les mêmes arguments produit exactement le même résultat, quel que soit le moment et le contexte de l'appel. En programmation déclarative, on décrit le quoi, c'est-à-dire le problème.
Langage de programmationthumb|Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent. D'une manière similaire à une langue naturelle, un langage de programmation est composé d'un alphabet, d'un vocabulaire, de règles de grammaire, de significations, mais aussi d'un environnement de traduction censé rendre sa syntaxe compréhensible par la machine.
Programmation logiqueLa programmation logique est une forme de programmation qui définit les applications à l'aide : d'une base de faits : ensemble de faits élémentaires concernant le domaine visé par l'application, d'une base de règles : règles de logique associant des conséquences plus ou moins directes à ces faits, d'un moteur d'inférence (ou démonstrateur de théorème ) : exploite ces faits et ces règles en réaction à une question ou requête. Cette approche se révèle beaucoup plus souple que la définition d'une succession d'instructions que l'ordinateur exécuterait.
Programmation procéduraleEn informatique, la programmation procédurale est un paradigme qui se fonde sur le concept d'appel procédural. Une procédure, aussi appelée routine, sous-routine ou fonction (à ne pas confondre avec les fonctions de la programmation fonctionnelle reposant sur des fonctions mathématiques), contient simplement une série d'étapes à réaliser. N'importe quelle procédure peut être appelée à n'importe quelle étape de l'exécution du programme, y compris à l'intérieur d'autres procédures, voire dans la procédure elle-même (récursivité).
Capteur de proximitéLes capteurs de proximité ou détecteurs de présence sont des dispositifs autrefois mécaniques, mais aujourd'hui de plus en plus caractérisés par l'absence de liaison mécanique entre le dispositif de mesure et l’objet cible (personne, animal, objet animé tel qu'un véhicule). L'interaction entre le capteur et sa est alors réalisée par l’intermédiaire d’une caméra associée à un système d'analyse de l'image, ou plus souvent d'un champ (magnétique, électrique, électromagnétique) ou d'un capteur infrarouge.
Fusée de proximitéthumb|Fusée de proximité Mark 53 telle qu'utilisée par l’United States Navy. Photo prise dans les années 1950. Une fusée de proximité, conçue à l'origine pour l'artillerie antiaérienne, sert à déclencher la détonation d'un explosif quand la distance entre la fusée et la cible est plus petite qu'une certaine valeur ou quand la fusée atteint une certaine altitude en tombant. Cette fusée d'artillerie serait l'une des plus importantes innovations techniques militaires apparues lors de la Seconde Guerre mondiale.
Programmation par contraintesLa programmation par contraintes (PPC, ou CP pour constraint programming en anglais) est un paradigme de programmation apparu dans les années 1970 et 1980 permettant de résoudre des problèmes combinatoires de grande taille tels que les problèmes de planification et d'ordonnancement. En programmation par contraintes, on sépare la partie modélisation à l'aide de problèmes de satisfaction de contraintes (ou CSP pour Constraint Satisfaction Problem), de la partie résolution dont la particularité réside dans l'utilisation active des contraintes du problème pour réduire la taille de l'espace des solutions à parcourir (on parle de propagation de contraintes).
Magnetic proximity fuzeA magnetic proximity fuse was patented by P.J. Eliomarkakis, (United States Patent US2434551 of January 13, 1948) although similar devices had been in service for nearly a decade. It is a type of proximity fuze that initiates a detonator in a piece of ordnance such as a land mine, naval mine, depth charge, or shell when the fuse's magnetic equilibrium is upset by a magnetic object such as a tank or a submarine. Magnetic field sensors and movement sensors inside the ordnance detect changes to the terrestrial magnetic field of the ordnance caused by another ferromagnetic object.
