logique portail

NOMBRES – Curiosités, Théorie et Usages Accueil DicoNombre Rubriques Nouveautés Édition du: 29/12/2023 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

>>> 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?

>>> 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

>>> Barbier

>>> Binaire

>>> Binet Alfred

>>> Boole (logique de -)

>>> Chapeaux et couleurs

>>> Candy Crush Saga

>>> Carrés logiques

>>> Cercle – Programmation

>>> Church

>>> Connecteurs

>>> Contraposée

>>> Copule (= verbe)

>>> Crises

>>> Cybernétique

>>> 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é

>>> É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 -

>>> Factorielle – Programmation

>>> Fonctionnel, langage –

>>> Fourchette de Hume

>>> Gödel - incomplétude

>>> Graphes: chemin le plus court

>>> Groupes

>>> Groupes sanguins

>>> Hôtel de Hilbert

>>> Humour et absurde

>>> Impératif, langage –

>>> Implication

>>> Incomplétude de Gödel

>>> Induction

>>> Infinis

>>> Intégramme, logigramme

>>> Intelligence

>>> Intelligence artificielle

>>> Interdictions

>>> Intersection

>>> Inversion

>>> Ivrogne (marche de l'-)

>>> Jacquart Albert

>>> Jeux et leur résolution informatique

>>> Karnaugh: Diagramme de -

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

>>> Menteurs

>>> Menteurs et Crétois

>>> McCarthy

>>> Minsky Marvin

>>> Morgan (lois de)

>>> Neuf niveaux d'intelligence

>>> Neuronique

>>> Nombres en quiz

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

>>> Ontologie

>>> OU

>>> OU Exclusif

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

>>> Outils des mathématiques

>>> 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

>>> Quantificateurs

>>> Quatre cartes de Wason

>>> QI

>>> 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

>>> Sang – compatibilité des donneurs et receveurs

>>> Shannon

>>> Sorite

>>> Structures algébriques

>>> Sudoku

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

>>> Syllogisme

>>> Systèmes Expert

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

>>> Union

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://villemin.gerard.free.fr/LogForm/LogFoTdM.htm