Agence universitaire de la Francophonie

Infothèque francophone
RESSOURCES EN LIGNE ET ACTUALITÉS
SCIENTIFIQUES FRANCOPHONES

À LA UNE
le 21/01/2009

L'Infothèque francophone en transition

En juin dernier, on vous informait qu'un programme d'action pour l'évolution de l'Infothèque francophone était en cours d'élaboration. Cette période de transition se poursuivra pour encore quelques mois.
5591 références
CATALOGUE DE RESSOURCES

Recherche par thèmes  →  Sciences exactes  →  Mathématiques  →  Logique et fondements mathématiques

8 ressources

5963 - Rappels de logique et de théorie des ensembles

Ressource pédagogique
Madore, David (ENS. Ecole normale supérieure. DMA. Département de mathématiques et applications. Paris. France)
Éditeur : ENS. Ecole normale supérieure. Paris. France
Source : Site personnel de David Madore
Spécialité : Logique et fondements mathématiques
URL : http://www.madore.org/~david/math/gt_log/expo_01.ps.gz
Notice mise en ligne le 09/12/2003 et mise à jour le 12/08/2007

4178 - Cours sur la logique floue

Ressource pédagogique
Mhiri, Radhi ; Fekhi, Elyes ; Ben Taziri, Abdel (LACS. Laboratoire analyse et commande des systèmes. Tunis. Tunisie)
Éditeur : LACS. Laboratoire analyse et commande des systèmes. Tunis. Tunisie
Source : Cours en ligne du Campus numérique francophone de Tunis
Spécialité : Logique et fondements mathématiques
URL : http://www.tn.refer.org/hebergement/cours/logique_floue/
Notice mise en ligne le 20/12/2002 et mise à jour le 07/08/2007

3237 - Logique linéaire indexée du second ordre

Thèse, mémoire de diplôme
Bac-Bruasse, Alexandra (Université de la Méditerranée, Aix-Marseille 2. IML. Institut de mathématiques de Luminy. France) ; Girard, Jean-Yves (dir.) ; Ehrhard, Thomas (dir.)
Éditeur : Université de la Méditerranée, Aix-Marseille 2. IML. Institut de mathématiques de Luminy. France
Source : Thèses de l'IML
Spécialité : Logique et fondements mathématiques
URL : http://iml.univ-mrs.fr/theses/files/TheseBac.pdf
Notice mise en ligne le 28/02/2003 et mise à jour le 07/08/2007

4368 - Logique et langage des ensembles

Ressource pédagogique
Cousquer, Eliane (USTL. Université des sciences et technologies de Lille, Lille 1. France)
Éditeur : RUCA. Réseau universitaire des centres d'autoformation. France
Source : Université en ligne, mathématiques
Spécialité : Logique et fondements mathématiques
URL : http://www.uel-pcsm.education.fr/consultation/reference/mathematiques/logiq...
Notice mise en ligne le 02/04/2003 et mise à jour le 07/08/2007

6224 - Histoire des logarithmes

Ressource pédagogique
Trompler, Simon (ULB. Université libre de Bruxelles. UREM. Unité de recherche sur l'enseignement des mathématiques. Belgique)
Éditeur : ULB. Université libre de Bruxelles. CEDOP. Centre de documentation pédagogique. Belgique
Source : Libre cours
Spécialité : Logique et fondements mathématiques
URL : http://www.librecours.org/cgi-bin/course?callback=info&elt=477
Notice mise en ligne le 09/03/2004 et mise à jour le 07/08/2007

6000 - Philosophie de la logique : Philosophy of Logic

Ressource pédagogique
Putnam, Hilary (Harvard University. Faculty of Arts and Sciences. Cambridge. États-Unis) ; Peccatte, Patrick (trad.)
Source : PIM, philosophie informatique mathématiques, site personnel de P. Peccatte
Spécialité : Logique et fondements mathématiques
URL : http://peccatte.karefil.com/PhiLogique/PhiLogiqueT.html
Notice mise en ligne le 05/01/2004 et mise à jour le 02/01/2007

9655 - Notions de logique

Ressource pédagogique
Crabbé, Marcel (Université catholique de Louvain. Institut supérieur de Philosophie. Centre de Logique. Belgique)
Source : Page personnelle de Marcel Crabbé
Spécialité : Logique, philosophie du langage ; Logique et fondements mathématiques
URL : http://www.librecours.org/cgi-bin/course?callback=info&elt=1032
Notice mise en ligne le 07/07/2008

7351 - La référence à l’espace et au temps dans le fondement des mathématiques

Rapport de recherche, étude
Cassou-Noguès, Pierre (CNRS. Centre national de la recherche scientifique. UMR Ville Environnement Société. Lyon. France)
Source : Université Charles de Gaulle-Lille 3. Unité Mixte de Recherche "Savoirs et Textes"
Spécialité : Epistémologie ; Logique et fondements mathématiques
URL : http://www.univ-lille3.fr/set/col/PREUVECassou.html
Notice mise en ligne le 02/06/2005