This commit is contained in:
Debucquoy Anthony 2022-10-09 20:01:01 +02:00
parent da9bf30edd
commit c5dab54425
Signed by: tonitch
GPG Key ID: A78D6421F083D42E
7 changed files with 51 additions and 6 deletions

View File

@ -3,13 +3,13 @@
-[Introduction](./intro.md) -[Introduction](./intro.md)
# Mathématiques élémentaires # Mathématiques élémentaires
# Fonctionnement des ordinateurs - [Rappel](./math/rappel/flux.md)
# Mathématiques pour l'informatique - [Logique](./math/logique/summary.md)
- [implication](./math/logique/implication.md)
- [induction](./math/logique/induction.md)
- [Inéquations](./math/ineq/summary.md)
- [Géométrie](./math/geo/summary.md)
# Programmation et algorithmique I # Programmation et algorithmique I
# Programmation et algorithmique II
# Projets d'informatique
# Calculus I
# Physique générale I # Physique générale I
- [Mecanique](./phys/meca/index.md) - [Mecanique](./phys/meca/index.md)
- [Chapitre 1](./phys/meca/chap1.md) - [Chapitre 1](./phys/meca/chap1.md)
# Physique générale II

1
src/math/geo/summary.md Normal file
View File

@ -0,0 +1 @@
# Géométrie

1
src/math/ineq/summary.md Normal file
View File

@ -0,0 +1 @@
# Inéquations

View File

@ -0,0 +1,21 @@
# implication
> Si **je conduis**, alors **je poséde un permis** </br>
> P ⇒ Q
L'implication est la plus compliquée en soit car le tableau de véritée est plus perturbant que les autres
P | Q | P ⇒ Q
::|:-:| :-:
1 | 1 | 1
1 | 0 |[^0]0
0 | 1 |[^1]1
0 | 0 |[^1]1
[^0]: Je conduis et n'ai pas de permis donc j'ai un procés
[^1]: Je ne conduis pas donc je n'ai pas de procés
- **Réciproque** : P ⇒ Q : Q ⇒ P (n'est pas équivalent)
- **Réciproque** : P ⇒ Q : \\( \neg{P} ⇒ \neg{Q} \\) (est equivalent)

View File

@ -0,0 +1,17 @@
# induction
Il nous faut:
- Un cas de base
- Un cas générale
## Preuve par induciton
> Le but est de montrer qu'une formule \\( \forall n \in \mathbb{N}_{(0)} P(n)\\) est Vraie
- Nous trouvrons le cas de base:
- Prouver que la formule suivante est vraie
\\[P(0 ou 1)\\]
- Cas générale
- Prouver que cette formule est vraie
\\[\forall{n} \in{\mathbb{N}} (P(n) \implies P(n+1))\\]

View File

@ -0,0 +1,4 @@
# Logique
- [implication](./implication.md)
- [Induction](./induction.md)

1
src/math/rappel/flux.md Normal file
View File

@ -0,0 +1 @@
# Rappel