Symbole (informatique)En programmation informatique, un symbole est une étiquette apposée sur certains éléments du code objet, du bytecode ou d'un arbre syntaxique abstrait, permettant de les identifier sous cette forme transformée du code source. Un symbole est très proche d'un identificateur du langage source, mais le concept d'identificateur ne recouvre pas totalement le concept de symbole. Le meilleur exemple en est la décoration de nom effectué par les compilateurs C++ qui consiste à trouver un symbole unique pour un identificateur dont le nom est surchargé.
Théorie des automatesEn informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul.
Stepping (debugging)Program animation or stepping refers to the debugging method of executing code one instruction or line at a time. The programmer may examine the state of the program, machine, and related data before and after execution of a particular line of code. This allows the programmer to evaluate the effects of each statement or instruction in isolation, and thereby gain insight into the behavior (or misbehavior) of the executing program. Nearly all modern IDEs and debuggers support this mode of execution.
Indice de réfractionvignette|Image des fronts d'onde émis par une source ponctuelle mettant en évidence le phénomène de réfraction. La zone inférieure située sous la ligne grise a un plus grand indice de réfraction et donc une vitesse de propagation proportionnellement inférieure à celle de la zone supérieure (pour une raison de clarté, la réflexion partielle n'est pas montrée).
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.
Lunette astronomiqueUne lunette astronomique ou lunette de Kepler est un instrument d'optique composé de lentilles et permettant d'augmenter la luminosité et la taille apparente des objets du ciel lors de leur observation. Équipée d'un redresseur d'image, elle se comporte alors en lunette d'approche. Développée à partir de la fin du , la lunette astronomique est utilisée à partir de 1609 pour faire des observations systématiques du ciel. Son invention n'est pas précisément attribuée.
Exploration spatialevignette|Les premiers pas d'humains sur la Lune : Buzz Aldrin photographié par Neil Armstrong sur la surface lunaire le pour la mission Apollo 11. L'exploration spatiale est l'ensemble des activités qui sont réalisées dans l'espace. Elles reposent sur des techniques spécifiques relevant de l'astronautique qui permettent la réalisation de lanceurs, de satellites, de sondes spatiales, d'équipements et d'instruments spécifiques. L'exploration de l'espace remplit des objectifs scientifiques, économiques, ou militaires.
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é).
Lois de Snell-Descartesvignette|upright=1.5|Les bulles de gaz dissous ou de vapeur d'eau, bien qu'elles soient transparentes, peuvent être visibles grâce aux reflets sur leur surface (réfraction et réflexion observant les lois de Snell-Descartes). Les lois de Snell-Descartes décrivent le comportement de la lumière à l'interface de deux milieux. Ces lois sont au nombre de quatre, deux pour la réflexion et deux pour la réfraction. Avec la propagation rectiligne de la lumière dans les milieux homogènes et isotropes, ces lois sont à la base de l'optique géométrique.
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).
Automate cellulairethumb|250px|right| À gauche, une règle locale simple : une cellule passe d'un état (i) au suivant (i+1) dans le cycle d'états dès que i+1 est présent dans au moins 3 des 8 cellules voisines. À droite, le résultat (complexe) de l'application répétée de cette règle sur une grille de cellules. Ce type d'automates cellulaires a été découvert par D. Griffeath. Un automate cellulaire consiste en une grille régulière de « cellules » contenant chacune un « état » choisi parmi un ensemble fini et qui peut évoluer au cours du temps.
Isaac NewtonIsaac Newton ( J – J, ou G – G) est un mathématicien, physicien, philosophe, alchimiste, astronome et théologien anglais, puis britannique. Figure emblématique des sciences, il est surtout reconnu pour avoir fondé la mécanique classique, pour sa théorie de la gravitation universelle et la création, en concurrence avec Gottfried Wilhelm Leibniz, du calcul infinitésimal. En optique, il a développé une théorie de la couleur fondée sur l'observation selon laquelle un prisme décompose la lumière blanche en un spectre visible.
