« Accueil » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
Ligne 24 : | Ligne 24 : | ||
[[PHOX301 and PHOX501: Introduction to Mathematical Reasoning with PhoX]] |
[[PHOX301 and PHOX501: Introduction to Mathematical Reasoning with PhoX]] |
||
⚫ | * 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>]." |
||
=== Computer at the University of Savoie === |
=== Computer at the University of Savoie === |
||
Ligne 108 : | Ligne 110 : | ||
== == Research Projects |
== == Research Projects |
||
⚫ | 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>]." |
||
[[Discrete Geometry]] |
[[Discrete Geometry]] |
Version du 15 juin 2011 à 10:32
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
- Write your article. Know to choose attractive title for your articles. The best example will be "Hints On Choosing Dependable Halloween Contacts."
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
INFO505: Mathematics for Computer Science </ strike> </ small>
INFO510 and INFO511: Algorithms and Data Structures
INFO604: Systems and Process Synchronization
INFO614: Mathematics for Computer Science </ strike> </ small>
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
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
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