Grands Concepts d'Informatique Fondamentale
L3 Informatique - Universite Cote d'Azur
Printemps 2023
Intervenants et affectation des groupes
- CM
- TD
- Christophe Crespelle : un seul groupe
- TP
- Christophe Crespelle : un seul groupe
Emploi du temps
Tous les CM/TD/TP ont lieu en salle M.III.3 sur le campus de Valrose.
| Date | 8h30-10h30 | 10h45-12h15 | Pause | 13h15-14h45 |
| mardi 17/01 | CM |
| | |
| mardi 24/01 | CM | TD | | TD |
| | |
| mardi 31/01 | CM | TD | | TD |
| | |
| mardi 07/02 | CM | TD | | TD |
| | |
| mardi 14/02 | CM | TP | | TP |
| | |
| mardi 21/02 | VACANCES |
| | |
| mardi 28/02 | CM | TD | | TD |
| | |
| mardi 07/03 | CM | TD | | TD |
| | |
| mardi 14/03 | CM | TD | | TD |
| | |
| mardi 21/03 | CM | TD | | TD |
| | |
| mardi 28/03 | CM | TD | | TD |
| | |
| mardi 04/04 | CM | TD | | TD |
| | |
| mardi 11/04 | CM | TD | | TD |
| | |
| mardi 18/04 | TD
Attention: 9h00 - 12h15 |
Supports
Vous pouvez retrouver les videos des seances en hybride sur la playlist youtube.
CM
Les notes de cours deposees sur cette page sont prises par les etudiants suivant le cours au printemps 2022-2023, coordination assuree par Julie Betbeder. Merci a eux et a elle!
- notes CM nº1 : Introduction
- notes CM nº2 : Indenombrabilite -- methodes de preuve, bijection, denombrabilite de ℕ, ℤ et ℕ2
- notes CM nº3 : Indenombrabilite -- denombrabilite de ℚ et des nombres algebriques, indenombrabilite de ℝ
- notes CM nº4 : Indecidabilite -- introduction, machines de Turing
- notes CM nº5 : Indecidabilite -- machines de Turing (suite)
- notes CM nº6 : Indecidabilite -- modeles augmentes des machines de Turing (ex: ruban doublement infini)
- notes CM nº7 : Indecidabilite -- machines de Turing universelles
- notes CM nº8 : Indecidabilite -- un premier langage indecidable L0 par procede d'extraction diagonal
- notes CM nº9 : Indecidabilite -- reduction entre langages indecidables, indecidabilite de LA par auto-referencement negatif (paradoxe du barbier)
TD
- TD 1 : Indenombrabilite et denombrabilite
- TD 2 : Machines de Turing
- TD 3 : Indecidabilite
TP
Le simulateur de machines de Turing de morphett.info, accessible en interface web.
Evaluation de l'UE
- exam final (coef. 60%)
- controle continu (coef. 40%)
Retour a la page enseignements