le wiki du gnan club

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.

Aujourd'hui au Club, il y avait :
  - Noé
  - Gaétan
  - Jonathan

Noé a travaillé sur son Pong pour Amstrad. Il veut ajouter des "pouvoirs".

Gaétan et Jonathan ont d'abord joué avec un environnement de programmation avec la réalité augmentée : https://laboratoryforplayfulcomputation.github.io/arcadia/ (mais d'abord ils ont fait une //pull request// sur la documentation de cet outil : https://github.com/LaboratoryForPlayfulComputation/arcadia/pull/4).

Puis ils ont fait de la logique sur http://incredible.pm/ . Ils ont bien galéré à démontrer que ''¬¬(A ∨ ¬A)'' est une tautologie, sans utiliser le tiers-exclu.

Enfin, Gaétan avait un problème pour coller une grosse liste de nombres dans son programme Python. Il a appris que ''"""'' permettait de mettre une chaîne sur plusieurs lignes.

le wiki du gnan club

Outils pour utilisateurs

Outils du site

Outils de la page