Contributions de Hyvernat

13 février 2008

• 15:4013 février 2008 à 15:40 diff hist +56‎ MATH0980 : contenu algorithmique des démonstrations mathématiques ‎ →‎Nouvelles
• 13:3113 février 2008 à 13:31 diff hist +148‎ MATH0980 : contenu algorithmique des démonstrations mathématiques ‎ →‎Quelques références
• 13:2113 février 2008 à 13:21 diff hist +111‎ INFO803 : informatique ‎ →‎La "programmation dynamique" actuelle
• 13:1913 février 2008 à 13:19 diff hist +81‎ INFO803 : informatique ‎ →‎Organisation des séances
• 13:1813 février 2008 à 13:18 diff hist +838‎ INFO614 : Mathématiques pour l'informatique ‎ →‎Nombres premiers
• 13:0313 février 2008 à 13:03 diff hist +101‎ INFO614 : Mathématiques pour l'informatique ‎ →‎Les support de TD et TP
• 13:0113 février 2008 à 13:01 diff hist +95‎ INFO614 : Mathématiques pour l'informatique ‎ →‎Nouvelles

6 février 2008

• 14:596 février 2008 à 14:59 diff hist +84‎ INFO803 : informatique ‎ →‎Les support de TD et TP
• 14:586 février 2008 à 14:58 diff hist +77‎ INFO803 : informatique ‎ →‎Un exemple intéressant : multiplication d'une chaîne de matrices
• 14:576 février 2008 à 14:57 diff hist +252‎ INFO803 : informatique ‎ →‎Organisation des séances

5 février 2008

• 09:165 février 2008 à 09:16 diff hist +406‎ INFO614 : Mathématiques pour l'informatique ‎ →‎Arithménique
• 09:125 février 2008 à 09:12 diff hist +104‎ m INFO614 : Mathématiques pour l'informatique ‎ →‎Les support de TD et TP
• 09:095 février 2008 à 09:09 diff hist −117‎ m INFO614 : Mathématiques pour l'informatique ‎ →‎Détails techniques sur le cours

4 février 2008

• 15:024 février 2008 à 15:02 diff hist +4 321‎ MATH0980 : contenu algorithmique des démonstrations mathématiques ‎ →‎Le <math>\lambda</math>-calcul...
• 13:384 février 2008 à 13:38 diff hist +21‎ m MATH0980 : contenu algorithmique des démonstrations mathématiques ‎ →‎Contenu algorithmique des démonstrations mathématiques
• 11:084 février 2008 à 11:08 diff hist −7‎ m MATH0980 : contenu algorithmique des démonstrations mathématiques ‎ →‎Quelques références
• 11:064 février 2008 à 11:06 diff hist +252‎ MATH0980 : contenu algorithmique des démonstrations mathématiques ‎ →‎Quelques références
• 09:444 février 2008 à 09:44 diff hist +152‎ MATH0980 : contenu algorithmique des démonstrations mathématiques ‎ →‎Quelques références

30 janvier 2008

• 14:5830 janvier 2008 à 14:58 diff hist +980‎ INFO803 : informatique ‎ →‎Les support de TD et TP
• 14:0030 janvier 2008 à 14:00 diff hist +256‎ INFO803 : informatique ‎ →‎Un exemple instructif : calcul d'un puissance
• 13:4930 janvier 2008 à 13:49 diff hist +83‎ INFO803 : informatique ‎ →‎Les support de TD et TP
• 13:4630 janvier 2008 à 13:46 diff hist +105‎ INFO803 : informatique ‎ →‎Organisation des séances

29 janvier 2008

• 15:3229 janvier 2008 à 15:32 diff hist +186‎ INFO614 : Mathématiques pour l'informatique ‎ →‎Nouvelles

23 janvier 2008

