« Accueil » : différence entre les versions
Aucun résumé des modifications |
|||
(247 versions intermédiaires par 54 utilisateurs non affichées) | |||
Ligne 1 : | Ligne 1 : | ||
__FORCETOC__ |
__FORCETOC__ |
||
<big> |
<big>Le wiki du [http://www.lama.univ-savoie.fr Laboratoire de Mathématiques (LAMA, UMR 5127)]</big> |
||
Ce wiki contient certains cours dispensés par les filières de l'[http://www.scem.univ-savoie.fr UFR SceM], ainsi que de la [documentation documentation] utile aux membres du LAMA. |
|||
Les modifications, voire les créations de pages par les étudiants sont les bienvenues. En cas de création de cours, |
|||
Changes, even the creations of pages students are welcome. If course creation, |
|||
merci de prendre modèle sur les cours existants. |
|||
thank you to register with your real name and model take on existing courses. |
|||
== |
== Liste des cours == |
||
=== |
=== Mathématiques à l'université de Savoie === |
||
[[MATH202 : Mathématiques pour le numérique 2]] |
|||
[[MATH203: Introduction to Algebra]] |
|||
[[MATH203 : Introduction à l'algèbre]] |
|||
[[MATH206: Probability and Statistics]] |
|||
[[MATH206 : Probabilités et Statistiques]] |
|||
[[MATH304: Mathematics for Science III]] |
|||
[[MATH302 : Outils mathématiques III]] |
|||
[[MATH508: Linear Algebra and Optimization]] |
|||
[[MATH304 : Mathématiques pour les sciences III]] |
|||
[[MATH611: inferential statistics]] |
|||
[[MATH508 : Algèbre linéaire et optimisation]] |
|||
[[MATH801: affine and Euclidean geometry]] |
|||
[[MATH611 : Statistiques inférentielles]] |
|||
[[PHOX301 and PHOX501: Introduction to Mathematical Reasoning with PhoX]] |
|||
[[MATH801 : Géométrie affine et euclidienne]] |
|||
* Write your article. Know to choose attractive title for your articles. The best example will be "Hints On Choosing Dependable <span class="plainlinks">[http://www.discount-lenses.com <span style="color:black;font-weight:normal; text-decoration:none!important; background:none!important; text-decoration:none;">Halloween Contacts</span>]." |
|||
[[PHOX301 et PHOX501 : Initiation au raisonnement mathématique avec PhoX]] |
|||
=== Computer at the University of Savoie === |
|||
[[ |
[[Projet en L3 MASS]] |
||
=== Informatiques à l'université de Savoie === |
|||
<small> <strike> [[INFO204: Computer Science]] </ strike> </ small> |
|||
[[INFO202 : Informatique et multimédia]] |
|||
[[INFO302: Introduction to Object Oriented Programming and Java]] |
|||
[[INFO302 : Introduction à la Programmation Orientée Objet et Java]] |
|||
[[INFO401: Functional programming]] |
|||
[[INFO421 : Programmation fonctionnelle]] |
|||
[[INFO502: Operating systems]] |
|||
[[INFO424 : Projet en informatique]] |
|||
<small> <strike> [[INFO505: Mathematics for Computer Science]] </ strike> </ small> |
|||
[[INFO502 : Systèmes d'exploitation]] |
|||
[[INFO505: graph algorithms]] |
|||
[[ |
[[INFO505 : Programmation C]] |
||
[[INFO510 |
[[INFO510 : Algorithmique : structures de données complexes]] |
||
[[INFO511 : Algorithmique : algorithmes complexes]] |
|||
[[INFO517: C Programming]] |
|||
[[INFO606 : Bases de données]] |
|||
[[INFO604: Systems and Process Synchronization]] |
|||
[[INFO607 : Algorithmique II]] |
|||
[[INFO606: Databases]] |
|||
[[INFO622 : Systèmes de synchronisation et Processus]] |
|||
<small> <strike> [[INFO614: Mathematics for Computer Science]] </ strike> </ small> |
|||
[[INFO625 : Réseau]] |
|||
[[INFO710: Additional database]] |
|||
[[INFO626 : Algorithmique avancée]] |
|||
[[INFO719: Reminders and additional programming]] |
|||
[[INFO631 : Graphes et algorithmes]] |
|||
<small> <strike> [[INFO719: reminders of algorithms and programming C]] </ strike> </ small> |
|||
[[INFO702 : Programmation générique et C++]] |
|||
<small> <strike> [[INFO803: Computer]] (replaced by [[INFO719: reminders of algorithms and programming C]] </ strike> </ small> |
|||
[http://lama.univ-savoie.fr/~raffalli/INFO725 INFO725 : Déduction Automatique] |
|||
[[INFO803: Designing and Programming Object]] (ex <small> <strike> [[INFO719: Designing and Programming Object]] </ strike> (passed in the second half) </ small>) |
|||
[[INFO803 : Conception et Programmation Objet]] |
|||
[[INFO817: Semantic objects and functional languages, program verification]] |
|||
[[INFO804 : Introduction à l'Informatique Graphique]] |
|||
[[INFO821: Graphic]] |
|||
[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]] |
|||
[[INFO006: Cryptology and Information Security]] (ex <small> <strike> [[INFO913: Cryptology and Information Security]] </ strike> (passed in the second half) </ small>) |
|||
[[INFO003 C1 : Analyse d'algorithmes]] |
|||
<small> <strike> [[INFO916: Course C]] (replaced by [[INFO719: reminders of algorithms and programming C]] </ strike> </ small> |
|||
<strike><small>[[INFO910 : Cryptologie ]]</small></strike> |
|||
=== === Other courses |
|||
[[INFO002 : Cryptologie ]] |
|||
[[INFO001 : Traitement et analyse d'image]] |
|||
[[MSHS501 and MSHS601: Survey and Survey]] |
|||
=== Cours spécifiques CMI === |
|||
[[PHYS504: Computational methods for physics]] |
|||
[[VISI201_CMI : visite de laboratoire]] |
|||
[[PHYS710: Physics Simulation and modeling]] |
|||
[[VISI301_CMI : projet de recherche et développement]] |
|||
[[MATH0980: algorithmic content of mathematical proofs]] (M2 during the University Claude Bernard Lyon) |
|||
[[VISI401_CMI : bibliographie scientifique]] |
|||
[[Introduction to proof assistants (over LMFI)]] |
|||
[[VISI601_CMI : Algorithmique numérique]] |
|||
[[Template Programming (during LMFI)]] |
|||
[[PROJ602_CMI : Projet de recherche tuteuré]] |
|||
[[Categorical language and concepts in mathematics and computer science]] (during the Grenoble Graduate School MSTII) |
|||
[[PROJ002_CMI : Projet en traitement et analyse d'image]] |
|||
[[GIND401: Introduction to Object Oriented Programming in Java]] |
|||
=== Autres cours === |
|||
[[PROJ401: Project]] |
|||
Many thanks for sharing this fantastic article. Please keep up this blog have it? ™ s one of my favorite blog in my reader, thanks =-= |
|||
Using machines == == TP |
|||
[[MSHS501 et MSHS601 : Enquête et sondage]] |
|||
[[Linux halls TP Le Bourget | Starting Linux]] |
|||
[[PHYS504 : Méthodes informatiques pour la physique]] |
|||
[[How to compile the C? | Compiling C programs]] |
|||
[[PHYS710 : Simulation et modélisation en physique]] |
|||
Using the wiki == == |
|||
[[MATH0980 : contenu algorithmique des démonstrations mathématiques]] (cours du M2 de l'université Claude Bernard à Lyon) |
|||
Consult the [http://meta.wikipedia.org/wiki/Aide:Contenu User's Guide] for more information on using "wiki". |
|||
[[Initiation aux assistants de preuves (cours du LMFI)]] |
|||
In case of problems contact [mailto: Christophe Raffalli raffalli@univ-savoie.fr]. |
|||
[[Modèle de la programmation (cours du LMFI)]] |
|||
* [Http://www.acheterviagrafr.fr/buy_cialis_fr.html buy cialis] |
|||
[[Langage et concepts catégoriques pour les mathématiques et l’informatique]] (cours de l'École doctorale MSTII de Grenoble) |
|||
== == Research Projects |
|||
[[GIND401 : Introduction à la programmation objet en JAVA]] |
|||
[[ |
[[PROJ401 : Projet]] |
||
=== Anciens cours en informatique === |
|||
[Http://cvresumewritingservices.org/ resume service] |
|||
<small><strike>[[INFO204 : science informatique]]</strike></small> |
|||
[Http://cvresumewriters.com/ resume writers] |
|||
<small><strike>[[INFO504 : Programmation C]]</strike></small> |
|||
<small><strike>[[INFO505 : Mathématiques pour l'informatique]]</strike></small> |
|||
<small><strike>[[INFO505 : algorithmes de graphes]]</strike></small> |
|||
<small><strike>[[INFO510 et INFO511 : Algorithmique et structures de données]]</strike></small> |
|||
<small><strike>[[INFO523 : Programmation C]] </strike></small> |
|||
<small><strike>[[INFO602 : Algorithmique II]] </strike></small> |
|||
<small><strike>[[INFO614 : Mathématiques pour l'informatique]]</strike></small> |
|||
<small><strike>[[INFO632 : algorithmes de graphes]]</strike></small> |
|||
<small><strike>[[INFO704 : Analyse d'algorithmes]]</strike></small> |
|||
<small><strike>[[INFO710 : Compléments de base de données]]</strike></small> |
|||
<small><strike>[[INFO719 : rappels et compléments de programmation]]</strike></small> |
|||
<small><strike>[[INFO719 : rappels d'algorithmique et programmation C]]</strike></small> |
|||
<small><strike>[[INFO724 : Algorithmique avancée, graphes et NP-Complétude]]</strike></small> |
|||
<small><strike>[[INFO735 : Programmation générique et C++]]</strike></small> |
|||
<small><strike>[[INFO803 : informatique]] (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]</strike> </small> |
|||
<small><strike>[[INFO821 : Infographie]]</strike></small> |
|||
<small><strike>[[INFO916 : Cours de C]] (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]</strike> </small> |
|||
<small><strike>[[INFO006 : Cryptologie et sécurité informatique]]</strike> </small> |
|||
<small><strike>[[INFO719 : Conception et Programmation Objet]]</strike></small> |
|||
== Utilisation des machines de TP == |
|||
[[Linux dans les salles de TP du Bourget|Démarrage sous Linux]] |
|||
[[Comment compiler le C ?|Compilation de programmes C]] |
|||
== Utilisation du wiki == |
|||
Consultez le [https://meta.wikimedia.org/w/index.php?title=Help:Editor/fr&uselang=fr Manuel de l'éditeur] pour plus d'informations sur l'utilisation des "wiki". |
|||
En cas de problème contacter [mailto:pierre.hyvernat@univ-smb.fr Pierre Hyvernat]. |
|||
== Projets scientifiques == |
|||
[[ Géométrie discrète ]] |
|||
[[ Projet CoMeDiC ]] |
Dernière version du 12 avril 2024 à 09:50
Le wiki du Laboratoire de Mathématiques (LAMA, UMR 5127)
Ce wiki contient certains cours dispensés par les filières de l'UFR SceM, ainsi que de la [documentation documentation] utile aux membres du LAMA. Les modifications, voire les créations de pages par les étudiants sont les bienvenues. En cas de création de cours, merci de prendre modèle sur les cours existants.
Liste des cours
Mathématiques à l'université de Savoie
MATH202 : Mathématiques pour le numérique 2
MATH203 : Introduction à l'algèbre
MATH206 : Probabilités et Statistiques
MATH302 : Outils mathématiques III
MATH304 : Mathématiques pour les sciences III
MATH508 : Algèbre linéaire et optimisation
MATH611 : Statistiques inférentielles
MATH801 : Géométrie affine et euclidienne
PHOX301 et PHOX501 : Initiation au raisonnement mathématique avec PhoX
Informatiques à l'université de Savoie
INFO202 : Informatique et multimédia
INFO302 : Introduction à la Programmation Orientée Objet et Java
INFO421 : Programmation fonctionnelle
INFO424 : Projet en informatique
INFO502 : Systèmes d'exploitation
INFO510 : Algorithmique : structures de données complexes
INFO511 : Algorithmique : algorithmes complexes
INFO622 : Systèmes de synchronisation et Processus
INFO626 : Algorithmique avancée
INFO631 : Graphes et algorithmes
INFO702 : Programmation générique et C++
INFO725 : Déduction Automatique
INFO803 : Conception et Programmation Objet
INFO804 : Introduction à l'Informatique Graphique
INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes
INFO003 C1 : Analyse d'algorithmes
INFO910 : Cryptologie
INFO002 : Cryptologie
INFO001 : Traitement et analyse d'image
Cours spécifiques CMI
VISI201_CMI : visite de laboratoire
VISI301_CMI : projet de recherche et développement
VISI401_CMI : bibliographie scientifique
VISI601_CMI : Algorithmique numérique
PROJ602_CMI : Projet de recherche tuteuré
PROJ002_CMI : Projet en traitement et analyse d'image
Autres cours
MSHS501 et MSHS601 : Enquête et sondage
PHYS504 : Méthodes informatiques pour la physique
PHYS710 : Simulation et modélisation en physique
MATH0980 : contenu algorithmique des démonstrations mathématiques (cours du M2 de l'université Claude Bernard à Lyon)
Initiation aux assistants de preuves (cours du LMFI)
Modèle de la programmation (cours du LMFI)
Langage et concepts catégoriques pour les mathématiques et l’informatique (cours de l'École doctorale MSTII de Grenoble)
GIND401 : Introduction à la programmation objet en JAVA
Anciens cours en informatique
INFO204 : science informatique
INFO505 : Mathématiques pour l'informatique
INFO505 : algorithmes de graphes
INFO510 et INFO511 : Algorithmique et structures de données
INFO614 : Mathématiques pour l'informatique
INFO632 : algorithmes de graphes
INFO704 : Analyse d'algorithmes
INFO710 : Compléments de base de données
INFO719 : rappels et compléments de programmation
INFO719 : rappels d'algorithmique et programmation C
INFO724 : Algorithmique avancée, graphes et NP-Complétude
INFO735 : Programmation générique et C++
INFO803 : informatique (remplacé par INFO719 : rappels d'algorithmique et programmation C
INFO916 : Cours de C (remplacé par INFO719 : rappels d'algorithmique et programmation C
INFO006 : Cryptologie et sécurité informatique
INFO719 : Conception et Programmation Objet
Utilisation des machines de TP
Utilisation du wiki
Consultez le Manuel de l'éditeur pour plus d'informations sur l'utilisation des "wiki".
En cas de problème contacter Pierre Hyvernat.