Nous faisons actuellement face à d'importantes perturbations en raison de problèmes liés à l'infrastructure de stockage de l'Université, dont nous sommes tributaires. Bien que les enregistrements soient effectués correctement, leur publication subit des retards, et la lecture peut être instable.
Pour suivre l'évolution de la situation et obtenir plus d'informations, nous vous invitons à consulter la page de statut de nos services e-learning. https://elearning.unige.ch/statut-elearning/
Nous mettons tout en œuvre pour rétablir rapidement un fonctionnement normal. Nous vous remercions de votre compréhension.
Vous avez été redirigé.e vers la plateforme de secours. Si vous rencontrez encore des problèmes (bug, etc.), nous vous serions reconnaissants de les signaler à l'adresse suivante : mediaserver@unige.ch
Merci également d'indiquer que vous vous trouvez actuellement sur la plateforme de secours.
Complexité et calculabilité / cours
Centre universitaire d'informatique CUI
Directement rattaché au CUI
Expire le : February 20 2025
cours
non publié
Index | Date de création | Title | publié | visibilité | Durée | # Vues |
---|---|---|---|---|---|---|
1 | Tuesday 19 March 2024 | Cours 5 : Théorème de Rice (et degrés de Turing) | visible | 01h44'59'' | 49 | |
2 | Tuesday 16 April 2024 | Cours 7 - Classes de complexité basiques | visible | 01h44'59'' | 42 | |
3 | Tuesday 28 May 2024 | Séance d'exercices (A. Berger) | visible | 01h44'59'' | 57 | |
4 | Tuesday 12 March 2024 | Cours 4 : Diagonalisation et indécidabilité | visible | 01h44'59'' | 42 | |
5 | Tuesday 14 May 2024 | Cours 11 et 12 : Exemples de réductions (11) et Théorème de Cook-Levin (12) | visible | 01h44'59'' | 46 | |
6 | Tuesday 23 April 2024 | Cours 8 : Relations connues; non-déterminisme; théorème de Savitch | visible | 01h44'59'' | 43 | |
8 | Tuesday 9 April 2024 | Complexité et calculabilité / exercices (révision) | visible | 01h44'59'' | 114 | |
9 | Tuesday 5 March 2024 | Cours 3 : Décidable, reconnaissable, simulation | visible | 01h44'59'' | 90 | |
10 | Tuesday 26 March 2024 | Cours 6 : Introduction à la complexité algorithmique | visible | 01h44'59'' | 46 | |
11 | Tuesday 20 February 2024 | Cours 2 : Rappels de langages formels | visible | 01h44'59'' | 65 | |
12 | Tuesday 30 April 2024 | Cours 9 : Classe NP | visible | 01h44'59'' | 41 | |
13 | Tuesday 7 May 2024 | Cours 10 : NP-complétude | visible | 01h44'59'' | 44 | |
14 | Tuesday 21 May 2024 | Séance d'exercices (A. Berger) | visible | 01h44'59'' | 67 |