« Accueil » : différence entre les versions

De Wiki du LAMA (UMR 5127)
Aller à la navigation Aller à la recherche
Ligne 60 : Ligne 60 :


[[Langage et concepts catégoriques pour les mathématiques et l’informatique]] (cours de l'École doctorale MSTII de Grenoble)
[[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]]


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

Version du 5 mars 2009 à 07:53

Le wiki du LAMA (UMR 5127)

Ce wiki contient certains cours dispensés par les filières de l'UFR SFA. 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.


Liste des cours

MATH203 : Introduction à l'algèbre

MATH206 : Probabilités et Statistiques

MATH304 : Mathématiques pour les sciences III

MATH508 : Algèbre linéaire et optimisation

MATH611 : Statistiques inférentielles

MSHS501 et MSHS601 : Enquête et sondage

INFO202 : Informatique et multimédia

INFO302 : Introduction à la Programmation Orientée Objet et Java

INFO401 : Programmation fonctionnelle

INFO502 : Systèmes d'exploitation

INFO505 : Mathématiques pour l'informatique

INFO510 et INFO511 : Algorithmique et structures de données

INFO517 : Programmation C

INFO614 : Mathématiques pour l'informatique

INFO710 : Compléments de base de données

INFO719 : rappels d'algorithmique et programmation C

INFO803 : informatique (remplacé par INFO719 : rappels d'algorithmique et programmation C

INFO803 : Conception et Programmation Objet (ex INFO719 : Conception et Programmation Objet (passé au second semestre))

INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes

INFO913 : Cryptologie et sécurité informatique

INFO916 : Cours de C (remplacé par INFO719 : rappels d'algorithmique et programmation C

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 M2 de Paris VII)

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

Utilisation des machines de TP

Démarrage sous Linux

Compilation de programmes C


Utilisation du wiki

Consultez le Guide de l'utilisateur pour plus d'informations sur l'utilisation des "wiki".

En cas de problème contacter Christophe Raffalli.