Système d’information en philosophie des sciences
Information system on philosophy of science

Résultats 1 à 15 sur un total de 38 résultats.

Méthodes de tri
Auteur  Tri par ordre croissant Tri par ordre décroissant | Titre  Tri par ordre croissant Tri par ordre décroissant | Année  Tri par ordre croissant Tri par ordre décroissant

Article


Appliquer

Jocelyn BENOIST

Dans : Le formalisme en action - 2013


Article


Apprendre la preuve

Nicolas BELACHEFF

Dans : Le Concept de preuve à la lumière de l'intelligence artificielle - 1999


Article


Des régimes de preuve en langue et discours

Georges VIGNAUX

Dans : Le Concept de preuve à la lumière de l'intelligence artificielle - 1999


Article


Descartes et Euclide. Le cogito comme ultime preuve

Jean-Jacques SZCZECINIARZ

Dans : Le Concept de preuve à la lumière de l'intelligence artificielle - 1999


Article


Deux positions de l’historien face aux sciences

Amy DAHAN-DALMEDICO

Dans : Critique. Revue générale des publications françaises et étrangères - 2002


Article


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


Monographie


L'algorithmique et les sciences

Bernard CHAZELLE

Collège de France - 2013


Monographie


L'Autre École d'Iéna : Critique, métaphysique et psychologie chez Jakob Friedrich Fries

Christian BONNET

Classiques Garnier - 2013


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


Monographie


La Méthode de Zadig : La trace, le fossile, la preuve

Claudine COHEN

Seuil - 2011


Article


La preuve et le contrat

Didier FERRIER

Dans : Le Concept de preuve à la lumière de l'intelligence artificielle - 1999


Collectif


Le Concept de preuve à la lumière de l'intelligence artificielle

Sous la direction de : Jean-Jacques SZCZECINIARZ, Jean SALLANTIN

Presses Universitaires de France - 1999


Article


Le logique paraconsistante

Newton C. A. da COSTA, Jean-Yves BÉZIAU

Dans : Le Concept de preuve à la lumière de l'intelligence artificielle - 1999


Article


Le noyau logique des mathématiques : À partir de Frege

Ali BENMAKHLOUF

Dans : Le formalisme en action - 2013


Article


Le raisonnement historique à l’épreuve de l’IA

Jean-Claude GARDIN, Monique RENAUD, Marie-Salomé LAGRANGE

Dans : Le Concept de preuve à la lumière de l'intelligence artificielle - 1999


Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2021.
Dernière mise à jour : Vendredi 22 octobre 2021