Séances de cours associées (48)
Algèbre booléenne : programmation de Python
Présente les concepts d'algèbre booléenne et leur application dans la programmation Python.
Gestion de la mémoire: Abstraction d'espace d'adresse
Explique l'abstraction de l'espace d'adressage, en se concentrant sur la gestion de la mémoire, les structures de pile et de tas, et leurs rôles dans l'allocation dynamique de la mémoire.
Concepts de programmation C: Débogage et gestion de la mémoire
Couvre les concepts de programmation C essentiels, y compris la gestion de la mémoire, les techniques de débogage et les applications pratiques dans les projets de programmation.
Abstraction de processus : gestion de l'exécution et des ressources
Couvre l'abstraction des processus dans les systèmes d'exploitation, en se concentrant sur la gestion de l'exécution et l'allocation des ressources pour l'exécution de programmes simultanés.
Introduction aux scripts de preuve: bases de Ltac
Présente les bases du script de preuve en Coq, en se concentrant sur le langage Ltac et ses tactiques pour gérer efficacement les preuves.
Piles et files d'attente: mise en œuvre et efficacité
Explore la mise en œuvre et l'efficacité des piles et des files d'attente, ainsi qu'un défi algorithmique impliquant la détermination des ordres de train.
Allocation dynamique de la mémoire : comprendre les pointeurs en C
Fournit une vue d'ensemble de l'allocation dynamique de la mémoire en programmation C, en se concentrant sur les pointeurs et les techniques de gestion de la mémoire.

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.