Parcourir les exercices

Programme de mathématiques BCPST, première année · semestre 1

Outils 1 – Logique, ensembles et raisonnemment

Rechercher dans cette partie du programme
166 exercices
Texte officiel du programme

Les notions présentées ci-dessous, introduites dès la classe de Seconde, sont reprises comme outils pour l’algorithmique et les probabilités et doivent faire l’objet d’un développement très modeste sans abstraction excessive. Les exemples illustrant ces notions seront une première occasion d’introduire des situations probabilistes.

Ces notions ne pourront constituer le thème principal d’aucune question d’écrit ou d’oral.

L2 Algèbre Groupe, anneau, corps

exo7 2971

Soit \(E\) un ensemble fini muni d’une opération interne \(*\) assoc ...

L2 Algèbre Groupe, anneau, corps

exo7 2974

Soit \(E\) un ensemble et \(G = {\cal P}(E)\).

L2 Algèbre Groupe, anneau, corps

exo7 2986

Soit \(G\) un groupe n’ayant pas de sous-groupe non trivial. Montrer que \(G\) es ...

L2 Algèbre Groupe, anneau, corps

exo7 2994

Soit \(G\) un groupe fini et \(H\) un sous-groupe de ...

L2 Algèbre Groupe, anneau, corps

exo7 2995

Soient \(H,K\) deux sous-groupes d’un groupe \(G\). Pour ...

L2 Algèbre Groupe, anneau, corps

exo7 3005

Soit \(E\) un ensemble fini et \(A = {\cal P}(E)\).

L1 Algèbre Dénombrement

exo7 3055

Soit \(n \in \N^*\). Montrer qu’il existe \(p \in \N\) et ...

L1 Algèbre Dénombrement solution

exo7 3060

Soit \(f : {\N} \to {\N}\) telle que : ...

L1 Analyse Propriétés de R solution

exo7 3147

Soit \(x\in\Q\), \(0<x<1\). On définit une suite ...

L1 Analyse Propriétés de R solution

exo7 451

Démontrer que si \(r \in \Q\) et \(x \notin \Q\) alors ...

L1 Analyse Propriétés de R solution

exo7 461

Montrer que \(\frac{\ln 3}{\ln 2}\) est irrationnel.

L1 Analyse Propriétés de R

exo7 470

Étant donné un ensemble \(A \subset\mathbb{R}\), écrire avec des quantificateurs les propriétés suivantes :

L1 Analyse Propriétés de R

exo7 487

Démontrer par récurrence sur \(n\) que pour tout \(n\geq 2\) l’implication ...

L1 Algèbre Logique, ensemble, raisonnement solution

exo7 5103

Exprimer à l’aide de quantificateurs les phrases suivantes puis donner leur négation.

L1 Algèbre Logique, ensemble, raisonnement solution

exo7 5104

Donner la négation des phrases suivantes

L1 Algèbre Logique, ensemble, raisonnement solution

exo7 5105

Les phrases suivantes sont-elles équivalentes ?

L1 Analyse Série numérique solution

exo7 5108

Montrer par récurrence que, pour tout \(n\in\Nn^*\), ...

L1 Analyse Série numérique solution

exo7 5109

Montrer par récurrence que, pour tout naturel non nul \(n\), ...

L1 Algèbre Logique, ensemble, raisonnement solution

exo7 5113

Soient \((A_i)_{i\in I}\) une famille de parties d’un ensemble \(E\) indéxée par ...

L1 Algèbre Logique, ensemble, raisonnement solution

exo7 5117

Montrer qu’il existe une injection de \(E\) dans \(\mathcal{P}(E)\).

L1 Analyse Propriétés de R solution

exo7 5209

Montrer que les nombres suivants sont irrationnels.

L1 Analyse Suite solution

exo7 5241

Montrer que, pour \(n\geq2\),

...

L1 Algèbre Dénombrement solution

exo7 5289

On donne \(n\) droites du plan. On suppose qu’il n’en existe pas deux qui soient parallèles, ni trois qui soient c ...

L2 Algèbre Arithmétique solution

exo7 5302

Soit \((u_n)_{n\in\Nn}\) la suite définie par \(u_0=0\), ...

L1 Analyse Suite

exo7 560

On considère la suite réelle définie par : \[x_0=1 \quad\mbox{et} \quad x_{n+1}= \sqrt{2x_n+1}.\]

L2 Probabilité et statistique Probabilité discrète solution

exo7 5985

Si \(30\) personnes sont présentes à un réveillon et si, à minuit, chaque personne fait ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7011

Montrer \(\forall n \in \N,\: \sum_{k=0}^n k^3=\frac{n^2(n+1)^2}{4}\).

L1 Algèbre Logique, ensemble, raisonnement

exo7 7012

Montrer que pour tout entier \(n\) positif, l’entier \(10^n - (-1)^n\) est divisi ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7013

Soit \((u_n)_{n\in\N}\) la suite de nombres réels définie par \(u_0=0\) et pour t ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7016

Soit \((u_n)_{n\in\N}\) la suite de nombres réels définie par \(u_0=1\), ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7017

Montrer que pour tout \(n\in \N\), la somme des \(n\) premiers entiers positifs i ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7018

Montrer : \(\forall u\in \R, \forall n\in \N, |\sin(nu)|\leq n|\sin(u)|\).

L1 Algèbre Logique, ensemble, raisonnement

exo7 7019

Soit \(a \in \R_+\). Montrer ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7020

Soit \(a\in]0,\pi/2[\), et définissons une suite réelle par \(u_0=2\cos(a)\) et p ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7021

Définissons une suite par \(u_0=1\) et pour tout \(n \in\N\), ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7023

Soit \(A\) une partie de \(\N^*\) contenant ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7024

Démontrer que tout entier \(n\geq 1\) peut s’écrire comme somme de puissances de deux distinctes.

L1 Algèbre Logique, ensemble, raisonnement

exo7 7025

Démontrer que tout entier \(n\geq 1\) peut s’écrire de façon unique sous la forme ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7035

Montrer que pour tout \(n>1\) on a l’inégalité ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7036

Montrer que pour tout entier \(N\geq 2\), ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7037

Montrer que pour tous \(a,b > 0\) distincts et tout \(n >1\), on a l’inégal ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7038

Parmi les énoncés suivants, lesquels permettent d’en déduire que \(P_n\) est vraie pour tout ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7040

On définit une suite \((C_n)_{n\in\N}\) par \(C_0=1\) et pour tout naturel ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7041

Soit \(x\) un réel tel que \(x+\frac{1}{x}\) soit entier. Montrer que pour tout ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7043

Soit \((u_n)_{n\in\N}\) la suite réelle définie par \(u_0=1\) et pour tout ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7044

Soit \(n\in \N^*\). On trace \(n\) cercles dans le plan. Montrer que l’on peut co ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7046

Déterminer les valeurs de \(n\) pour lesquelles le nombre ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7186

Soit \(E\) un ensemble et \(\mathcal O\) une partie de ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7187

Dans l’ensemble \(\R\), il existe une notion de partie bornée : c’est une partie qui est incluse dans un ...

L1 Algèbre Logique, ensemble, raisonnement

exo7 7188

Soit \(E\) un ensemble et \(\mathcal A\) une partie de ...