Instrumentation (science)En sciences, l’instrumentation est une technique de mise en œuvre d’instruments de mesure, d’actionneurs, de capteurs, de régulateurs, en vue de créer un système d'acquisition de données ou de commande. L'instrumentation est utilisée dans divers domaines et secteurs d'activités (industrie, recherche et développement, universités). Elle va par exemple permettre : d'automatiser ; de faire des tests sur des produits (exemple : crash test) ; d'observer des phénomènes (travaux pratiques dans l'éducation) ; de simuler des vieillissements (tests répétitifs) ; de faire des contrôles qualité (sur des chaînes de production) ; d'alerter ou de surveiller.
SmalltalkSmalltalk est un langage de programmation orienté objet, réflexif et dynamiquement typé. Il fut l'un des premiers langages de programmation à disposer d'un environnement de développement intégré complètement graphique. Il a été créé en 1972. Il est inspiré par les langages Lisp et Simula. Il a été conçu par Alan Kay, Dan Ingals, Ted Kaehler, Adele Goldberg au Palo Alto Research Center de Xerox. Le langage a été formalisé en tant que Smalltalk-80 et est depuis utilisé par un grand nombre de personnes.
Abstraction (mathematics)Abstraction in mathematics is the process of extracting the underlying structures, patterns or properties of a mathematical concept, removing any dependence on real world objects with which it might originally have been connected, and generalizing it so that it has wider applications or matching among other abstract descriptions of equivalent phenomena. Two of the most highly abstract areas of modern mathematics are and model theory.
Human–animal communicationHuman–animal communication is the communication observed between humans and other animals, ranging from non-verbal cues and vocalizations to the use of language. Some human–animal communication may be observed in casual circumstances, such as the interactions between pets and their owners, which can reflect a form of spoken, while not necessarily verbal dialogue. A dog being scolded is able to grasp the message by interpreting cues such as the owner's stance, tone of voice, and body language.
Thèse de ChurchLa thèse de Church est une thèse concernant la définition de la notion de calculabilité. Dans une forme dite « physique », elle affirme que la notion physique de la calculabilité, définie comme étant tout traitement systématique réalisable par un processus physique ou mécanique, peut être exprimée par un ensemble de règles de calcul, défini de plusieurs façons dont on a pu démontrer mathématiquement qu'elles sont équivalentes.
