Blossier, Thomas
Cours de Master recherche sur la théorie des modèles, après un cours de Master 1 logique et complexité. |
Dehornoy, Patrick
Notes de cours de logique, articles sur la théorie des ensembles et la théorie des tresses. |
Girard, Jean-Yves
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. |
La logique et ses paradoxes
Introduction aux paradoxes ensemblistes et au théorème de Gödel. |
Logique et programmation
Quelques notes de cours: démonstration automatique, logique informatique, complexité. |
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. |
Qu'est-ce que la théorie des modèles
Présentation vulgarisée de quelques notions et résultats modernes en ce domaine. |
Rambaud, Alexandre
Textes de séminaires d'introduction à la logique: théorie des modèles, théorie des ensembles et récursivité. |
Ruet, Paul
Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique. |
Théorie des ensembles
Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie. |
Arts |
Business |
Computers |
Games |
Health |
Home |
News |
Recreation |
Reference
|
|
