« Accueil » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 37 : | Ligne 37 : | ||
[[MATH0980 : contenu algorithmique des démonstrations mathématiques (cours du M2 de Lyon I)]] |
[[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]] |
[[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:25
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.