logo librairie

CONNEXION



Mot de passe oublié?
Inscription
image mon panier
image TangenteMag

image Tangente Education
image Jouer Bridge
image logo Club Tangente

Livres > Culture Mathématique > Bibliothèque Tangente


POLE
Bibliothèque Tangente
2004
ISBN:9782848840185

18,00 €

Bib 15 - La logique

Collectif Tangente

Présentation

SOMMAIRE


Dossier 1 : La logique élémentaire

Comment garantir qu'une argumentation est correcte, qu'aucun cercle vicieux ne s'immisce dans des propos qui se veulent justes? La logique est née avec Aristote et, à lire ou entendre tous les raisonnements fallacieux présentés avec tout le sérieux du monde par certains, on comprend que la logique, même " élémentaire " , est un indispensable bagage pour tous les citoyens.

La logique d'Aristote / Lewis Carroll / Les règles de la déduction / La contraposition / La théorie des ensembles / Le moteur logique : l'implication / Le tiers exclu

Dossier 2 : Le projet de Hilbert

À partir du XIXème siècle, les mathématiciens se penchent sur les fondements de leur discipline et s'attachent à s'assurer de leur solidité. Au début du XXème siècle, tout s'écroule. De nouvelles découvertes viennent bouleverser des siècles de certitudes. Deux camps s'opposent alors : les "intuitionnistes " ou "constructivistes " , et les "formalistes " dont le chef de file est David Hilbert.

Le projet de Hilbert / Les machines de Turing / La chute de la maison Hilbert

Dossier 3 : Logique et informatique

Pour accomplir une tâche, une machine ne peut se fonder sur la logique humaine, celle qu'en nous utilisons pour les actions de la vie quotidienne. La logique mathématique est nécessaire, c'est pourquoi l'informatique en est née et a poussé à mieux discerner l'aspect syntaxique traitable par ordinateur et l'aspect sémantique réservé aux seuls être humains. Bien entendu, les taches mécanisables sont alors strictement limitées.
Mathématiquement, elles correspondent aux fonctions tout à la fois calculables et de complexité " raisonnable".

L'intelligence artificielle / Les circuits logiques / Calculabilité, décidabilité et complexité / Programmer la logique : le Prolog / Géométrie automatique / La logique floue / La correspondance de Curry-Howard / Syntaxe et sémantique

Dossier 4 : Jeux et paradoxes

La logique est un immense territoire ludique où les paradoxes titillent le bon sens, où les mots se prennent au jeu, où l'autoréférence nous entraîne dans ses labyrinthes et où Menteurs et Sorcières, Fous et Sages s'affrontent dans des joutes impitoyables.

Le vrai, le faux et l'indéterminé / Les énigmes d'Oedipeland / Raymond Smullyan / Les cocus de Bagdad / Le paradoxe de Hempel / En toute logique / La maison hantée / Le paradoxe du menteur / Raymond Devos, le forcené de la logique / Test d'aptitude autoréférentielle / Logic logique / Solutions


Et toujours < /b>

Notes de lecture

Résultats de la recherche : 15

Editions POLE

Tangente n°159 : Mathématiques et p...
Tangente
6,40 €
Tangente n°158 - Les maths se mette...
Tangente
6,40 €
Tangente n°156 - L'infiniment petit
Tangente
6,40 €
Tangente n°155 - Méditerranée carre...
Tangente
6,40 €
Tangente n°154 - Périmetres, aires ...
Tangente
6,40 €
Tangente n°153 - Les nombres premie...
Tangente
6,40 €
Tangente n°152 - Trucs et trucages ...
Tangente
6,40 €
Tangente n°151 - Mathématiques de l...
Tangente
6,40 €
Tangente n°150 - L'art fractal
Tangente
6,40 €
Jouer Bridge 149/150 - Bicolore éco...
Jouer Bridge
12,00 € 8,00 €
Tangente n°115 - Construire et repr...
Tangente
5,90 €
Jouer Bridge 115 - Après 1 carreau...
Jouer Bridge
5,50 €
Fiche Technique N°15 : Les enchères...
Fiches Techniques
3,00 €
TE 15 : 16 activités TICE pour le l...
Tangente Éducation
6,00 €
Hs K 15 - La logique 1ere partie
Tangente HS
6,40 €
Hs K 15 - La logique 2eme partie
Tangente HS
5,10 €
Jouer Bridge 15 - L'art du Surcontr...
Tangente HS
5,00 €
Tangente jeux et stratégie n°15
Tangente HS
5,50 €
150 jeux malins
Tangente HS
6,90 € 5,00 €
Pack tests d'enchères 2015
Tangente HS
4,40 €

Autres éditeurs

315 - Pesticides
5,00 €
150 Énigmes de Logique et de Probab...
14,00 €
150 Énigmes Géométriques de 13 à 11...
13,00 €
Algorithmique - 3ème édition - Cour...
62,80 €