« Accueil » : différence entre les versions

De Wiki du LAMA (UMR 5127)
Aller à la navigation Aller à la recherche
mAucun résumé des modifications
 
(229 versions intermédiaires par 45 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
__FORCETOC__
__FORCETOC__
The wiki <big> [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>


This wiki contains some courses offered by chains of [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,
Changes or the creation of <span class="plainlinks">[http://www.cleanfresnocarpets.com/ <span style="color:black;font-weight:normal; text-decoration:none!important; background:none!important; text-decoration:none;">clovis carpet cleaning</span>] pages by the students are welcome. In case of creation of courses,
merci de prendre modèle sur les cours existants.
thank you to register with your real name and modeled on <span class="plainlinks">[http://www.bestpills4weightloss.com<span style="color:black;font-weight:normal; text-decoration:none!important; background:none!important; text-decoration:none;">top weight loss pills</span>] existing courses.




== == Course List
== Liste des cours ==


=== Mathematics at the University of Savoie ===
=== Mathématiques à l'université de Savoie ===


[[MATH202 : Mathématiques pour le numérique 2]]
[[MATH203: Introduction to Algebra]]


[[MATH203 : Introduction à l'algèbre]]
[[MATH206: Probability and Statistics]]


[[MATH206 : Probabilités et Statistiques]]
[[MATH304: Mathematics for Science III]]


[[MATH302 : Outils mathématiques III]]
[[MATH508: Linear Algebra and Optimization]]


[[MATH304 : Mathématiques pour les sciences III]]
[[MATH611: inferential statistics]]


[[MATH508 : Algèbre linéaire et optimisation]]
[[MATH801: Euclidean Geometry and refines]]


[[MATH611 : Statistiques inférentielles]]
[[PHOX301 and PHOX501: Introduction to mathematical reasoning with PhoX]]


[[MATH801 : Géométrie affine et euclidienne]]
=== Computer at the University of Savoie ===


[[PHOX301 et PHOX501 : Initiation au raisonnement mathématique avec PhoX]]
[[INFO202: Computer and Multimedia]]


[[Projet en L3 MASS]]
<small> <strike> [[INFO204: Computer Science]] </ strike> </ small>


=== Informatiques à l'université de Savoie ===
[[INFO302: Introduction to Object Oriented Programming and Java]]


[[INFO202 : Informatique et multimédia]]
[[INFO401: Functional programming]]


[[INFO302 : Introduction à la Programmation Orientée Objet et Java]]
[[INFO502: Operating systems]]


[[INFO421 : Programmation fonctionnelle]]
<small> <strike> [[INFO505: Mathematics for computer science]] </ strike> </ small>


[[INFO424 : Projet en informatique]]
[[INFO505: graph algorithms]]


[[INFO502 : Systèmes d'exploitation]]
[[INFO508: Network]]


[[INFO505 : Programmation C]]
[[INFO510 and INFO511: Algorithms and Data Structures]]


[[INFO510 : Algorithmique : structures de données complexes]]
[[INFO517: Programming C]]


[[INFO511 : Algorithmique : algorithmes complexes]]
[[INFO604: Systems and Process synchronization]]


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


[[INFO607 : Algorithmique II]]
<small> <strike> [[INFO614: Mathematics for computer science]] </ strike> </ small>


[[INFO622 : Systèmes de synchronisation et Processus]]
[[INFO710: Additional database]]


[[INFO625 : Réseau]]
[[INFO719: Reminders and additional programming]]


[[INFO626 : Algorithmique avancée]]
<small> <strike> [[INFO719: reminders of algorithms and programming C]] </ strike> </ small>


[[INFO631 : Graphes et algorithmes]]
<small> <strike> [[INFO803: Computer]] (replaced by [[INFO719: reminders of algorithms and programming C]] </ strike> </ small>


[[INFO702 : Programmation générique et C++]]
[[INFO803: Object Design and Programming]] (ex <small> <strike> [[INFO719: Object Design and Programming]] </ strike> (passed in the second half) </ small>)


[http://lama.univ-savoie.fr/~raffalli/INFO725 INFO725 : Déduction Automatique]
[[INFO817: semantics of functional languages ​​and objects, evidence of programs]]


[[INFO803 : Conception et Programmation Objet]]
[[INFO821: Graphic]]


[[INFO804 : Introduction à l'Informatique Graphique]]
[[INFO006: Cryptology and Information Security]] (ex <small> <strike> [[INFO913: Cryptology and Information Security]] </ strike> (passed in the second half) </ small>)


[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]]
<small> <strike> [[INFO916: Course C]] (replaced by [[INFO719: reminders of algorithms and programming C]] </ strike> </ small>


[[INFO003 C1 : Analyse d'algorithmes]]
=== === Other courses


<strike><small>[[INFO910 : Cryptologie ]]</small></strike>
[[MSHS501 and MSHS601: Polls & Surveys]]
[[INFO002 : Cryptologie ]]


[[INFO001 : Traitement et analyse d'image]]
[[PHYS504: Computational methods for physics]]


=== Cours spécifiques CMI ===
[[PHYS710: Physics Simulation and modeling]]


[[VISI201_CMI : visite de laboratoire]]
[[MATH0980: algorithmic content of mathematical proofs]] (in the M2 of the University Claude Bernard in Lyon)


[[VISI301_CMI : projet de recherche et développement]]
[[Introduction to proof assistants (over LMFI)]]


[[VISI401_CMI : bibliographie scientifique]]
[[Template Programming (during LMFI)]]


[[VISI601_CMI : Algorithmique numérique]]
[[Language and categorical concepts in mathematics and computer science]] (during the Grenoble Graduate School of MstII)


[[PROJ602_CMI : Projet de recherche tuteuré]]
[[GIND401: Introduction to Object Oriented Programming in Java]]


[[PROJ002_CMI : Projet en traitement et analyse d'image]]
[[PROJ401: Project]]


=== Autres cours ===
== Usage == TP machines


[[Linux in the halls of TP Le Bourget | Start Linux]]


[[MSHS501 et MSHS601 : Enquête et sondage]]
[[How to compile the C? | Compiling C programs]]


[[PHYS504 : Méthodes informatiques pour la physique]]
Using the wiki == ==


[[PHYS710 : Simulation et modélisation en physique]]
Consult the [http://meta.wikipedia.org/wiki/Aide:Contenu User Guide] for information on using "wiki".


[[MATH0980 : contenu algorithmique des démonstrations mathématiques]] (cours du M2 de l'université Claude Bernard à Lyon)
In case of problems contact [mailto: Christophe Raffalli raffalli@univ-savoie.fr].


[[Initiation aux assistants de preuves (cours du LMFI)]]
== == Research Projects


[[Modèle de la programmation (cours du LMFI)]]
[[Discrete Geometry]]

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

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

[[Linux dans les salles de TP du Bourget|Démarrage sous Linux]]

[[Comment compiler le C ?|Compilation de programmes C]]

== Utilisation du 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:pierre.hyvernat@univ-smb.fr Pierre Hyvernat].

== Projets scientifiques ==

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

Récupérée de « http://os-vps418.infomaniak.ch:1250/mediawiki/index.php?title=Accueil&oldid=15147 »