La Nuit du code révèle le talent de jeunes passionnés d’informatique. Trois lycéens de Condom (Gers) ont conçu un jeu vidéo ...

En programmation impérative, on travaille sur le modèle des machines à états (cf Automate fini, machine de Turing et Architecture de von Neumann), avec une mémoire centrale et des instructions qui ...

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 ...

Avec leur objet connecté, quatre élèves de seconde du lycée des Andaines de La Ferté-Macé (Orne) ont remporté un prix national au concours Yes we code.

Découvrez le sujet 2026 de NSI, numérique et sciences informatiques, une épreuve technique de spécialité au bac 2026.

Programmation orientée objet, arbre binaire de recherche, algorithme de chiffrement… Voici les sujets pour l’enseignement de spécialité du Numérique et sciences informatiques (NSI) de l’épreuve du bac ...

Dates prévues de début et de fin du contrat : du 1er août 2026 au 31 juillet 2027, avec possibilité de renouvellement. Le laboratoire Silva est à la recherche d’un assistant de recherche pour soutenir ...