« Accueil » : différence entre les versions

De Wiki du LAMA (UMR 5127)
Aller à la navigation Aller à la recherche
Aucun résumé des modifications
Ligne 1 : Ligne 1 :
__FORCETOC__
__FORCETOC__
<big>Le wiki du [http://www.lama.univ-savoie.fr LAMA (UMR 5127)]</big>
<big> The wiki [http://www.lama.univ-savoie.fr 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].
This wiki contains some courses offered by the chains of [http://www.sfa.univ-savoie.fr UFR SFA].
Changes, even the creations of pages students are welcome. If course creation,
Les modifications, voire les créations de pages par les étudiants sont les bienvenues. En cas de création de cours,
thank you to register with your real name and model take on existing courses.
merci de vous inscrire avec votre vrai nom et prenez modèle sur les cours existants.




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


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


[[MATH203 : Introduction à l'algèbre]]
[[MATH203: Introduction to Algebra]]


[[MATH206 : Probabilités et Statistiques]]
[[MATH206: Probability and Statistics]]


[[MATH304 : Mathématiques pour les sciences III]]
[[MATH304: Mathematics for Science III]]


[[MATH508 : Algèbre linéaire et optimisation]]
[[MATH508: Linear Algebra and Optimization]]


[[MATH611 : Statistiques inférentielles]]
[[MATH611: inferential statistics]]


[[MATH801 : Géométrie affine et euclidienne]]
[[MATH801: affine and Euclidean geometry]]


[[PHOX301 et PHOX501 : Initiation au raisonnement mathématique avec PhoX]]
[[PHOX301 and PHOX501: Introduction to Mathematical Reasoning with PhoX]]


=== informatiques à l'université de Savoie ===
=== Computer at the University of Savoie ===


[[INFO202 : Informatique et multimédia]]
[[INFO202: Information and Media]]


<small><strike>[[INFO204 : science informatique]]</strike></small>
<small> <strike> [[INFO204: Computer Science]] </ strike> </ small>


[[INFO302 : Introduction à la Programmation Orientée Objet et Java]]
[[INFO302: Introduction to Object Oriented Programming and Java]]


[[INFO401 : Programmation fonctionnelle]]
[[INFO401: Functional programming]]


[[INFO502 : Systèmes d'exploitation]]
[[INFO502: Operating systems]]


<small><strike>[[INFO505 : Mathématiques pour l'informatique]]</strike></small>
<small> <strike> [[INFO505: Mathematics for Computer Science]] </ strike> </ small>


[[INFO505 : algorithmes de graphes]]
[[INFO505: graph algorithms]]


[[INFO508 : Réseau]]
[[INFO508: Network]]


[[INFO510 et INFO511 : Algorithmique et structures de données]]
[[INFO510 and INFO511: Algorithms and Data Structures]]


[[INFO517 : Programmation C]]
[[INFO517: C Programming]]


[[INFO604 : Systèmes de synchronisation et Processus]]
[[INFO604: Systems and Process Synchronization]]


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


<small><strike>[[INFO614 : Mathématiques pour l'informatique]]</strike></small>
<small> <strike> [[INFO614: Mathematics for Computer Science]] </ strike> </ small>


[[INFO710 : Compléments de base de données]]
[[INFO710: Additional database]]


[[INFO719 : rappels et compléments de programmation]]
[[INFO719: Reminders and additional programming]]


<small><strike>[[INFO719 : rappels d'algorithmique et programmation C]]</strike></small>
<small> <strike> [[INFO719: reminders of algorithms and programming C]] </ strike> </ small>


<small><strike>[[INFO803 : informatique]] (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]</strike> </small>
<small> <strike> [[INFO803: Computer]] (replaced by [[INFO719: reminders of algorithms and programming C]] </ strike> </ small>


[[INFO803 : Conception et Programmation Objet]] (ex <small><strike>[[INFO719 : Conception et Programmation Objet]]</strike> (passé au second semestre)</small>)
[[INFO803: Designing and Programming Object]] (ex <small> <strike> [[INFO719: Designing and Programming Object]] </ strike> (passed in the second half) </ small>)


[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]]
[[INFO817: Semantic objects and functional languages, program verification]]


[[INFO821 : Infographie]]
[[INFO821: Graphic]]


[[INFO006 : Cryptologie et sécurité informatique]] (ex <small><strike>[[INFO913 : Cryptologie et sécurité informatique]]</strike> (passé au second semestre)</small>)
[[INFO006: Cryptology and Information Security]] (ex <small> <strike> [[INFO913: Cryptology and Information Security]] </ strike> (passed in the second half) </ small>)


<small><strike>[[INFO916 : Cours de C]] (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]</strike> </small>
<small> <strike> [[INFO916: Course C]] (replaced by [[INFO719: reminders of algorithms and programming C]] </ strike> </ small>


=== Autres cours ===
=== === Other courses


[[MSHS501 et MSHS601 : Enquête et sondage]]
[[MSHS501 and MSHS601: Survey and Survey]]


[[PHYS504 : Méthodes informatiques pour la physique]]
[[PHYS504: Computational methods for physics]]


[[PHYS710 : Simulation et modélisation en physique]]
[[PHYS710: Physics Simulation and modeling]]


[[MATH0980 : contenu algorithmique des démonstrations mathématiques]] (cours du M2 de l'université Claude Bernard à Lyon)
[[MATH0980: algorithmic content of mathematical proofs]] (M2 during the University Claude Bernard Lyon)


[[Initiation aux assistants de preuves (cours du LMFI)]]
[[Introduction to proof assistants (over LMFI)]]


[[Modèle de la programmation (cours du LMFI)]]
[[Template Programming (during LMFI)]]


[[Categorical language and concepts in mathematics and computer science]] (during the Grenoble Graduate School MSTII)
[[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]]
[[GIND401: Introduction to Object Oriented Programming in Java]]


[[PROJ401 : Projet]]
[[PROJ401: Project]]
Many thanks for sharing this fantastic article. Please keep up this blog as it??™s one of my favorite blog in my reader, thanks =-=
Many thanks for sharing this fantastic article. Please keep up this blog have it? ™ s one of my favorite blog in my reader, thanks =-=


== Utilisation des machines de TP ==
Using machines == == TP


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


[[How to compile the C? | Compiling C programs]]
[[Comment compiler le C ?|Compilation de programmes C]]


== Utilisation du wiki ==
Using the wiki == ==


Consultez le [http://meta.wikipedia.org/wiki/Aide:Contenu Guide de l'utilisateur] pour plus d'informations sur l'utilisation des "wiki".
Consult the [http://meta.wikipedia.org/wiki/Aide:Contenu User's Guide] for more information on using "wiki".


En cas de problème contacter [mailto:raffalli@univ-savoie.fr Christophe Raffalli].
In case of problems contact [mailto: Christophe Raffalli raffalli@univ-savoie.fr].


* [http://www.acheterviagrafr.fr/buy_cialis_fr.html acheter cialis]
* [Http://www.acheterviagrafr.fr/buy_cialis_fr.html buy cialis]


== == Research Projects
== Projets scientifiques ==


Write your article. Know to choose attractive title for your articles. The best example will be "Hints On Choosing Dependable <span class="plainlinks">[http://www.discount-lenses.com <span style="color:black;font-weight:normal; text-decoration:none!important; background:none!important; text-decoration:none;">Halloween Contacts</span>]."
[[ Géométrie discrète ]]


[[Discrete Geometry]]
[http://cvresumewritingservices.org/ resume service]


[http://cvresumewriters.com/ resume writers]
[Http://cvresumewritingservices.org/ resume service]

[Http://cvresumewriters.com/ resume writers]

Version du 15 juin 2011 à 10:27

The wiki LAMA (UMR 5127) </ big>

This wiki contains some courses offered by the chains of UFR SFA. Changes, even the creations of pages students are welcome. If course creation, thank you to register with your real name and model take on existing courses.


== == Course List

Mathematics at the University of Savoie

MATH203: Introduction to Algebra

MATH206: Probability and Statistics

MATH304: Mathematics for Science III

MATH508: Linear Algebra and Optimization

MATH611: inferential statistics

MATH801: affine and Euclidean geometry

PHOX301 and PHOX501: Introduction to Mathematical Reasoning with PhoX

Computer at the University of Savoie

INFO202: Information and Media

INFO204: Computer Science </ strike> </ small>

INFO302: Introduction to Object Oriented Programming and Java

INFO401: Functional programming

INFO502: Operating systems

INFO505: Mathematics for Computer Science </ strike> </ small>

INFO505: graph algorithms

INFO508: Network

INFO510 and INFO511: Algorithms and Data Structures

INFO517: C Programming

INFO604: Systems and Process Synchronization

INFO606: Databases

INFO614: Mathematics for Computer Science </ strike> </ small>

INFO710: Additional database

INFO719: Reminders and additional programming

INFO719: reminders of algorithms and programming C </ strike> </ small>

INFO803: Computer (replaced by INFO719: reminders of algorithms and programming C </ strike> </ small>

INFO803: Designing and Programming Object (ex INFO719: Designing and Programming Object </ strike> (passed in the second half) </ small>)

INFO817: Semantic objects and functional languages, program verification

INFO821: Graphic

INFO006: Cryptology and Information Security (ex INFO913: Cryptology and Information Security </ strike> (passed in the second half) </ small>)

INFO916: Course C (replaced by INFO719: reminders of algorithms and programming C </ strike> </ small>

=== === Other courses

MSHS501 and MSHS601: Survey and Survey

PHYS504: Computational methods for physics

PHYS710: Physics Simulation and modeling

MATH0980: algorithmic content of mathematical proofs (M2 during the University Claude Bernard Lyon)

Introduction to proof assistants (over LMFI)

Template Programming (during LMFI)

Categorical language and concepts in mathematics and computer science (during the Grenoble Graduate School MSTII)

GIND401: Introduction to Object Oriented Programming in Java

PROJ401: Project Many thanks for sharing this fantastic article. Please keep up this blog have it? ™ s one of my favorite blog in my reader, thanks =-=

Using machines == == TP

Starting Linux

Compiling C programs

Using the wiki == ==

Consult the User's Guide for more information on using "wiki".

In case of problems contact [mailto: Christophe Raffalli raffalli@univ-savoie.fr].

== == Research Projects

Write your article. Know to choose attractive title for your articles. The best example will be "Hints On Choosing Dependable Halloween Contacts."

Discrete Geometry

resume service

resume writers