« Accueil » : différence entre les versions
(257 versions intermédiaires par 59 utilisateurs non affichées) | |||
Ligne 1 : | Ligne 1 : | ||
__FORCETOC__ |
__FORCETOC__ |
||
<big>Le wiki du [http://www.lama.univ-savoie.fr |
<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. |
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, |
Les modifications, voire les créations de pages par les étudiants sont les bienvenues. En cas de création de cours, |
||
merci de |
merci de prendre modèle sur les cours existants. |
||
Ligne 10 : | Ligne 10 : | ||
=== Mathématiques à l'université de Savoie === |
=== Mathématiques à l'université de Savoie === |
||
[[MATH202 : Mathématiques pour le numérique 2]] |
|||
[[MATH203 : Introduction à l'algèbre]] |
[[MATH203 : Introduction à l'algèbre]] |
||
[[MATH206 : Probabilités et Statistiques]] |
[[MATH206 : Probabilités et Statistiques]] |
||
[[MATH302 : Outils mathématiques III]] |
|||
[[MATH304 : Mathématiques pour les sciences III]] |
[[MATH304 : Mathématiques pour les sciences III]] |
||
Ligne 25 : | Ligne 29 : | ||
[[PHOX301 et PHOX501 : Initiation au raisonnement mathématique avec PhoX]] |
[[PHOX301 et PHOX501 : Initiation au raisonnement mathématique avec PhoX]] |
||
[[Projet en L3 MASS]] |
|||
=== informatiques à l'université de Savoie === |
|||
=== Informatiques à l'université de Savoie === |
|||
[[INFO202 : Informatique et multimédia]] |
[[INFO202 : Informatique et multimédia]] |
||
<small><strike>[[INFO204 : science informatique]]</strike></small> |
|||
[[INFO302 : Introduction à la Programmation Orientée Objet et Java]] |
[[INFO302 : Introduction à la Programmation Orientée Objet et Java]] |
||
[[ |
[[INFO421 : Programmation fonctionnelle]] |
||
[[INFO424 : Projet en informatique]] |
|||
[[INFO502 : Systèmes d'exploitation]] |
[[INFO502 : Systèmes d'exploitation]] |
||
[[INFO505 : Programmation C]] |
|||
<small><strike>[[INFO505 : Mathématiques pour l'informatique]]</strike></small> |
|||
[[INFO510 : Algorithmique : structures de données complexes]] |
|||
[[INFO505 : algorithmes de graphes]] |
|||
[[INFO511 : Algorithmique : algorithmes complexes]] |
|||
[[INFO508 : Réseau]] |
|||
[[ |
[[INFO606 : Bases de données]] |
||
[[ |
[[INFO607 : Algorithmique II]] |
||
[[INFO622 : Systèmes de synchronisation et Processus]] |
|||
[[INFO606 : Bases de données]] |
|||
[[INFO625 : Réseau]] |
|||
<small><strike>[[INFO614 : Mathématiques pour l'informatique]]</strike></small> |
|||
[[INFO626 : Algorithmique avancée]] |
|||
[[INFO710 : Compléments de base de données]] |
|||
[[ |
[[INFO631 : Graphes et algorithmes]] |
||
[[INFO702 : Programmation générique et C++]] |
|||
<small><strike>[[INFO719 : rappels d'algorithmique et programmation C]]</strike></small> |
|||
[http://lama.univ-savoie.fr/~raffalli/INFO725 INFO725 : Déduction Automatique] |
|||
<small><strike>[[INFO803 : informatique]] (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]</strike> </small> |
|||
[[INFO803 : Conception et Programmation Objet]] |
[[INFO803 : Conception et Programmation Objet]] |
||
[[INFO804 : Introduction à l'Informatique Graphique]] |
|||
[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]] |
|||
[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]] |
|||
[[INFO821 : Infographie]] |
|||
[[INFO003 C1 : Analyse d'algorithmes]] |
|||
[[INFO006 : Cryptologie et sécurité informatique]] (ex <small><strike>[[INFO913 : Cryptologie et sécurité informatique]]</strike> (passé au second semestre)</small>) |
|||
<strike><small>[[INFO910 : Cryptologie ]]</small></strike> |
|||
<small><strike>[[INFO916 : Cours de C]] (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]</strike> </small> |
|||
[[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 === |
=== Autres cours === |
||
[[MSHS501 et MSHS601 : Enquête et sondage]] |
[[MSHS501 et MSHS601 : Enquête et sondage]] |
||
Ligne 79 : | Ligne 103 : | ||
[[MATH0980 : contenu algorithmique des démonstrations mathématiques]] (cours du M2 de l'université Claude Bernard à Lyon) |
[[MATH0980 : contenu algorithmique des démonstrations mathématiques]] (cours du M2 de l'université Claude Bernard à Lyon) |
||
[[Initiation aux assistants de preuves (cours du |
[[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) |
[[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]] |
[[GIND401 : Introduction à la programmation objet en JAVA]] |
||
[[PROJ401 : Projet]] |
|||
=== Anciens cours en informatique === |
|||
<small><strike>[[INFO204 : science informatique]]</strike></small> |
|||
<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 == |
== Utilisation des machines de TP == |
||
Ligne 93 : | Ligne 163 : | ||
== Utilisation du wiki == |
== Utilisation du wiki == |
||
Consultez le [ |
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: |
En cas de problème contacter [mailto:pierre.hyvernat@univ-smb.fr Pierre Hyvernat]. |
||
== Projets scientifiques == |
== Projets scientifiques == |
||
[[ Géométrie discrète ]] |
[[ 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.