Groupes de travail | Symfunc

Groupes de travail

NomDescriptionVolume horaire mensuel minimalNombre de participantsInscriptions
Analyse réelleRéels, suites, limites, continuité, dérivation, intégration.121Fermé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.

41Fermées
Common LispPour débutants: algorithmique, création de sites internet, concepts propres au lisp, etc.42Fermé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 :

  • une analyse de malware, document infecté, mail de phishing
  • une analyse forensique comme analyse RAM, analyse disque, analyse de logs
  • un challenge de sécurité offensive

42Fermées
EdukeraFormalisation, calcul propositionnel, logique des prédicats, théorie des ensembles, quelques résultats prouvés formellement.42Fermé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.

62Fermées
GuixÉtude de la distribution guix, du gestionnaire de packets guix, ainsi que des internals.12Fermées
KarmiquePreuve de concept sur améliorer sa productivité avec des processus aléatoires et un mécanisme de récompense.2/Fermées
MathrainingGroupe de travail sur le site mathraining.42Fermé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.43Fermées
Algèbre linéaireAcquisition de connaissances de base en algèbre linéaire.44Fermées
Algèbre généraleÉtude de la construction des principaux ensembles: N, Z, Q, R, C.24Fermées
OcamlApprentissage basique du langage de programmation Ocaml.14Fermées