NOMBRES - Curiosités, théorie et usages

 

Accueil                           DicoNombre            Rubriques           Nouveautés      Édition du: 14/02/2018

Orientation générale        DicoMot Math          Atlas                   Références                     M'écrire

Barre de recherche          DicoCulture              Index alphabétique       Brèves de Maths    

 

Rubrique  LOGIQUE

 

Débutants

Logique

Lois de la LOGIQUE

 

Glossaire Logique

Inversion

ET

OU

Implication

Phrases

OU Exclusif

Équivalence

Multi-variable

Addition

 

Sommaire de cette page

>>> Logique formelle / raisonnement / intelligence artificielle

>>> Théorie des ensembles (mathématiques modernes)

>>> Logique / algèbre de Boole

>>> Réalisation / circuits logiques / ordinateurs

 

 

 

 

FONCTION LOGIQUE "ET"

 

ET

CONJONCTION

INTERSECTION

 

Deux choses présentes à la fois, absolument.

 Anglais : Conjunction

 

 

Logique formelle – Raisonnement – Intelligence artificielle

Conjonction

 

S = A ET B

 

Simple

*      Je mets mon pull et mon manteau.

 

Évolué

*      J’aime les animaux à fourrure.

 

Particulier

*      Il existe des animaux à 2 pattes.

*      Tous les oiseaux ont 2 pattes.

*      Aucun insecte n’a 2 pattes.

 

 

THÉORIE DES ENSEMBLES

                      (Mathématiques modernes)

 

Intersection

 

S = A  B

 

Mnémotechnique: symbole contraire du OU qui lui a un U

 

 

Exemples

 

 

 

 

Diagramme de Venn

 

 

Voir Diagramme de Venn

 

 

LOGIQUE / ALGÈBRE DE BOOLE

 

ET

 

S = A . B

 

 

Table de vérité

 

A

B

S = A . B

0

0

0

0

1

0

1

0

0

1

1

1

 

Fonctions

 

 

Voir Lois de Morgan

 

Diagramme de Karnaugh

 

Voir Diagramme de Karnaugh

 

 

 

 

RÉALISATION:

CIRCUITS LOGIQUES / ORDINATEURS

 

Circuit électrique:

     montage en série

 

 

 

Circuit électronique:

          porte ET

 

 

 

Voir Autres fonctions pour leur implémentation / Électronique

 

 

  

 

 

Suite

*   OU

*    LogiqueIndex

Voir

*    Énigmes et paradoxes

*    Fractales

*    Intelligence artificielle

*    Logique

*    Outils de la logique

*    Raisonnement

Cette page

http://villemin.gerard.free.fr/Wwwgvmm/Logique/LoLoET.htm