« Accueil » : différence entre les versions
Aucun résumé des modifications |
|||
(4 versions intermédiaires par 2 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 prendre modèle sur les cours existants. |
merci de prendre modèle sur les cours existants. |
||
Pour obtenir un compte, vous pouvez demander à Céline Acary-Robert (celine.acary-robert@univ-smb.fr). |
|||
Ligne 64 : | Ligne 62 : | ||
[[INFO702 : Programmation générique et C++]] |
[[INFO702 : Programmation générique et C++]] |
||
⚫ | |||
[http://lama.univ-savoie.fr/~raffalli/INFO725 INFO725 : Déduction Automatique] |
[http://lama.univ-savoie.fr/~raffalli/INFO725 INFO725 : Déduction Automatique] |
||
Ligne 75 : | Ligne 71 : | ||
[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]] |
[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]] |
||
[[Analyse d'algorithmes]] |
[[INFO003 C1 : Analyse d'algorithmes]] |
||
<strike><small>[[INFO910 : Cryptologie ]]</small></strike> |
<strike><small>[[INFO910 : Cryptologie ]]</small></strike> |
||
Ligne 136 : | Ligne 132 : | ||
<small><strike>[[INFO632 : algorithmes de graphes]]</strike></small> |
<small><strike>[[INFO632 : algorithmes de graphes]]</strike></small> |
||
⚫ | |||
<small><strike>[[INFO710 : Compléments de base de données]]</strike></small> |
<small><strike>[[INFO710 : Compléments de base de données]]</strike></small> |
||
Ligne 165 : | 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 == |
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.