Annuaire Sciences : Logique et programmation

sur
123Sciences.com

Web	sur ce site

Logique et programmation

Ecrire un commentaire

Ajouter à mes favoris

En parler à un ami

Reporter un lien brisé

1712

Logique et programmation

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

Quelques notes de cours: demonstration automatique, logique informatique, complexite.

Mathematiques > Logique et fondements

Site web ajouté le : 30.11.2006 par

Autres liens dans Mathematiques > Logique et fondements

1. Dehornoy, Patrick

Notes de cours de logique, articles sur la theorie des ensembles et la theorie des tresses.
Categorie : Mathematiques > Logique et fondements

2. Introduction a la logique floue

Petite parabole militaire qui traduit l'opportunite du recours a la logique floue dans le processus de decision et de management; liens sur la logique floue.
Categorie : Mathematiques > Logique et fondements

3. La logique et ses paradoxes

Introduction aux paradoxes ensemblistes et au theoreme de Godel.
Categorie : Mathematiques > Logique et fondements

4. Qu'est-ce que la theorie des modeles

Presentation vulgarisee de quelques notions et resultats modernes en ce domaine.
Categorie : Mathematiques > Logique et fondements

5. Blossier, Thomas

Cours de Master recherche sur la theorie des modeles, apres un cours de Master 1 logique et complexite.
Categorie : Mathematiques > Logique et fondements

6. Logique et theorie des ensembles

Introduction aux fondements des mathematiques, et presentation detaillee d'une theorie naive des ensembles non traditionnelle.
Categorie : Mathematiques > Logique et fondements

7. Ruet, Paul

Son cours de deuxieme annee de Master est une introduction a la logique, a la calculabilite et a la complexite algorithmique.
Categorie : Mathematiques > Logique et fondements

8. Theorie des ensembles

Presentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie.
Categorie : Mathematiques > Logique et fondements

9. Girard, Jean-Yves

Articles et cours de theorie de la demonstration.
Categorie : Mathematiques > Logique et fondements

10. Logique et programmation

Quelques notes de cours: demonstration automatique, logique informatique, complexite.
Categorie : Mathematiques > Logique et fondements

Statistiques de l'annuaire

Nombre de Sites :
Nombre de Categories :
Nombre de Membres :

10354
966
56

Index des Catégories Principales

252

459

637

704

141

147

456

496

464

633

Sciences humaines et sociales

5520

Technologie

455

.: AUTRES ANNUAIRES DE FRANCE :.

Annonces immobilieres de particulier a particulier

annonces gratuites de location de vacances

Top 10 Sites web

Par les Editions en ligne : WiWiMedia

Guide du Web

Certaines catégories dans cet annuaire sont issues de L'Open Directory Project. Apportez votre contribution au répertoire
le plus complet du web, maintenu par des humains : inscrire votre site dans DMOZ - devenir éditeur sur DMOZ