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 Systèmes informatiques Complexes et Intelligents et Mathématiques,
  • de la spécialisation Génie Informatique
  • de l'orientation Technologie de Systèmes d'Information (TSI) et
  • et de l'option Génie Logiciel - Systèmes Intelligents et Complexes (GL-SICO).

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é
ING1 
 Classe ING1 (supercours)Les invités sont autorisés dans ce coursRésumé

Informatique 
 SCILABRésumé

Mathématiques 
 ANALYSE NUMÉRIQUERésumé
 INTRODUCTION A LATEXLes invités sont autorisés dans ce coursRésumé
ING2 
 Classe ING2 (supercours)Les invités sont autorisés dans ce coursRésumé

Informatique 
 PROLOG (obsolète, remplacé par LOGIQUE COMPUTATIONNELLE - PROLOG)Résumé

Mathématiques 
 STATISTIQUE I & IIRésumé

TSI 
 ANALYSE DE DONNEESRésumé
 ALGORITHMES GENETIQUESRésumé

Systèmes Informatiques Formels 
 LOGIQUE COMPUTATIONNELLE - PROLOGRésumé
 INTELLIGENCE ARTIFICIELLE (obsolète)Les invités sont autorisés dans ce coursRésumé
 INTELLIGENCE ARTIFICIELLE COMPUTATIONNELLERésumé
 SYSTEMES EXPERTSLes invités sont autorisés dans ce coursRésumé
ING3 

Option GL - SICO 
 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é


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 Aujourd'hui Friday 3 September 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 29 30    
Afficher ou masquer le bloc

Prochains événements

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