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 ?
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