« Accueil » : différence entre les versions

De Wiki du LAMA (UMR 5127)
Aller à la navigation Aller à la recherche
 
(32 versions intermédiaires par 5 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
__FORCETOC__
__FORCETOC__
<big>Le wiki du [http://www.lama.univ-savoie.fr LAMA (UMR 5127)]</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.sfa.univ-savoie.fr UFR SFA], ainsi que de la [documentation documentation] utile aux membres du LAMA.
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 à Yvan Masson (yvan.masson@univ-smb.fr).




Ligne 18 : Ligne 16 :


[[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 34 : Ligne 34 :


[[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]]
Ligne 45 : Ligne 43 :
[[INFO502 : Systèmes d'exploitation]]
[[INFO502 : Systèmes d'exploitation]]


[[INFO505 : Programmation C]]
<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>


[[INFO510 : Algorithmique : structures de données complexes]]
[[INFO510 : Algorithmique : structures de données complexes]]
Ligne 55 : Ligne 49 :
[[INFO511 : Algorithmique : algorithmes complexes]]
[[INFO511 : Algorithmique : algorithmes complexes]]


[[INFO606 : Bases de données]]
[[INFO523 : Programmation C]]


[[INFO606 : Bases de données]]
[[INFO607 : Algorithmique II]]


[[INFO622 : Systèmes de synchronisation et Processus]]
[[INFO622 : Systèmes de synchronisation et Processus]]
Ligne 67 : Ligne 61 :
[[INFO631 : Graphes et algorithmes]]
[[INFO631 : Graphes et algorithmes]]


[[INFO702 : Programmation générique et C++]]
<small><strike>[[INFO632 : algorithmes de graphes]]</strike></small>


[http://lama.univ-savoie.fr/~raffalli/INFO725 INFO725 : Déduction Automatique]
[[INFO702 : Programmation générique et C++]] <small><strike>[[INFO735 : Programmation générique et C++]]</strike></small>


[[INFO803 : Conception et Programmation Objet]]
[[INFO704 : Analyse d'algorithmes]]


[[INFO804 : Introduction à l'Informatique Graphique]]
<small><strike>[[INFO724 : Algorithmique avancée, graphes et NP-Complétude]]</strike></small>


[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]]


[[INFO003 C1 : Analyse d'algorithmes]]
[http://lama.univ-savoie.fr/~raffalli/INFO725 INFO725 : Déduction Automatique]


<small><strike>[[INFO614 : Mathématiques pour l'informatique]]</strike></small>
<strike><small>[[INFO910 : Cryptologie ]]</small></strike>
[[INFO002 : Cryptologie ]]


[[INFO001 : Traitement et analyse d'image]]
<small><strike>[[INFO710 : Compléments de base de données]]</strike></small>


=== Cours spécifiques CMI ===
<small><strike>[[INFO719 : rappels et compléments de programmation]]</strike></small>


[[VISI201_CMI : visite de laboratoire]]
<small><strike>[[INFO719 : rappels d'algorithmique et programmation C]]</strike></small>


[[VISI301_CMI : projet de recherche et développement]]
<small><strike>[[INFO803 : informatique]] (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]</strike> </small>


[[VISI401_CMI : bibliographie scientifique]]
[[INFO803 : Conception et Programmation Objet]] (ex <small><strike>[[INFO719 : Conception et Programmation Objet]]</strike> (passé au second semestre)</small>)


[[VISI601_CMI : Algorithmique numérique]]
[[INFO805 : Introduction à l'Informatique Graphique]] <small><strike>[[INFO821 : Infographie]]</strike></small>


[[PROJ602_CMI : Projet de recherche tuteuré]]
[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]]


[[PROJ002_CMI : Projet en traitement et analyse d'image]]
[[INFO006 : Cryptologie et sécurité informatique]]


=== Autres cours ===
<small><strike>[[INFO916 : Cours de C]] (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]</strike> </small>


=== Autres cours ===


[[MSHS501 et MSHS601 : Enquête et sondage]]
[[MSHS501 et MSHS601 : Enquête et sondage]]
Ligne 117 : Ligne 112 :


[[PROJ401 : Projet]]
[[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 126 : Ligne 163 :
== Utilisation du wiki ==
== Utilisation du wiki ==


Consultez le [http://meta.wikipedia.org/wiki/Aide:Contenu Guide de l'utilisateur] pour plus d'informations sur l'utilisation des "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:raffalli@univ-savoie.fr Christophe Raffalli].
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

Projet en L3 MASS

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

INFO505 : Programmation C

INFO510 : Algorithmique : structures de données complexes

INFO511 : Algorithmique : algorithmes complexes

INFO606 : Bases de données

INFO607 : Algorithmique II

INFO622 : Systèmes de synchronisation et Processus

INFO625 : Réseau

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

PROJ401 : Projet

Anciens cours en informatique

INFO204 : science informatique

INFO504 : Programmation C

INFO505 : Mathématiques pour l'informatique

INFO505 : algorithmes de graphes

INFO510 et INFO511 : Algorithmique et structures de données

INFO523 : Programmation C

INFO602 : Algorithmique II

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

INFO821 : Infographie

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

Démarrage sous Linux

Compilation de programmes C

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.

Projets scientifiques

Géométrie discrète Projet CoMeDiC