Initiation aux preuves formelles

Voir la page dédiée. Cours de L1 double-licence (université Sorbonne Paris Nord) de mathématiques avec Coq.

Stage MathC2+ "du coq aux maths ou l'art de la preuve"

Voir la page dédiée. Séances de TP de logique avec Coq pour des élèves de seconde.

Double licence mathématiques et informatique

Shell (L1)

• Exercice informaticiens.pdf
• Fichier informaticiens.csv
• Slides CM7
• Sujet du TP6
• Sujet du TP7
• Slides CM6
• Un tutoriel sur "Windows Subsystem for Linux" et les sources
• Sujet du TP1 Corrigé du Tp1
• Sujet du TP2

Algorithmique CP2I 2

• Fichier qsort.c
• Fichier qsort.pdf

Algorithmique des graphes (L3 info, 2019-2020)

• Fichiers du TP 1 (2 séances)
• Sujet du TP 2 (1 séance)
• Sujet du TP 3 (2 séances)
• Fichiers du TP 3 (2 séances)
• Sujet du TP 4 (1 séance)
• Fichiers du TP 4 (1 séance)

Pour le DIU :

• sujet de TD/TP (pdf)
• pluviose.txt pluviose2.txt pluviose3.txt pluviose4.txt

Introduction à la programmation shell (L1 info, 2018-2019)

• sujet d'examen et son corrigé
• sujet de projet et consignes
• sujet de TP sur sed et les fables de La Fontaine
• sujet de TP sur les couleurs et styles dans le terminal
• sujet de TP : écriture de la commande op (pour open)

Algorithmique des graphes (L3 info, 2018-2019)

• sujet de TP sur les plus courts chemins et son corrigé

Langage C

• petit polycopié sur les entrées-sorties

Préparation à l'épreuve de modélisation de l'agrégation, option probabilités et statistiques (2016-2018)

Petits polycopiés de cours et exercices corrigés :

• introduction à scilab
• simulation de variables aléatoires et de processus

Probabilités et statistiques (L3 info, 2015-2018)

Le langage utilisé pour les TP est Matlab, mais bien sûr on peut utiliser GNU Octave

• sujets de TP : TP0, TP1, TP2, TP3.
• un petit document sur Matlab/GNU Octave
• examens :
  • mi-semestre 2017 ( corrigé ) et rattrapage 2017 ( corrigé )
  • mi-semestre 2016 ( corrigé )
  • mi-semestre 2015 ( corrigé )
• TP notés:
  • 2017 ( corrigé )
  • 2016 ( corrigé )
  • 2015