Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Biens importants des organismes archiméens

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 (partie 1) : Prélude, notions de base, les nombres réels

Analyse I

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 (32)

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 MOOC: Analyse I (partie 1) : Prélude, notions de base, les nombres réels MOOC: Analyse I

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

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.

Nombres réels : Ensembles et opérations

Couvre les concepts fondamentaux liés aux nombres réels, y compris les ensembles, les notations et les opérations.

Infimum et supreme de sous-ensembles

Couvre les concepts d'infimum et de supreme de sous-ensembles en nombres réels.