• 10:4723 janvier 2008 à 10:47 diff hist +79‎ m INFO803 : informatique ‎ →‎Les support de TD et TP
• 10:4523 janvier 2008 à 10:45 diff hist +112‎ m INFO803 : informatique ‎ →‎Organisation des séances
• 08:2523 janvier 2008 à 08:25 diff hist +195‎ m MATH0980 : contenu algorithmique des démonstrations mathématiques ‎ →‎Plan (provisoire) du cours
• 08:2323 janvier 2008 à 08:23 diff hist +160‎ m MATH0980 : contenu algorithmique des démonstrations mathématiques ‎ →‎Nouvelles
• 08:2223 janvier 2008 à 08:22 diff hist +73‎ Accueil ‎ le cours math980 revient !
• 08:2223 janvier 2008 à 08:22 diff hist +227‎ Utilisateur:Hyvernat ‎Aucun résumé des modifications
• 08:1923 janvier 2008 à 08:19 diff hist +93‎ m INFO803 : informatique ‎ →‎Détails techniques sur le cours

22 janvier 2008

• 09:2822 janvier 2008 à 09:28 diff hist −2‎ m INFO614 : Mathématiques pour l'informatique ‎ →‎Nouvelles
• 09:2822 janvier 2008 à 09:28 diff hist +253‎ m INFO614 : Mathématiques pour l'informatique ‎ →‎Nouvelles

21 janvier 2008

• 14:0421 janvier 2008 à 14:04 diff hist −3‎ INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes ‎ →‎Type de données algébrique

17 janvier 2008

• 14:2517 janvier 2008 à 14:25 diff hist +177‎ m INFO803 : informatique ‎ →‎Nouvelles
• 14:2217 janvier 2008 à 14:22 diff hist +1 689‎ INFO803 : informatique ‎ →‎Introduction, quelques dates

16 janvier 2008

• 17:3316 janvier 2008 à 17:33 diff hist +82‎ m INFO614 : Mathématiques pour l'informatique ‎ →‎Les support de TD et TP
• 17:2216 janvier 2008 à 17:22 diff hist +257‎ Utilisateur:Hyvernat ‎Aucun résumé des modifications
• 16:4116 janvier 2008 à 16:41 diff hist +1 022‎ INFO803 : informatique ‎ →‎Un exemple instructif : calcul d'un puissance
• 16:1616 janvier 2008 à 16:16 diff hist +803‎ N Discussion:INFO803 : informatique ‎ Combien de secondes dans une année ? actuelle
• 16:1016 janvier 2008 à 16:10 diff hist +7 240‎ N INFO803 : informatique ‎ creation initiale de la page...
• 15:5816 janvier 2008 à 15:58 diff hist −89‎ m INFO614 : Mathématiques pour l'informatique ‎ →‎Approximations asymptotiques
• 15:5516 janvier 2008 à 15:55 diff hist +28‎ m Accueil ‎ ajout cours INFO803

14 janvier 2008

• 14:5314 janvier 2008 à 14:53 diff hist +744‎ N Discussion:INFO614 : Mathématiques pour l'informatique ‎ création de la page actuelle
• 14:5014 janvier 2008 à 14:50 diff hist +8 046‎ N INFO614 : Mathématiques pour l'informatique ‎ création de la page
• 14:2614 janvier 2008 à 14:26 diff hist +50‎ m Accueil ‎ ajout cours INFO614

11 janvier 2008

• 13:4911 janvier 2008 à 13:49 diff hist +3‎ m INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes ‎ →‎Objectif du cours

8 janvier 2008

• 16:278 janvier 2008 à 16:27 diff hist −73‎ Accueil ‎ le cours math980 disparait...

4 janvier 2008

• 13:214 janvier 2008 à 13:21 diff hist +627‎ N Discussion:MATH0980 : contenu algorithmique des démonstrations mathématiques ‎ Crême brulée ou ile flottante ? actuelle
• 13:164 janvier 2008 à 13:16 diff hist +3 268‎ N MATH0980 : contenu algorithmique des démonstrations mathématiques ‎ première version du wiki
• 10:454 janvier 2008 à 10:45 diff hist +73‎ Accueil ‎ ajout cours MATH0980