Séance de cours

Techniques logiques et de preuve

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.

Dans cours

MATH-101(g): Analyse I

Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. ...

Description

Cette séance de cours aborde des sujets tels que les entiers et les rationnels, la logique, les techniques de preuve, les relations, les fonctions, la composition des fonctions, les fonctions réciproques, les classes d'équivalence, les entiers et les rationnels (IN, Z, Q). L'instructeur explique les concepts à l'aide d'exemples et de tableaux de vérité pour illustrer les implications et les équivalences.

Enseignant·e·s (2)

Annalisa Buffa

Enseignement et PhD Doctorant·es actuel·les Gonzalo Bonilla Moreno, Philipp Christoph Weder, Yannis Dirk Voet, Fabio Marcinno, Ferhat Sindy, Francesco Sala, Markus Renoldner, Mohamed Ben Abdelouahab, Davor Dobrota A dirigé les thèses EPFL de Luca Coradello, Ondine Chanon, Riccardo Puppi Cours Numerical approximation of PDEs MATH-451 Ce cours porte sur la dérivation, l'analyse théorique et l'implémentation de la méthode des éléments finis pour l'approximation numérique des équations aux dér

Lénaïc Chizat

Enseignement et PhD Doctorant·es actuel·les Javier Esteban Maass Martinez A dirigé les thèses EPFL de Guillaume Yitian Wang Cours Computational optimal transport MATH-528 Aspects computationnels de la théorie du transport de mesures, du problème classique du transport optimal classique au modèles de diffusion modernes. Topics in machine learning MATH-520 Analyse mathématique des techniques modernes d'apprentissage supervisé, avec une emphase sur les réseaux de neurones arti

Source officielle

Concepts associés (32)

Entier quadratique

En mathématiques, un entier quadratique est un nombre complexe, racine d'un polynôme unitaire du second degré à coefficients entiers. La notion de nombre algébrique de degré inférieur ou égal à 2 est plus générale : elle correspond à un nombre complexe, racine d'un polynôme du second degré à coefficients seulement rationnels. Ces nombres particuliers disposent de propriétés algébriques.

Entier algébrique

En mathématiques, un entier algébrique est un élément d'un corps de nombres qui y joue un rôle analogue à celui d'un entier relatif dans le corps des nombres rationnels. L'étude des entiers algébriques est à la base de l'arithmétique des corps de nombres, et de la généralisation dans ces corps de notions comme celles de nombre premier ou de division euclidienne. Par définition, un entier algébrique est une racine d'un polynôme unitaire à coefficients dans Z.

Entier d'Eisenstein

thumb|Les entiers d'Eisenstein sont les points d'intersection d'un treillis triangulaire dans le plan complexe. En mathématiques, les 'entiers d'Eisenstein', nommés en l'honneur du mathématicien Gotthold Eisenstein, sont les nombres complexes de la forme où a et b sont des entiers relatifs et est une racine cubique primitive de l'unité (souvent autrement notée j). Les entiers d'Eisenstein forment un réseau triangulaire dans le plan complexe. Ils contrastent avec les entiers de Gauss qui forment un réseau carré dans le plan complexe.

Entier de Gauss

thumb|Carl Friedrich Gauss. En mathématiques, et plus précisément, en théorie algébrique des nombres, un entier de Gauss est un nombre complexe dont la partie réelle et la partie imaginaire sont des entiers relatifs. Il s'agit formellement d'un élément de l'anneau des entiers quadratiques de l'extension quadratique des rationnels de Gauss L'ensemble des entiers de Gauss possède une structure forte. Comme tous les ensembles d'entiers algébriques, muni de l'addition et de la multiplication ordinaire des nombres complexes, il forme un anneau intègre, généralement noté , désignant ici l'unité imaginaire.

Anneau des entiers

En algèbre commutative, l'anneau des entiers est une construction que l'on peut obtenir à partir de tout corps de nombres en considérant ses éléments entiers. Par exemple, l'anneau des entiers de est . Il existe des algorithmes efficaces pour calculer cet anneau pour tout corps de nombres. La notion peut en fait être étendue à d'autres objets (notamment les corps de fonctions), et porte une interprétation géométrique. Élément entier Soit K un corps de nombres. Un élément de K est dit entier s'il est racine d'un polynôme unitaire à coefficients dans .

Afficher plus

Séances de cours associées (64)

Introduction à l'analyse

Couvre les bases de l'analyse, y compris les preuves, les ensembles, les nombres rationnels et réels, et le concept d'infimum.

Relations en informatique

Explore les propriétés des relations en informatique, y compris les relations d'équivalence et la partition d'un ensemble.

Espaces de distribution et d'interpolation

Explore les espaces de distribution et d'interpolation, en montrant leur importance dans l'analyse mathématique et les calculs impliqués.

Fonctions et entiers

Couvre les fonctions, les entiers, le GCD et le raisonnement par récurrence, y compris l'algorithme euclidien et le principe d'induction.

Programmation R : conditions, boucles, fonctions et graphiques

Couvre les conditions, les boucles, les fonctions et les graphiques en programmation R avec des exemples pratiques.

Afficher plus

Concepts associés (32)