POLE
Thématiques
Hors-série 15 - La logique 2eme partie
Collectif Tangente
Présentation
SOMMAIRE
De la logique humaine à l'intelligence artificielle
Pour accomplir une tâche, une machine ne peut se fonder sur la logique humaine, celle que nous utilisons pour les actions de la vie quotidienne. Le 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 tâches mécanisables sont alors strictement limités. Mathématiquement, elles correspondent aux fonctions tout à la fois calculables et de complexité " raisonnable".
Pour contourner ces limitations - et pouvoir en particulier traiter des problèmes d'intelligence artificielle - on a essayé de créer des logiques plus proches de notre façon de raisonner. Ces idées ont débouchés sur les réseaux de neurones et la logique floue.
Ces apports de la logique à l'informatique l'ont fécondée en retour et ont permis en particulier de préciser la notion de preuve avec la correspondance de Curry-Howard.
Dossier
L'intelligence artificielle
Les circuits logiques
Calculabilité, décidabilité et complexité
Programmer la logique : le Prolog
Géométrie automatique
La logique floue
Les logiques non classiques
La correspondance de Curry-Howard
Syntaxe et sémantique
Editions POLE
Hors-Série 92 - Les trésors des p...
Tangente HS
7,80 €
Hors-Série 91 - Augustin Louis CAU...
Tangente HS
7,80 €
Hors-Série 90 - PI & les autres
Tangente HS
7,80 €
Hors-Série 89 - Fractions, un mond...
Tangente HS
7,80 €
Hors-Série 88 - Laplace
Tangente HS
7,80 €
Hors-Série 87 - Les inégalités
Tangente HS
7,80 €
Hors-Série 86 - Les nouveaux défi...
Tangente HS
7,80 €
Hors-Série 85 - Blaise Pascal - Un...
Tangente HS
7,80 €
Hors-Série 84 - La tangente - une ...
Tangente HS
7,80 €
Hors-série 83 - Mathématiques et ...
Tangente HS
7,80 €
Hors-série 82 - Evariste Galois
Tangente HS
7,80 €
Hors-série 81 - Les distances
Tangente HS
7,80 €
Hors-série 80 - Les groupes
Tangente HS
7,80 €
Hors-série 79 - Henri Poincaré, ...
Tangente HS
7,80 €
Hors-série 78 - La géométrie de ...
Tangente HS
7,80 €
Hors-série 77 - Mathématiques et...
Tangente HS
7,80 €
Hors-série 76 - Processus itérati...
Tangente HS
7,80 €
Hors-série 75 - Recherche opérati...
Tangente HS
7,80 €
Hors-série 74 - Courbes et traject...
Tangente HS
7,80 €
Hors-série 73 - Mathématiques et ...
Tangente HS
7,80 €
Hors-série 72 - Maximum, minimum e...
Tangente HS
6,80 €
Hors-série 71 - Les équations de ...
Tangente HS
6,80 €
Hors-série 70 - Les surfaces
Tangente HS
6,80 €
Hors-série 69 - Mathématiques et ...
Tangente HS
6,80 €
Hors-série 68 - Intelligence artif...
Tangente HS
6,80 €
Hors-série 67 - Mathématiques et ...
Tangente HS
6,80 €
Hors-série 66 - Les secrets des di...
Tangente HS
6,80 €
Hors-série 65 - Les espaces vector...
Tangente HS
6,80 €
Hors-série 64 - Découpage et pava...
Tangente HS
6,80 €
Hors-série 63 - Les nombres comple...
Tangente HS
6,80 €
Hors-série 62 - Mathématiques et ...
Tangente HS
6,80 €
Hors-série 61 - Les ensembles
Tangente HS
6,40 €
Hors-série 60 - Maths & architectu...
Tangente HS
6,40 €
Hors-série 59 - La droite
Tangente HS
6,40 €
Hors-série 58 - Mathématiques et ...
Tangente HS
6,40 €
Hors-série 57 - Les mathématiques...
Tangente HS
6,40 €
Hors-série 56 - Les fonctions
Tangente HS
6,40 €
Hors-série 55 - Démontrer : l'art...
Tangente HS
6,40 €
Hors-série 54 - Les graphes - Des ...
Tangente HS
6,40 €
Hors-série 53 - Les angles sous to...
Tangente HS
6,40 €
Hors-série 52 - L'informatique ric...
Tangente HS
6,40 €
Hors-série 51 - La beauté intrins...
Tangente HS
9,90 €
Hors-série 50 - L'intégrale
Tangente HS
6,40 €
Hors-série 49 - Mathématiques de ...
Tangente HS
6,40 €
Hors-série 48 - Les ambassadeurs f...
Tangente HS
6,40 €
Hors-série 47 - La magie des invar...
Tangente HS
6,40 €
Hors-série 46 - La Théorie des je...
Tangente HS
6,40 €
Hors-série 44 - Les matrices
Tangente HS
6,40 €
Hors-série 43 - Maths et Chimie
Tangente HS
6,40 €
Hors-série 42 - Mathématiques et ...
Tangente HS
6,40 €
Hors-série 41 - Suites et Séries
Tangente HS
6,40 €
Hors-série 40 - Maths et Géograph...
Tangente HS
6,40 €
Hors-série 39 - L'art du dénombre...
Tangente HS
6,40 €
Hors-série 38 - Maths et Philosoph...
Tangente HS
6,40 €
Hors-série 37 - Les algorithmes
Tangente HS
6,40 €
Hors-série 36 - Le cercle
Tangente HS
6,40 €
Hors-série 35 - Transf. géométri...
Tangente HS
6,40 €
Hors-série 34 - Les statistiques
Tangente HS
6,40 €
Hors-série 33 - Les nombres
Tangente HS
6,40 €
Hors-série 32 - Maths et Finances
Tangente HS
6,40 €
Hors-série 31 - Les 20 ans
Tangente HS
6,90 €
5,00 €
Hors-série 29 - Euler
Tangente HS
6,40 €
Hors-série 28 - Maths et Llittéra...
Tangente HS
6,40 €
Hors-série 27 - Le temps
Tangente HS
6,40 €
Hors-série 25 - Les grands mathém...
Tangente HS
6,40 €
Hors-série 23 - Maths et Arts plas...
Tangente HS
6,40 €
Hors-série 22 - Équations algébr...
Tangente HS
6,40 €
Hors-série 21 - Astronomie
Tangente HS
6,40 €
Hors-série 20 - Jeux mathématique...
Tangente HS
6,40 €
Hors-série 19 - Maths et Sports
Tangente HS
6,40 €
Hors-série 18 - Les fractales
Tangente HS
6,40 €
Hors-série 17 - Hasard et Proba 1e...
Tangente HS
6,40 €
Hors-série 17 - Hasard et Proba 2e...
Tangente HS
5,10 €
Hors-série 15 - La logique 1ere pa...
Tangente HS
6,40 €
Hors-série 14 - Maths et Architect...
Tangente HS
5,10 €
Hors-série 13 - Infini 1ere partie
Tangente HS
6,40 €
Hors-série 13 - Infini + suppléme...
Tangente HS
11,00 €
Hors-série 12 - Les graphes 1ere p...
Tangente HS
6,40 €
Hors-série 12 - Les graphes 2eme p...
Tangente HS
5,10 €
Hors-série 11 - Maths et Musique
Tangente HS
6,40 €