Archives du mot-clé logique

Castor : un concours informatique

Présentation du concours par Quentin et Amandine, TS1

Le concours Castor est un concours basé sur l’informatique. Il est plutôt facilement accessible puisqu’il est ouvert aussi bien aux filières générales qu’aux filières professionnelles, et du CM1 à la terminale.

Ce concours consiste en une série de petits jeux de logique qui sont applicables dans le domaine informatique. Un temps est imparti aux candidats (45 minutes). Chaque jeu a différents niveaux de difficulté allant du plus simple (2 étoiles) au plus difficile (4 étoiles). Un classement s’établit au niveau scolaire. un participant bien classé peut accéder au second tour : il s’agit du concours Algoréa, se basant sur la programmation.

En savoir plus : infos du site du concours CASTOR 

Le Castor Informatique a été créé en Lituanie en 2004, et est organisé dans 50 pays, dont la France depuis 2011. Chaque pays organise le concours indépendamment à la même période, en suivant des règles communes. Les pays se réunissent chaque année pour préparer un ensemble de questions, parmi lesquelles chacun effectue sa propre sélection de sujets. Plus de 1,3 million d’élèves ont participé au concours Castor 2015 dans le monde.

Dans les traces d’Alan Turing

Cette année, onze élèves de terminale S du lycée Jean Monnet ont participé au premier tour du concours Castor Informatique les 14 et 16 novembre dernier.

Le concours Castor Informatique vise à faire découvrir aux jeunes l’informatique et les sciences du numérique. (aller voir le site)

Le concours est organisé tous les ans, au mois de novembre. Il se déroule sous la supervision d’un enseignant, en salle informatique.

Parmi eux, deux se sont qualifiés pour le deuxième tour, le concours Algoréa.

diplome-amandinediplome-quentin

Il s’agira cette fois de réaliser des petits programmes ! Il aura lieu entre le 5 et le 17 janvier 2017.

C. Parcelier

Une machine qui raisonne ?

Une conférence sur les mathématiques logiques au lycée Jean  Monnet

Avec un peu de décalage, voici l’excellent article au sujet de la conférence d’Agnès Arnould, il a été écrit conjointement par quatre élèves de première S1 à partir des comptes rendus de l’ensemble des élèves de la classe.

« Logique ou comment faire raisonner la machine :
application à la biologie »

C’est le mardi 26 janvier 2016 que des élèves du lycée Jean Monnet ont assisté à une conférence portée sur les mathématiques logiques.
Mme Agnès Arnould, une enseignante chercheuse à l’université de Poitiers, était chargée de faire partager les connaissances qu’elle avait sur le sujet.
La mise en condition fut compliquée au départ pour les lycéens qui avaient, au préalable, très peu entendu parler des « mathématiques logiques », « tables de vérités » ou encore « biochimie ».

logique du Chat source : lewebpedagogique.com

« Certaines choses étaient complexes à comprendre » disent certains élèves, tandis que d’autres ont trouvé l’intervention « intéressante » mais néanmoins « compliquée ».

Agnès Arnould a longtemps travaillé sur une thèse qui n’a malheureusement pas pu aboutir.
Pour que ses explications ne paraissent pas totalement étrangères à son public, l’enseignante illustrait ses propos avec des anecdotes sur l’histoire d’Alan Turing ou bien encore avec la modélisation du fonctionnement d’un ascenseur.
Bien que cette conférence ne fut pas assimilée par l’ensemble de son auditoire, elle a su stimuler le sens observateur et la curiosité des étudiants. Et qui sait, pourquoi pas orienter les projets professionnels futurs de certains élèves !

 Thiaré F., Solenne H., Louis V.,  Julie M.