« Accueil » : différence entre les versions
(le cours math980 revient !) |
Aucun résumé des modifications |
||
| Ligne 35 : | Ligne 35 : | ||
[[INFO916 : Cours de C]] |
[[INFO916 : Cours de C]] |
||
[[MATH0980 : contenu algorithmique des démonstrations mathématiques]] |
[[MATH0980 : contenu algorithmique des démonstrations mathématiques (cours du M2 de Lyon I)]] |
||
[[Initiation aux assistants de preuves (cours du M2 de Paris VII]] |
|||
Consultez le [http://meta.wikipedia.org/wiki/Aide:Contenu Guide de l'utilisateur] pour plus d'informations sur l'utilisation des "wiki". |
Consultez le [http://meta.wikipedia.org/wiki/Aide:Contenu Guide de l'utilisateur] pour plus d'informations sur l'utilisation des "wiki". |
||
Version du 25 février 2008 à 17:14
Le wiki de l'UFR SFA
Ce wiki contient certains cours dispensés par les filières de l'UFR SFA. Les modifications, voire les créations de pages par les étudiants sont les bienvenues. En cas de création de cours, merci de vous inscrire avec votre vrai nom et prenez modèle sur les cours existants.
Voici la liste des cours:
MATH203 : Introduction à l'algèbre
MATH206 : Probabilités et Statistiques
MATH508 : Algèbre linéaire et optimisation
MATH611 : Statistiques inférentielles
MSHS501 et MSHS601 : Enquête et sondage
INFO505 : Mathématiques pour l'informatique
INFO510 et INFO511 : Algorithmique et structures de données
INFO614 : Mathématiques pour l'informatique
INFO710 : Compléments de base de données
INFO719 : Conception et Programmation Objet
INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes
INFO913 : Cryptologie et sécurité informatique
MATH0980 : contenu algorithmique des démonstrations mathématiques (cours du M2 de Lyon I)
Initiation aux assistants de preuves (cours du M2 de Paris VII
Consultez le Guide de l'utilisateur pour plus d'informations sur l'utilisation des "wiki".
En cas de problème contacter Christophe Raffalli.