L'île des mathématiques propose des cours et des exercices de maths et de physique.
L'île des Mathématiques
Mathématiques >> Logique_et_fondements >>
- - Cours de Master recherche sur la théorie des modèles, après un cours de Master 1 logique et complexité. - - Notes de cours de logique, articles sur la théorie des ensembles et la théorie des tresses.
- - Articles et cours de théorie de la démonstration.
Introduction à la logique floue - - Petite parabole militaire qui traduit l'opportunité du recours à la logique floue dans le processus de décision et de management; liens sur la logique floue.
- - Quelques notes de cours: démonstration automatique, logique informatique, complexité.
La logique et ses paradoxes - - Introduction aux paradoxes ensemblistes et au théorème de Gödel.
Logique et théorie des ensembles - - Introduction aux fondements des mathématiques, et présentation détaillée d'une théorie naïve des ensembles non traditionnelle.
Une mathématique constructive expérimentale - - Fonder les mathématiques par les algorithmes. De la programmation à la logique et aux probabilités.
Qu'est-ce que la théorie des modèles - - Présentation vulgarisée de quelques notions et résultats modernes en ce domaine.
- - Textes de séminaires d'introduction à la logique: théorie des modèles, théorie des ensembles et récursivité.
- - Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique.
- - Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie.
Mesure d'audience ROI statistique webanalytics par
cours particuliers -
cours de maths