Résultats 1 à 15 sur un total de 38 résultats.
Article
La cornue et l’alambic, instrument d’analyse et de preuve dans Les Doutes sur Galien de Razi
Mehrnaz KATOUZIAN-SAFADI
Dans : De Zénon d’Élée à Poincaré : recueil d’études en hommage à Roshdi Rashed - 2004
Wittgenstein sur la preuve mathématique
Pasquale FRASCOLLA
Dans : Wittgenstein et les mathématiques - 2004
The Foundations of Physics: Specific Topics (1915?–1918)
Tilman SAUER, Ulrich MAJER, Heinz-Jürgen SCHMIDT, et al.
Dans : David Hilbert’s Lectures on the Foundations of Mathematics and Physics, 1891-1933 - 2009
Introduction. La preuve à la lumière (?) de l’intelligence artificielle
Jean-Jacques SZCZECINIARZ, Jean SALLANTIN
Dans : Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Descartes et Euclide. Le cogito comme ultime preuve
Jean-Jacques SZCZECINIARZ
Le logique paraconsistante
Newton C. A. da COSTA, Jean-Yves BÉZIAU
Vers un métamathématicien artificiel
Jacques PITRAT
Sur les preuves non déductives en intelligence artificielle
Pierre MARQUIS
Vers un démonstrateur adaptatif
Catherine BELLEANNÉE, Jacques NICOLAS, C’H Raoul VOR
Apprendre la preuve
Nicolas BELACHEFF
Preuves de la déduction automatique et analogie
Régis CURIEN
Les cadres probatoires
Jean SALLANTIN
Règles, déduction, grammaire et langage
Ryszard ZUBER
Le noyau logique des mathématiques : À partir de Frege
Ali BENMAKHLOUF
Dans : Le formalisme en action - 2013
Appliquer
Jocelyn BENOIST
Haut de page
Retour à la page précédente
Mentions légales © SIPS, 2022.Dernière mise à jour : Jeudi 19 mai 2022
