« Accueil » : différence entre les versions

De Wiki du LAMA (UMR 5127)
Aller à la navigation Aller à la recherche
 
(48 versions intermédiaires par 9 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].
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 vous inscrire avec votre vrai nom et prenez modèle sur les cours existants.
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 27 : Ligne 31 :
[[Projet en L3 MASS]]
[[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]]
Ligne 41 : 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 51 : Ligne 49 :
[[INFO511 : Algorithmique : algorithmes complexes]]
[[INFO511 : Algorithmique : algorithmes complexes]]


[[INFO606 : Bases de données]]
[[INFO523 : Programmation C]] (ex <small><strike>[[INFO517 : Programmation C]]</strike> (renumérotation pour nouveau quadriennal)</small>)


[[INFO526 : algorithmes de graphes]]
[[INFO607 : Algorithmique II]]

[[INFO606 : Bases de données]]


[[INFO622 : Systèmes de synchronisation et Processus]]
[[INFO622 : Systèmes de synchronisation et Processus]]
Ligne 61 : Ligne 57 :
[[INFO625 : Réseau]]
[[INFO625 : Réseau]]


[[INFO724 : Algorithmique avancée, graphes et NP-Complétude]]
[[INFO626 : Algorithmique avancée]]


[[INFO735 : Programmation générique et C++]]
[[INFO631 : Graphes et algorithmes]]

[[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]


[[INFO803 : Conception et Programmation Objet]]
<small><strike>[[INFO614 : Mathématiques pour l'informatique]]</strike></small>


[[INFO804 : Introduction à l'Informatique Graphique]]
<small><strike>[[INFO710 : Compléments de base de données]]</strike></small>


[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]]
<small><strike>[[INFO719 : rappels et compléments de programmation]]</strike></small>


[[INFO003 C1 : Analyse d'algorithmes]]
<small><strike>[[INFO719 : rappels d'algorithmique et programmation C]]</strike></small>


<strike><small>[[INFO910 : Cryptologie ]]</small></strike>
<small><strike>[[INFO803 : informatique]] (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]</strike> </small>
[[INFO002 : Cryptologie ]]


[[INFO001 : Traitement et analyse d'image]]
[[INFO803 : Conception et Programmation Objet]] (ex <small><strike>[[INFO719 : Conception et Programmation Objet]]</strike> (passé au second semestre)</small>)


=== Cours spécifiques CMI ===
[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]]


[[VISI201_CMI : visite de laboratoire]]
[[INFO821 : Infographie]]


[[VISI301_CMI : projet de recherche et développement]]
[[INFO006 : Cryptologie et sécurité informatique]] (ex <small><strike>[[INFO913 : Cryptologie et sécurité informatique]]</strike> (passé au second semestre)</small>) [http://infosafe.fr Coffre ignifuge informatique] pour sauvegardes


[[VISI401_CMI : bibliographie scientifique]]
<small><strike>[[INFO916 : Cours de C]] (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]</strike> </small>

[[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 106 : 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 115 : 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 ==


[[ 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

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