Séance de cours

Biens importants des organismes archiméens

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.

Description

Cette séance de cours traite d'une propriété importante des organismes archimèdes, qui se concentre plus particulièrement sur la propriété archimède. Il couvre la proposition que pour tous x dans un ensemble, il existe un nombre réel positif n tel que n*x est plus grand que y. La démonstration consiste à construire un argument logique pour prouver que la proposition est vraie.

Dans MOOCs (2)

Analyse I

Ce cours traite de : Partie 1 : Prélude, notions de base, les nombres réels. Partie 2 : Introduction aux nombres complexes. Partie 3 : Suites de nombres réels I et II. Partie 4 : Limite d'une fonction, fonctions continues. Partie 5 : Fonctions continues et fonctions dérivables, la fonction dérivée. Partie 6 : Etudes des fonctions, développements limités. Partie 7 : Intégrales indéfinies et définies, intégration (chapitres choisis).

Analyse I (partie 1) : Prélude, notions de base, les nombres réels

Vous savez calculer la valeur de sin(π/4)? L'identité ln(xy)=ln(x)+ln(y) vous paraît familière? Dans le prélude nous rappelons et approfondissons quelques notions de ce type, en particulier les fonctions trigonométriques sin, cos et tan et leurs propriétés, le concept des fonctions réciproques telles que exp et ln, certaines règles de calcul concernant les puissances, les logarithmes et les racines, les ensembles et les fonctions. Après nous discutons les systèmes de nombres: basé sur la notion "intuitive"

Source officielle

Quiz

Concepts associés (22)

Nombre réel

En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entière et une liste finie ou infinie de décimales. Cette définition s'applique donc aux nombres rationnels, dont les décimales se répètent de façon périodique à partir d'un certain rang, mais aussi à d'autres nombres dits irrationnels, tels que la racine carrée de 2, π et e.

Construction des nombres réels

En mathématiques, il existe différentes constructions des nombres réels, dont les deux plus connues sont : les coupures de Dedekind, qui définissent, via la théorie des ensembles, un réel comme l'ensemble des rationnels qui lui sont strictement inférieurs ; les suites de Cauchy, qui définissent, via l'analyse, un réel comme une suite de rationnels convergeant vers lui. C'est à partir des années 1860 que la nécessité de présenter une construction des nombres réels se fait de plus en plus pressante, dans le but d'asseoir l'analyse sur des fondements rigoureux.

Argumentation

L’argumentation est l'action de convaincre et pousser ainsi l'autre à agir. Contrairement à la persuasion, elle vise à être comprise de tous et résiste à l'utilisation d'arguments fallacieux. L’argument est, en logique et en linguistique, l’ensemble des prémisses données en support à une conclusion. Une argumentation est composée d'une conclusion et d'un ou de plusieurs « éléments de preuve », que l'on appelle des prémisses ou des arguments, et qui constituent des raisons d'accepter cette conclusion.

Logical form

In logic, logical form of a statement is a precisely-specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system. In an ideal formal language, the meaning of a logical form can be determined unambiguously from syntax alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one string that represents the same logical form in a given language.

Déduction logique

La déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses.

Afficher plus

Séances de cours associées (64)

Logique du prédicat : Quiz Questions Réponses

Couvre les réponses aux questions de quiz sur la logique des prédicats.

Introduction aux nombres réels

Présente les propriétés et la structure des nombres réels, en mettant l'accent sur l'exhaustivité et la propriété archimédienne.

Introduction aux nombres réels MOOC: Analyse I MOOC: Analyse I (partie 1) : Prélude, notions de base, les nombres réels

Introduit la structure axiomatique des nombres réels et de leurs propriétés, y compris l'exhaustivité et la propriété Archimède.

Propriétés des nombres réels

Explique les propriétés des sous-ensembles de nombres réels, y compris Supremum, Infimum, intervalles, ensembles ouverts et ensembles fermés.

Nombres réels : Ensembles et opérations

Explore les concepts fondamentaux des nombres réels, y compris les ensembles, les opérations et les propriétés comme supremum et infimum.

Afficher plus

Concepts associés (22)

Nombre réel

Construction des nombres réels