Accueil > Plan du site
Plan du site
Recherche
-
Papiers
- Anticipation Flowing Backwards in a Functional Monetary Economics Simulation
- Monetary Economics Simulation : Stock-Flow Consistent Invariance, Monadic Style
- An Abstract Approach to Stratification in Linear Logic publié
- Extensional filters reveal algorithms
- A characterization of the Taylor expansion of lambda-terms
- An Abstract Approach to Stratification in Linear Logic
- Elsevier considered harmful
- Non-uniform (hyper/multi)coherence spaces
- Thick Subtrees, Games and Experiments
- Projecting games on hypercoherences
- Hypercohérences et jeux
- Non uniform hypercoherences
-
Transparents
- Exposé pour l’anniversaire des 60 ans de Thomas Ehrhard
- Programming in a stock-flow consistent framework
- Thick Subtrees, Games and Experiments
- Sémantique des jeux (introduction)
- MELLpol, designs (games) and the relational model
- projecting games on hypercoherences
- Designs, strategies and cliques
- hypercohérences et jeux polarisés
- non uniform hypercoherences
- Soutenance
- Projets
Enseignement
-
Anciens cours (avant 2015-2016)
- Programmation avancée (L3)
- Initiation à la robotique (L1)
-
Bases de la programmation (DUT R&T 1)
- [cours 6] Jeu d’adresses
- [cours 5] Structurer les données, tableaux, structures
- [cours 4] fonctions et procédures
- [cours 2 et 3] Les boucles, la compilation, les booléens.
- [cours 1] Introduction à la programmation C. Premier if.
- Initiation à la programmation Bash 2
- Initiation à la programmation Bash 1
-
Programmation fonctionnelle (L3, 2013-2014)
- Ramasseuse d’étoiles
- Semaine 8 – Interprète d’un mini-langage (3)
- Graphismes pour le jeu en caml
- Semaine 7 – Interprète d’un mini-langage (2)
- Semaine 6 – Interprète d’un mini-langage (1)
- Semaine 5 – Aspects impératifs, graphiques
- Semaine 4 – récursion terminale (tail recursion), persistance, plus de syntaxe
- Semaine 3 – Arbres binaires de recherche
- Semaine 2 – Types sommes (sans paramètre)
- Semaine 1 — Premiers pas en Caml
- Programmation impérative (L1 2013-2014)
-
Algorithmique et programmation, puis bases de la programmation (DUT R&T 2012-2014)
- QCM 2 initiation au langage C
- Entraînement aux rudiments de C (cours 1 à 3) par QCM
- Cours 1 : architecture de von Neumann, amil
- Révisions du b.a.-ba du langage C en ligne (qcm)
- Cours 7 et 8 : pour aller un peu plus loin
- Cours 6 : extension des données : tableaux, chaînes et struct
- Cour 5 : la pile d’appel (et aussi char et double)
- Des lapins envahissent le TDTP4 !
- Cours 4 : fonctions (1)
- Cours 3 : la boucle while
- Cours 2 : les itérations (la boucle for)
- Cours 1 : introduction
-
Éléments d’informatique (L1 cours, TD, TP, 2008-2012+)
- EI : correction du TP 4 figures d’étoiles
- EI : Correction TP3 arbre de décision
- Tous les codes de cartes bleues !
- Annales en éléments d’informatique
- Quelques pointeurs web
- Outils pour apprendre le C chez soi
-
EI 2011-2012 (archive)
- Rattrapage
- Partiel de fin de semestre corrigé (janvier 2012)
- Cours 12 : introduction à l’indécidabilité
- Révisions en éléments d’informatique
- Cours 11 fonctions récursives, pile d’appel
- Cours 10 : struct
- Exercices 07, (08), 09, 10 (TD et TP)
- Cours 07 08 09 Fonctions et types
- Premier partiel en éléments d’informatique
- Cours 06 while, conditions booléennes et éléments d’algorithmes
- Contrôle de TP en EI
- Cours 05 tableaux (+scanf +contrôle de TP)
- Exercices 01 02 03 04 05 06 (TD et TP)
- Cours 04 Compilation, boucle for
- Cours 03 Programmation structurée, if en C
- Cours 02 Éléments de système
- Cours 01 Éléments d’architecture
-
EI 2010-2011 (archive)
- [Évaluation] Examen janvier 2011 (corrigé)
- TD 11 et TP 11 fonctions récursives, Syracuse
- TD 10 et TP 10 structs au chocolat
- TD 9 et TP 9 écriture et appels de fonctions et procédures, menu
- TD 7 et TP 7
- TD 8 et TP 8 écriture et appel de fonctions
- Cours 11 : pile d’appel, fonctions récursives
- Cours 10 : structures (enregistrements)
- Cours 8 et 9 : fonctions (1)
- Cours 7 : types de données, représentations en binaire
- TD 6
- Cours 6 : exemples de programmes
- TD 5
- TD/TP 4
- Cours 5 : tableaux unidimensionnels statiques, while, expressions booléennes
- Cours 4 : compilation, boucle for, printf/scanf (1)
- Cours 3 : programmation structurée, if, #define
- Cours 2 : éléments de systèmes d’exploitation
- TD/TP 3
- TD/TP 2
- TD/TP 1
- Cours 1 : éléments d’architecture des ordinateurs
- Prérentrée L1
- Petits exercices de programmation C
-
EI 2009-2010 (archive)
- TD 11 corrigé
- Partiel de fin de semestre 2008-2009
- cours 11 : fonctions récursives (et rappels sur les fonctions)
- Cours 8 : retour sur le while et indécidabilité de l’arrêt
- TP 11 sujet
- TD 10 sujet
- TP 9
- TD 9 sans corrigé
- TP 7 et corrigé
- TD 7 sans corrigé
- Partiel de mi-semestre 2009
- Cours 6 : types de données, entrées utilisateur avec scanf
- Partiel de mi-semestre 2008
- TD 6 avec corrigé
- TP 6 (sans corrigé)
- TD 5 avec corrigé
- Cours 5 : tableaux unidimensionnels statiques
- Pour en apprendre plus sur l’environnement linux en salles TP
- TP 4 et corrigé
- TD 4 et corrigé
- Cours 4 : compilation et for
- Cours 3 : premiers pas en C
- TP 3 et corrigé
- TD 3 et corrigé
- TD 2 et corrigé
- TD 1 et corrigé
- TP 2 (version longue) : premiers pas en C
- TP 1 programmation en mini-assembleur
- L1 Prérentrée 2009 en informatique
- EI 2008-2009 (archive)
- Mini-cours ou conférences autour du web
-
Algorithmique et arbres (L2 cours/TD 2005-2011)
- [Cours] Deuxième partie du cours (poly)
- [Cours] Première partie du cours (poly)
- [Cours] Le support de cours (2011)
- [exos] 07 Arbres rouge noir
- [exos] 06 Les arbres binaires de recherche
- [exos] 05 Les tas, les files et les pâtons
- [Évaluation] Partiel mars 2011
- [cours] Transparents du dernier cours (5/05/08)
- [code] listes chaînées, piles, files
- [Évaluation] sujets d’examens
- [code] Implantation des arbres binaires de recherche du lundi 7/04 2008
- [Démo] Applet arbres binaires
- Références bibliographiques et démos (applets)
- 2005-2006
- 2006-2007
- 2007-2008
- 2008-2009
-
2009-2010
- [Évaluation] Examen juin 2010
- [Évaluation] Partiel mai 2010
- [Évaluation] Partiel mars 2010
- [poly] polycopié complet (révision mai 2010)
- [exos] suite TD 03 tri par base et compléments
- [poly] polycopié première partie
- [exos] TD 03 Rechercher et trier
- [exos] TD 02 Optimisation, optimalité, notation asymptotique
- [exos] TD 01 récursivité
- Logique, interaction et complexité (M2 PLS, cours, 2009-2010)
- Conduite et gestion de projets (M1, suivi)
- Administration de parc informatique (cours sur machines, L2, 2009-2010)
- Architecture et système (L2, TD/TP, 2009-2010)
- Systèmes d’exploitation (TD/TP ing. 1 info, 2007-2009)
- Calculabilité (TD, L3 info, 2007-2009)
- Initiation aux interfaces graphiques et au web (L1 TD/TP, 2005-2007)
- Architecture, systèmes, réseaux (L2 TD/TP, 2005-2008)
- Sûreté et sécurité (M2)
- Flux de données en programmation (M2)
- Modélisation et Robotique (L1)
- Paradigmes de programmation (ing. 3)
- Fondements de la programmation (M1)
- Programmation pour la robotique (ing. 2)
Sites Web
- Conduite et gestion de projets M1
- Master 2 PLS
- Page de Jean-Yves Moyen (responsable du cours API)
- Page enseignement de Laurent Poinsot
- Sophie Toulouse
Administration
Articles
Autres réalisations (logiciels, etc.)
Articles
- Bluehats & UnivMobile
- Mon université en 2030
- Thymio, Python et Asebamedulla
- des QCM en ligne grâce à org-mode (et jQuery, et MathJax)
- Pain : application web de gestion des services d’enseignement
- Amil : assembleur miniature pour l’informatique de licence
Café
Articles
- Expérience du désir
- Enseigner la programmation
- Revenu et logement
- Revenu et travail d’un enseignant-chercheur
- Paris 13 Villetaneuse, pas encore la vélorution !
- Cybersyn (el systemo synco)
Divers
Articles
- Affiche CiE 2016
- Augmenter l’espace de stockage d’un hote GNU/Linux (VirtualBox etc.)
- AperoTIC sur les réseaux sociaux
- ADULLACT
- Hacker l’éducation (Open bidouille camp 2 // Fac lab de Gennevilliers)
- Expo : et l’Homme… créa le robot
- MathJax
- Onglets dans un rapport $\LaTeX$
- Logo LIPN et accessoires
- Ventilo pour ibook (retrouvé)