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.
MéthodologieLa méthodologie est l'étude de l'ensemble des méthodes scientifiques. Elle peut être considérée comme la science de la méthode, ou « méthode des méthodes » (comme il y a une métalinguistique ou linguistique des linguistiques et une métamathématique ou mathématique des mathématiques). Alors, la méthodologie est une classe de méthodes, une sorte de boîte à outils où chaque outil est une méthode de la même catégorie, comme il y a une méthodologie analytique du déterminisme causal et une méthodologie systémique finaliste de la téléologie.
Pédagogie de projetLa pédagogie de projet est une pratique de pédagogie active qui permet de générer des apprentissages à travers la réalisation d'une production concrète. Le projet peut être individuel (comme un exposé ou une maquette) ou collectif (l'organisation d'une fête, d'un voyage, d'un spectacle). Il est semblable à une En effet, lors de la démarche de projet, l’élève est placé en situation de résolution de problèmes, participant de fait au processus d’apprentissage.
Naturalisme (philosophie)En philosophie, le naturalisme est la conception d'après laquelle tout ce qui existe – objets et événements – peut être expliqué par des causes ou des principes naturels. Écartant toute forme de transcendance, le naturalisme conçoit l'activité philosophique dans le prolongement de l'activité scientifique. Le naturalisme ne doit être confondu ni avec le matérialisme, ni avec la Naturphilosophie de l'idéalisme allemand qui, au début du , prétendait donner une explication métaphysique à l'évolution du monde.
