Ce site est désormais accessible en

 

 http://diconombre.fr/index.html

 

et pour cette page voir le lien en fin de page

For this page, refer to the link at the bottom.

22 Novembre 2025

 

NOMBRES – Curiosités, Théorie et Usages

 

Accueil                           DicoNombre            Rubriques           Nouveautés      Édition du: 14/04/2026

Orientation générale        DicoMot Math          Atlas                   Actualités                       M'écrire

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

        

Mathématiques

 

Débutants

Débutant

LOGIQUE

 

Glossaire

Logique

 

INDEX

 

Général

 

Index

Débutants

En bref

Glossaire

Logique des propositions

Cours de logique

Place de la logique

 

Sommaire de cette page

>>> Index

>>> Bibliographie

 

 

 

 

*    La logique est une méthode systématique d'aboutir avec certitude à une mauvaise conclusion.              Loi de Murphy

 

*    Pour un moine, il est interdit de fumer durant la prière.

Mais, est-il possible de faire une prière lorsqu'il fume ?

 

*    Il a toutes les intelligences, sauf celle de ne pas le laisser voir

 

*    Pour éviter les fumeurs au restaurant: Envahissez la zone fumeur!

Logique qui profite de la non-symétrie de l'interdiction:

S'il est interdit de fumer dans zone non-fumeur;

Il n'est pas interdit de ne pas fumer dans la zone fumeur.

 

Voir Pensées & humour

 

 

PORTAIL – Index – Table des matières

 

Nb

>>>   1 + 1 = 2

>>>   2 + 2 = 5

>>>   3 maisons avec eau, gaz et électricité

>>>   4 couleurs pour une carte

>>>   5 pays et leurs frontières

>>> 30 euros ou 29 dans cet hôtel?

 

 

A

>>> Abeille et le voyageur de commerce

>>> Absurde

>>> Accélération de Gödel

>>> Achille et la tortue

>>> Additionneur

>>> Algorithme – Index des algorithmes

>>> Arbres (graphes)

>>> Assertions

>>> Autoréférences

>>> Automate

 

B

>>> Barbier

>>> Binaire

>>> Binet Alfred

>>> Boole (logique de -)

>>> Chapeaux et couleurs

 

 

C

>>> Candy Crush Saga

>>> Carrés logiques

>>> Cercle – Programmation

>>> Church

>>> Connecteurs

>>> Contraposée

>>> Copule (= verbe)

>>> Crises

>>> Cybernétique

 

D

>>> De Morgan (théorème)

>>> Déduction

>>> Deeper Blue - IBM

>>> Définitions et symboles

>>> Démonstrations

>>> Diagramme de Karnaugh – Général

>>> Diagramme de Karnaugh – Mutivariable

>>> Diagramme de Venn

>>> Dichotomie

>>> Dilemme du prisonnier

>>> Distribution (irrégularité et nombre 17)

>>> Dualité

 

 

E

>>> Économie comportementale

>>> Élections

>>> En bref: proposition ou prédicat ?

>>> Enchères

>>> Énigme de 5 hommes en 5 maisons …(Einstein)

>>> Énigmes et paradoxes

>>> Ensembles de Russel

>>> Ensemble – Théorie des –

>>> Ensemble - Glossaire

>>> Équivalence

>>> ET

>>> Expert, systèmes -

 

F

>>> Factorielle – Programmation

>>> Fonctionnel, langage –

>>>  Fourchette de Hume

 

G

>>> Gödel - incomplétude

>>> Graphes: chemin le plus court

>>> Groupes

>>> Groupes sanguins

 

H

>>> Hôtel de Hilbert

>>> Humour et absurde

 

 

I

>>> Impératif, langage –

>>> Implication

>>> Incomplétude de Gödel

>>> Induction

>>> Infinis

>>> Intégramme, logigramme

>>> Intelligence

>>> intelligence animale

>>> Intelligence artificielle

>>> Intelligence humaine

>>> Interdictions

>>> Intersection

>>> Inversion

