Séance de cours

Définitions de la valeur et conditions

Graph Chat

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.

Séances de cours associées (61)

Analyse de terminaison à l'aide de paires de dépendances

Explore l'analyse automatisée de terminaison à l'aide de paires de dépendances, couvrant les techniques classiques et modernes, les concours annuels et des outils comme AProVE.

Types booléens et structures de contrôle

Explore les types booléens, les opérateurs logiques et les structures de contrôle en Python, en mettant l'accent sur l'évaluation des expressions et l'utilisation des opérateurs relationnels.

Nombres et booléens

Introduit des nombres et des booléens en Python, couvrant les types numériques, les opérations arithmétiques, les opérations logiques et les comparaisons.

Fonctions et état

Explore les fonctions, l'état, la réécriture et les objets stateful dans la programmation.

Programmation fonctionnelle: concepts et mise en œuvre

Couvre les concepts et la mise en œuvre de la programmation fonctionnelle dans Scala, mettant l'accent sur les fonctions, les données immuables et l'abstraction des données.

Bases de programmation Python

Introduit les bases de la programmation Python, couvrant les variables, les méthodes, les conditions, les boucles et la logique booléenne.

Flux de contrôle en Python : déclarations conditionnelles et boucles

Couvre le flux de contrôle en Python, en se concentrant sur les instructions conditionnelles et les boucles.

Python Basics: Fonctions et Listes

Introduit les bases de Python comme les types, les fonctions, les conditions, les boucles et les listes, avec des exemples de manipulation de chaîne et d'opérations de liste.

Algèbre booléenne : programmation de Python

Présente les concepts d'algèbre booléenne et leur application dans la programmation Python.

Quantum Circuits: Circuits classiques

Explore les circuits classiques de l'informatique quantique, y compris les fonctions booléennes et les portes réversibles.

Conditions et boucles: les bases de la programmation

Couvre les bases de la programmation, y compris les types, les variables, les méthodes, les fonctions, les conditions, les boucles et la logique booléenne.

Bases de programmation Python

Introduit les bases de programmation Python, couvrant les boucles, les fonctions, les listes et les conditions d'exécution de code.

Type booléen: Erreurs courantes

Résiste aux erreurs courantes avec le type booléen en Java et comment les éviter.

Sémantique dans le traitement du langage informatique: comprendre le sens

Couvre la sémantique des langages de programmation, en se concentrant sur le langage Add et le rôle des règles de réécriture et des machines CK dans la compréhension du sens.

Systèmes finis exprimés avec des formules

Explore les systèmes de transition finis, la logique propositionnelle, l'interprétation de la vérité, la satisfaction et la représentation des fonctions booléennes avec des circuits.

Modèles graphiques : Représentation des distributions probabilistes

Couvre les modèles graphiques pour les distributions probabilistes à l'aide de graphiques, de nœuds et de bords.

Théorie de calcul : Problèmes Définition et comptage (Dnumérabilité)

Explore la théorie du calcul, mettant l'accent sur la définition des problèmes, le comptage et les limites du calcul algorithmique.

Problème d'appariement booléen caché

Explore le problème de correspondance cachée booléenne, en se concentrant sur la distinction des messages avec une probabilité négligeable.

Générateurs aléatoires fonctionnels

Explore les générateurs aléatoires fonctionnels pour divers domaines et leur application dans des tests aléatoires systématiques.

Compilation des structures de contrôle

Couvre la compilation des structures de contrôle dans les langages de programmation.