« Accueil » : différence entre les versions

De Wiki du LAMA (UMR 5127)
Aller à la navigation Aller à la recherche
 
(20 versions intermédiaires par 4 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 à Céline Acary-Robert (celine.acary-robert@univ-smb.fr).




Ligne 45 : Ligne 43 :
[[INFO502 : Systèmes d'exploitation]]
[[INFO502 : Systèmes d'exploitation]]


[[INFO504 : Programmation C]]
[[INFO505 : Programmation C]]


[[INFO510 : Algorithmique : structures de données complexes]]
[[INFO510 : Algorithmique : structures de données complexes]]


[[INFO511 : Algorithmique : algorithmes complexes]]
[[INFO511 : Algorithmique : algorithmes complexes]]

[[INFO602 : Algorithmique II]]


[[INFO606 : Bases de données]]
[[INFO606 : Bases de données]]

[[INFO607 : Algorithmique II]]


[[INFO622 : Systèmes de synchronisation et Processus]]
[[INFO622 : Systèmes de synchronisation et Processus]]
Ligne 64 : Ligne 62 :


[[INFO702 : Programmation générique et C++]]
[[INFO702 : Programmation générique et C++]]

[[INFO704 : Analyse d'algorithmes]]



[http://lama.univ-savoie.fr/~raffalli/INFO725 INFO725 : Déduction Automatique]
[http://lama.univ-savoie.fr/~raffalli/INFO725 INFO725 : Déduction Automatique]
Ligne 72 : Ligne 67 :
[[INFO803 : Conception et Programmation Objet]]
[[INFO803 : Conception et Programmation Objet]]


[[INFO805 : Introduction à l'Informatique Graphique]]
[[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]]


[[INFO003 C1 : Analyse d'algorithmes]]
[[INFO910 : Cryptologie ]]


<strike><small>[[INFO910 : Cryptologie ]]</small></strike>
[[INFO002 : Cryptologie ]]


[[INFO001 : Traitement et analyse d'image]]
=== Autres cours ===

=== Cours spécifiques CMI ===


[[VISI201_CMI : visite de laboratoire]]
[[VISI201_CMI : visite de laboratoire]]
Ligne 86 : Ligne 85 :


[[VISI401_CMI : bibliographie scientifique]]
[[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 ===




Ligne 109 : Ligne 116 :


<small><strike>[[INFO204 : science informatique]]</strike></small>
<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 : Mathématiques pour l'informatique]]</strike></small>
Ligne 117 : Ligne 126 :


<small><strike>[[INFO523 : Programmation C]] </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>[[INFO614 : Mathématiques pour l'informatique]]</strike></small>


<small><strike>[[INFO632 : algorithmes de graphes]]</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>[[INFO710 : Compléments de base de données]]</strike></small>
Ligne 141 : Ligne 154 :


<small><strike>[[INFO719 : Conception et Programmation Objet]]</strike></small>
<small><strike>[[INFO719 : Conception et Programmation Objet]]</strike></small>



== Utilisation des machines de TP ==
== Utilisation des machines de TP ==
Ligne 151 : 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