>>> Ivrogne (marche de l'-)

J

>>> Jacquart Albert

>>> Jeux et leur résolution informatique

K

>>> Karnaugh: Diagramme de -

 

 

L

>>> Lambda-calcul

>>> Lewis Carroll

>>> LISP

>>> Logique EN BREF

>>> Logigramme, intégramme

>>> Logique des prédicats

>>> Logique des propositions

>>> Logique floue

>>> Logique formelle (Russel)

>>> Logique de Boole

>>> Logique mathématiques (quantificateurs)

M

>>> Menteurs

>>> Menteurs et Crétois

>>> McCarthy

>>> Minsky  Marvin

>>> Morgan (lois de)

N

>>> Neuf niveaux d'intelligence

>>> Neuronique

>>> Nombres en quiz

>>> NP (Problème de type -)

 

 

O

>>> Ontologie

>>> OU

>>> OU Exclusif

>>> Outils de la logique (Venn, Karnaugh, Intégrammes…)

>>> Outils des mathématiques

 

P

>>> Pairs et impairs

>>> Pendu et souris

>>> Paradoxes

>>> Phrases et logique

>>> Phrases impossibles

>>> Pigeon hole (principe des tiroirs)

>>> Prédicat

>>> Prisonnier

>>> Problème P = NP

>>> Programmation

>>> Propositions

>>> Puissance de calcul

Q

>>> Quantificateurs

>>> Quatre cartes de Wason

>>> QI

 

 

R

>>> Raisonnement

>>> Raisonnement et Expert

>>> Ramsey (théorème)

>>> Récurrence

>>> Réseaux de neurones

>>> Rêves et réalités

>>> Robots

>>> Russel et les ensembles d'ensembles

 

S

>>> Sang – compatibilité des donneurs et receveurs

>>> Shannon

>>> Sorite

>>> SNA (système numérique approximatif)

>>> Structures algébriques

>>> Subitisation

>>> Sudoku

>>> Suppositions pour résoudre des problèmes (CM2)

>>> Syllogisme

>>> Systèmes Expert

 

T

>>> Taxi (paradoxe du chauffeur de -)

>>> Théorème de De Morgan

>>> Théorie, théorèmes et axiomes

>>> Théorie de jeux

>>> Tiers exclu

>>> Tiroirs (Principe des -)

>>> Top ten des animaux intelligents

>>> Tri à bulles – Explication et programmation

>>> Trichotomie

>>> Turing (machine de -)

 

U

>>> Union

VW

 

XYZ

>>> Venn – Diagramme

>>> Von Neumann

>>> Voyageur de commerce

>>> Voyelles et nombres impairs – Énigme

 

>>> Zénon d'Élée

 

 

Mieux vaux un mensonge simple qu'une vérité compliquée.

Hector Munro dit Saki (1870-1916)

Voir Pensées & humour

 

 

Bibliographie

 

Alice in Puzzleland - Raymond Smullyan - Penguin books

Alice in Wonderland - Lewis Carroll - Castle Books

Ça y est, je suis fou!! - Raymond Smulllyan - Dunod - 1992 (Satan, Cantor and Infinity).

Conversations avec le sphinx - Étienne Klein - Livre de poche

Experts artificiels: machines intelligentes et savoir social - Harry M Collins - Seuil

Fuzzy logic - Daniel McNeill and Paul Freiberger - Touchtone book

Fuzzy thinking - Bart Kosko - Flamingo

Gödel Escher et Bach - Les brins d'une guirlande éternelle - douglas Hofstadter - InterEditions

Intelligence artificielle et psychologie cognitive - Hervé Chaudet et Liliane Pellegrin - Dunod

Introduction to artificial intelligence - Eugène charniak et Drew mcDermot - Addison-Wesley

Jeux- problèmes - De la logique à l’intelligence artificielle - Jean Friant & Yvon L’Hospitalier - Les éditions d’organisation - 1986

Jouer à raisonner - Outils de pensée et opérations mentales - Jacques Dumont et Christian Schuster - Les éditions d’organisation - 1988

La logique – Un aiguillon pour la pensée – Jean-Paul Delahaye – Belin: Pour la Science - 2012

Le livre des paradoxes - Nicholas Falleta - Diderot

Le livre qui rend fou - Raymond Smullyan - Dunod - 1984 (The lady or the tiger - 1982)

Les labyrinthes de la raison - Paradoxes, énigmes et fragilité de la connaissance - William Poundstone - Belfond/sciences - 1988

Les technologies de l'intelligence - Pierre Lévy - La découverte

Logique informatique et paradoxes - Jean-Paul Delahaye - Belin

Mental ability and quantitative aptitude - Edgar Thorpe - McGraw-Hill's

Modern logic, a text in elementary symbolic logic - Graeme Forbes - Oxford University

Quel est le titre de ce livre? - 253 casse-tête logiques - Raymond Smullyan - Dunod - 1981 (What is the name of this book? - 1978), et les deux suivants: Le livre qui rend fou, Ça y est je suis fou

 

 

Autres: voir Bibliographie

En particulier,  livres concernant les casse-tête et autres puzzles mathématiques.

 

 

 

Suite

*    Logique: Débutants

*    Logique: Glossaire et orientation narrative

Sites

*    Affaire de logique – Tangente – Élisabeth Busser, Gilles Cohen et Jean-Louis Legrand

Cette page

http://diconombre.fr/LogForm/LogFoTdM.htm