Informatique théoriquevignette|Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique.
Les RobotsLes Robots (titre original : en) est un recueil de neuf nouvelles de science-fiction écrites par Isaac Asimov, publié la première fois par en en 1950 et traduit en France en 1967. Les nouvelles sont d'abord parues dans les magazines en et en dans les années 1940. Bien que ces nouvelles puissent se lire isolément, elles partagent le thème de l'interaction des humains, des robots et de la moralité ; combinées, elles offrent une vision plus importante de l'histoire fictionnelle de la robotique d'Asimov.
Trois lois de la robotiquevignette|upright=1|Réplique de Robby le robot du film Planète interdite, un robot de fiction régi lui aussi par les Trois lois de la robotique. Les Trois lois de la robotique, formulées en 1942 par les écrivains de science-fiction Isaac Asimov et John W. Campbell, sont des règles auxquelles tous les robots positroniques qui apparaissent dans leurs romans doivent obéir.
Pédagogies activesLa pédagogie active a pour objectif de rendre l'élève acteur de ses apprentissages. Si la pédagogie active est traduite dans le monde scientifique par le terme d'Active learning, l'expression dans le monde francophone peut également désigner les méthodes actives portées par des pédagogues comme Célestin Freinet et Maria Montessori.
