Non connecté. (Connexion)
Sauter le bloc 2

Bienvenue sur le site pédagogique de l'informatique formelle et des systèmes complexes.

Mathématiques, Informatique
et Typographie Scientifique
pour les Systèmes d'Information

Ce site regroupe des matières de mathématiques, de l'informatique et de la typographie scientifique, dont certaines sont enseignées à l'EISTI dans le cadre

  • des départements Informatique et Mathématiques,
  • de la spécialisation Génie Informatique
  • des parcours Génie de Systèmes d'Information (GSI) et Mathématique - Informatique (MI)
  • et des options  Ingénierie de Systèmes Intelligents et Complexes (ISICO) et Génie Logiciel (GL).

Catégories de cours

Pour commencer 
 Demonstration de Moodle (enseignants)Les invités sont autorisés dans ce coursCe cours nécessite une clef d'inscriptionRésumé
 Utilisation des editeurs en ligneLes invités sont autorisés dans ce coursRésumé
 Utilisation de Moodle (Etudiants)Les invités sont autorisés dans ce coursRésumé

ISICO 
 ACCUEIL (Se connecter en tant qu'invité)Les invités sont autorisés dans ce coursRésumé
CPI 1ère année 
 LATEX : INTRODUCTION - TIPE : PROJETSRésumé
ING1 
 ANALYSE NUMERIQUE (GI)Résumé
 Classe ING1 (supercours)Les invités sont autorisés dans ce coursRésumé

Informatique 
 PYTHON (GM)Résumé
 LOGIQUE COMPUTATIONNELLE & PROLOG (obsolet)Résumé
 SCILABRésumé

Mathématiques 
 ANALYSE NUMÉRIQUE (GM)Résumé
 INTRODUCTION A LATEXRésumé
ING2 
 Classe ING2 (supercours)Les invités sont autorisés dans ce coursRésumé

Informatique 
 PROLOG (obsolet, remplacé par LOGIQUE COMPUTATIONNELLE & PROLOG, 1e année)Résumé

Mathématiques 
 STATISTIQUERésumé

GSI - MI 
 MATRICES CREUSESRésumé
 STATISTIQUE MULTIVARIEERésumé
 ALGORITHMES GENETIQUES (cours obsolet)Résumé

Systèmes Informatiques Formels 
 LOGIQUE COMPUTATIONNELLE AVANCEE (obsolet)Résumé
 LOGIQUE COMPUTATIONNELLE - PROLOG (Obsolet)Résumé
 INTELLIGENCE ARTIFICIELLE (obsolet)Les invités sont autorisés dans ce coursRésumé
 INTELLIGENCE ARTIFICIELLE COMPUTATIONNELLERésumé
 SYSTEMES EXPERTS (obsolète)Les invités sont autorisés dans ce coursRésumé
ING3 

Options GL - IDSI - ISICO 
 Validation systèmes concurrentsRésumé
 SPARKRésumé
 VERIFICATION PAR ANALYSE STATIQUERésumé
 MÉTHODE BRésumé
 PYTHONRésumé
 LANGAGES, AUTOMATES, LOGIQUE TEMPORELLE APPLIQUES AUX SYSTEMES CONCURRENTSRésumé
 CULTURE GENERALERésumé
 AutoformationRésumé
 JAVA CONCURRENTRésumé
 NOTATION Z (Obsolete. remplace par LANGAGES, AUTOMATES, LOGIQUE TEMPORELLE)Résumé
 PRESENTATIONRésumé
 PROMELA - SPIN (Obsolete. remplace par LANGAGES, AUTOMATES, LOGIQUE TEMPORELLE...)Résumé
Formation des formateurs 
 Ecrire du Tek dans MoodleLes invités sont autorisés dans ce coursCe cours nécessite une clef d'inscriptionRésumé
 Concevoir un cours dans MoodleLes invités sont autorisés dans ce coursCe cours nécessite une clef d'inscriptionRésumé
Option IAD 
 PYTHONRésumé


Afficher ou masquer le bloc

Utilisateurs en ligne

Sauter le bloc 4
(10 dernières minutes)
Aucun
Lu Ma Me Je Ve Sa Di
        1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 Aujourd'hui Friday 29 April 29 30  
Afficher ou masquer le bloc

Prochains événements

Sauter le bloc 6
Il n'y a pas de prochain événement