Mode de démonstration

Le mode de démonstration vous permet de tester les fonctionnalités de consultation des favoris uniquement.
Il n'est pas possible de modifier les dossiers ou les liens qu'ils contiennent.

Ambigramme et symétrie
www.ambigramme.com/galerie/mot/ambigramme-huit.html
Pas de tags
Dossier: Nombres_particuliers
Le nombre huit (8), forme et symétrie, géométrie d'un octogone, calcul algébrique et Fibonacci.
Pas de commentaire
Nombre de visites: 4      Dernière visite: 2022-04-09
Une mathématique constructive expérimentale
pagesperso-orange.fr/mabboux/Mathematique/Informatique.htm
Pas de tags
Dossier: Logique_et_fondements
Fonder les mathématiques par les algorithmes. De la programmation à la logique et aux probabilités.
Pas de commentaire
Nombre de visites: 4      Dernière visite: 2022-04-09
Théorie des ensembles
spoirier.lautre.net/leroy/
Pas de tags
Dossier: Logique_et_fondements
Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie.
Pas de commentaire
Nombre de visites: 4      Dernière visite: 2022-04-09
Ruet, Paul
iml.univ-mrs.fr/~ruet/
Pas de tags
Dossier: Logique_et_fondements
Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique.
Pas de commentaire
Nombre de visites: 4      Dernière visite: 2022-04-09
Logique et théorie des ensembles
spoirier.lautre.net/logique.htm
Pas de tags
Dossier: Logique_et_fondements
Introduction aux fondements des mathématiques et à la théorie des ensembles, suivant une approche approfondie différente de la tradition.
Pas de commentaire
Nombre de visites: 4      Dernière visite: 2022-04-09
Girard, Jean-Yves
iml.univ-mrs.fr/~girard/
Pas de tags
Dossier: Logique_et_fondements
Articles et cours de théorie de la démonstration.
Pas de commentaire
Nombre de visites: 4      Dernière visite: 2022-04-09
Les sites proposés dans cette version de démonstration proviennent du répertoire de l'Open Project Directory
Aidez à la réalisation du plus grand répertoire édité par les humains sur l'internet.
Proposer un site - Open Directory Project - Devenir éditeur