Sumbangan 15 hb September 2024 – 1 hb Oktober 2024 Mengenai pengumpulan sumbangan

Le concept de modèle

Main
Le concept de modèle

Le concept de modèle

Badiou

0 / 0

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Penerbit:

Fayard

Bahasa:

french

ISBN 10:

221365199X

ISBN 13:

9782213651996

Fail:

EPUB, 170 KB

IPFS:

,

french0

Baca dalam Talian

Penukaran menjadi sedang dijalankan

Penukaran menjadi gagal

Mungkin anda berminat

Gilbert Lelièvre, François Guénard — Compléments d'analyse, Volume 1, Topologie, première partie

Jean Ladrière — Les limitations internes des formalismes

Marcel Crabbé, Thierry Lucas (éditeurs) — Intuitionnisme et théorie de la démonstration (Cahiers du Centre de Logique)

Arend Heyting — Les fondements des mathématiques, intuitionnisme, théorie de la démonstration

Serge Robert — La logique, son histoire, ses fondements

Jacques Dubuc. François Lepage — Methodes logiques pour les sciences cognitives

Paul Lorenzen — Métamathématique

Lorenzen P. — Metamathematique

Jean-Paul Delahaye ; préface de Maurice Nivat. — Outils logiques pour l'intelligence artificielle

Guenard F., Lelievre G. — Complements d'Analyse. Topologie. Premiere Partie

Henri Wermus — Formalisation de quelques structures initiales de la psychogenèse

Badiou, Alain — Le concept de modèle

Yves Bouchard — Calcul en logique du premier ordre

Nicolas Bouleau, Jean-Yves Girard, Alain Louveau — Cinq conférences sur l'indécidabilité

Alfred Tarski — Introduction à la logique

Jean-Blaise Grize — Logique moderne

Pierre Marquis, Odile Papini, Henri Prade — Panorama de l'Intelligence Artificielle - Ses bases méthodologiques, ses développements - Volume 1, Représentation des connaissances et formalisation des raisonnements

Philip J Davis, Reuben Hersh — L'Univers mathematique

André Thayse — Approche logique de l'intelligence artificielle Tome 2 : De la logique modale à la logique des bases de données

André Thayse — Approche logique de l'intelligence artificielle Tome 1 : De la logique classique à la programmation logique

Cori R., Lascar D. — Logique mathematique, tome 2. Fonctions recursives, theorie des modeles

Karim Nour, René David, Christophe Raffalli, Pierre-Louis Curien — Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber — Logique : fondements et applications

Olivier Houdé, Denis Miéville, Jean-Pierre Changeux, Michel De Glas, Stanislas Dehaene, Pascal Engel, Jean-Blaise Grize — Pensée logico-mathématique : Nouveaux objets interdisciplinaires

Jean Largeault — La Logique

Pierre Wagner — La logique

Delahaye J.-P. — Outils logiques pour l'intelligence artificielle

Alain Badiou — Le concept de modele : Introduction a une epistemologie materialiste des mathematiques

Hélène Bestougeff, Gérard Ligozat — Outils logiques pour le traitement du temps

Pierre Cassou-Noguès — Hilbert

Pierre Marquis, Odile Papini, Henri Prade — Représentation des connaissances et formalisation des raisonnements

Cavaille — Méthode axiomatique et formalisme: Essai sur le problème du fondement des mathématiques

Cavaillès, Jean — Oeuvres complètes de philosophie des sciences

Jean-Paul Delahaye — Tout : les rêves mathématiques d'une théorie ultime (Hors Collection)

Serenella Cerrito — Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique

Istilah utama