« Accueil » : différence entre les versions

De Wiki du LAMA (UMR 5127)
Aller à la navigation Aller à la recherche
 
(225 versions intermédiaires par 45 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 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]]


[[INFO401 : Programmation fonctionnelle]]
[[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]]
<small><strike>[[INFO505 : algorithmes de graphes]]</strike></small>


[[INFO511 : Algorithmique : algorithmes complexes]]
[[INFO508 : Réseau]]


[[INFO510 et INFO511 : Algorithmique et structures de données]]
[[INFO606 : Bases de données]]


[[INFO607 : Algorithmique II]]
[[INFO523 : Programmation C]] (ex <small><strike>[[INFO517 : Programmation C]]</strike> (renumérotation pour nouveau quadriennal)</small>)


[[INFO622 : Systèmes de synchronisation et Processus]]
[[INFO526 : algorithmes de graphes]]


[[INFO625 : Réseau]]
[[INFO604 : Systèmes de synchronisation et Processus]]


[[INFO626 : Algorithmique avancée]]
[[INFO606 : Bases de données]]


[[INFO631 : Graphes et algorithmes]]
<small><strike>[[INFO614 : Mathématiques pour l'informatique]]</strike></small>


[[INFO702 : Programmation générique et C++]]
[[INFO710 : Compléments de base de données]]


[http://lama.univ-savoie.fr/~raffalli/INFO725 INFO725 : Déduction Automatique]
[[INFO719 : rappels et compléments de programmation]]


[[INFO803 : Conception et Programmation Objet]]
<small><strike>[[INFO719 : rappels d'algorithmique et programmation C]]</strike></small>


[[INFO804 : Introduction à l'Informatique Graphique]]
<small><strike>[[INFO803 : informatique]] (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]</strike> </small>


[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]]
[[INFO803 : Conception et Programmation Objet]] (ex <small><strike>[[INFO719 : Conception et Programmation Objet]]</strike> (passé au second semestre)</small>)


[[INFO003 C1 : Analyse d'algorithmes]]
[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]]


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


[[INFO001 : Traitement et analyse d'image]]
[[INFO006 : Cryptologie et sécurité informatique]] (ex <small><strike>[[INFO913 : Cryptologie et sécurité informatique]]</strike> (passé au second semestre)</small>)


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

[[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 92 : 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 101 : 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