Actimania web directory of carefully selected sites

Arts

Business

Computers

Games

Health

Home

Teens

News

Recreation

Reference

Regional

Science

Shopping

Looking for a directory of carefully selected sites in World, Français, Sciences, Mathématiques, Logique et fondements ? Actimania, based on the largest, most comprehensive human-edited directory of the web, covers a large variety of annotated sites related to World, Français, Sciences, Mathématiques, Logique et fondements. This category lists wide range of carefully selected sites in World, Français, Sciences, Mathématiques, Logique et fondements.

Hotels Galaxy - Hotels all around the world. Discount hotels, hotel rates and lodging reservation. Hotels reservations, flights, cars, travel, vacations, cruises.
OOHotels - Discount and cheap hotels worldwide. Hotel rates and lodging reservations at cheap prices.
OOVacances - Vacations in France - Vacations and Holidays in France. Vacation Rentals of Private Villas, cottages, cabins, apartments and condos.

Centres de recherche (10)
Philosophie de la logique@ (6)

Voir également :

World: Français: Sciences: Informatique (84)

Cette catégorie en d'autres langues :

allemand (9) anglais (820) espagnol (9)
italien (4) japonais (5) russe (4)

$http://math.univ-lyon1.fr/~blossier/$

» Blossier, Thomas - Cours de Master recherche sur la théorie des modèles, après un cours de Master 1 logique et complexité.

$http://www.math.unicaen.fr/~dehornoy/$

» 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.

http://www.lsv.ens-cachan.fr/~goubault/cours.html

» Logique et programmation - Quelques notes de cours: démonstration automatique, logique informatique, complexité.

http://ysagnier.free.fr/science/logique.htm

» 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.

http://pagesperso-orange.fr/mabboux/Mathematique/Informatique.htm

» Une mathématique constructive expérimentale - Fonder les mathématiques par les algorithmes. De la programmation à la logique et aux probabilités.

$http://math.univ-angers.fr/~darniere/ThMod.html$

» Qu'est-ce que la théorie des modèles - Présentation vulgarisée de quelques notions et résultats modernes en ce domaine.

http://www.logique.jussieu.fr/www.rambaud/

» 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.

$http://members.aol.com/GiblaCloni/Mathematiques/Math.htm$

» Théorie des ensembles - Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie.

This page of directory is focused on one aspect of World, Français, Sciences, Mathématiques, Logique et fondements.

Help build the largest human-edited directory on the web. Soumettre un site - Open Directory Project - Devenir Editeur

Actimania web directory list the sites by theme. The links in Actimania directory are collected, edited and organized by humans.