Dans les années 1930, Herbrand avait posé les conditions de validité d'une démonstration automatique. En 1953, Quine donnait une règle d'inférence originale ; définie pour l'ordre O, elle présentait ...

Les langages impératifs les plus anciens sont les langages machine des premiers ordinateurs. Dans ces langages, le jeu d'instructions était minimal, ce qui rendait l'implémentation hardware plus ...

Alerte déco, l’assiette murale est de retour ! Oubliez les préjugés qui le cantonne aux maisons de grand-mère, le mur d’assiettes DIY revient oui, mais empreint de modernité. La preuve avec notre ...

Lightbot est un jeu éducatif à destination des adultes et des enfants à partir de 12 ans. L'objectif est de guider un robot dans ses aventures au travers une interface minimaliste. C'est au travers ...

La nostalgie des années 1980 a fait son temps. L’affiche du Festival d’été de Québec renoue avec les grandes figures musicales du tournant des années 2000 : Limp Bizkit, Gwen Stefani, Kesha et Muse se ...

Grâce à son interface soignée et intuitive et au langage de programmation simple à prendre en main, LEGO Mindstorms EV3 est une excellente solution pour fabriquer, contrôler et programmer plusieurs ...