FICHE MODULE ??? / M2 ISI

TITRE : Logique linéaire

DUREE  : 4 semaines (évaluation comprise)

RESPONSABLE  : André Hirschowitz
QUALITE/CV : Professeur de mathématiques à l'UNS

AUTRES INTERVENANTS ACADEMIQUES (Nom / Etablissement) : Néant
AUTRES INTERVENANTS EN ENTREPRISE (Nom / Entreprise) : Néant

RESUME  : La logique linéaire, son rapport avec les jeux, son rapport avec les autres logiques, ses preuves et ses modèles.

OBJECTIFS (2 lignes) : Habituer les étudiants à cette nouvelle logique.

CONTENU (1 ligne par séance si possible au format [Titre ] [Nature (C / TD / TP)] [Durée] [Intervenant] ) :
Le tiers-exclu C 3h AH
Un jeu pour MALL C 2h AH
Preuves et stratégies pour MALL C 3h AH
...

PREREQUIS : Néant.

BIBLIOGRAPHIE : Le cours de DiCosmo et Danos

SUPPORT de COURS :

 

Site Web du Cours

Polycopié du cours

Copie des transparents

Support de cours

 à bâtir


 à écrire

 

MODE D’EVALUATION :

 

Présentation Orale

Ecrit en temps limtié

Livraison sur Site Web

Production Logicielle

 

 

 x

Rédaction d’un mémoire

 x

 

 

Examen

 

 x

 

Mettre une croix dans le mode d'évaluation choisi

AUTRES INFORMATIONS :

Si nous devions illustrer ces enseignements avec des visites d’entreprises locales, quelles seraient-elles ? : 

Pour les quatre parcours suivants, quel est, selon vous, l’intérêt de votre module ?

PARCOURS

Sans intérêt

Peu d’intérêt

Beaucoup d’intérêt

Indispensable

SSR : Système, Sécurité et Réseaux

 

 

 x

 

CID : Connaissance, Information, Décision

 

 

 xx

 

IAM : Informatique Ambiante et Mobile

 

 

 

 

VIM : Vision, Image et Multimédia    x    
Ambiant Computing, Grid Computing and Network Computing      x  
Business Management and Information technology    x    
Système d’information    xx    
Intéraction homme-machines        

Les quatre premiers parcours correspondent à des spécialités habilitées, les quatres suivant correspondent à un affichage interne et à une possibilité de suivre cet ensemble de cours.

 

Y-a-t’il Club d’étudiants pour prolonger l’activité de ce module dans les activités extra-scolaires ? Si oui lequel ? non

Y-a-t’il une compétition ouverte aux étudiants à laquelle prépare ce module ? non