Groupes de travail
Nom | Description | Volume horaire mensuel minimal | Nombre de participants | Inscriptions |
Analyse réelle | Réels, suites, limites, continuité, dérivation, intégration. | 12 | 1 | Fermées |
Arithmétique | Historiquement, le groupe de travail d'arithmétique a été créé pour voir les bases manquantes en algèbre abstraite, algèbre commutative, et géométrie algébrique. Il s'agit de voir les principaux résultats d'arithmétique comme le théorème fondamental, les groupes, les corps, dans le cadre de la théorie des nombres. | 4 | 1 | Fermées |
Common Lisp | Pour débutants: algorithmique, création de sites internet, concepts propres au lisp, etc. | 4 | 2 | Fermées |
Cybersécurité | 1 challenge par semaine avec obligation de moyens mais pas de résultats = obligation de publier ses recherches sur le challenge même si on n'a pas réussi à le résoudre Types de challenges :
| 4 | 2 | Fermées |
Edukera | Formalisation, calcul propositionnel, logique des prédicats, théorie des ensembles, quelques résultats prouvés formellement. | 4 | 2 | Fermées |
Géométrie algébrique | Le but de ce groupe de travail est de pouvoir comprendre des notions basiques en géométrie algébrique depuis zéro. Nous partons de la logique, la théorie des ensembles, puis remontons via l'algèbre abstraite, l'algèbre commutative, pour arriver à la géométrie algébrique. À moyen terme, notre objectif est de finir de A à Z l'ouvrage "Algebraic curves - An introduction to algebraic geometry", de W. Fulton. Après de nombreux tests, nous avons constaté que certains raisonnements particuliers n'étaient enseignés que dans des matières annexes, telles que l'algèbre linéaire ou la théorie des groupes. Par ailleurs, le niveau mathématique général des ouvrages de géométrie algébrique étant en général assez avancé, le niveau de détail ne permet pas à un groupe d'autodidactes de comprendre facilement. Pour ces raisons, nous ferons au besoin des excursions dans d'autres disciplines afin d'enrichir notre culture mathématique générale, qui est indispensable au vu du niveau des ouvrages de géométrie algébrique. | 6 | 2 | Fermées |
Guix | Étude de la distribution guix, du gestionnaire de packets guix, ainsi que des internals. | 1 | 2 | Fermées |
Karmique | Preuve de concept sur améliorer sa productivité avec des processus aléatoires et un mécanisme de récompense. | 2 | / | Fermées |
Mathraining | Groupe de travail sur le site mathraining. | 4 | 2 | Fermées |
Théorie des types et lambda-calcul | Étude des notes de cours de Selinger sur le lambda-calcul, puis Types and proof de J.Y. Girard. | 4 | 3 | Fermées |
Algèbre linéaire | Acquisition de connaissances de base en algèbre linéaire. | 4 | 4 | Fermées |
Algèbre générale | Étude de la construction des principaux ensembles: N, Z, Q, R, C. | 2 | 4 | Fermées |
Ocaml | Apprentissage basique du langage de programmation Ocaml. | 1 | 4 | Fermées |