RESSOURCES EN LIGNE ET ACTUALITÉS
SCIENTIFIQUES FRANCOPHONES

8794 - Mathématiques pour l'informatique

Description bibliographique

Auteur :

Di Cosmo, Roberto ; Kesner, Delia (Université Denis Diderot, Paris 7. PPS. Laboratoire Preuves, programmes et systèmes. France)

Page source :

Page personnelle de Roberto di Cosmo, http://www.pps.jussieu.fr/~dicosmo/

Langue :

français

dernière mise à jour : 2003

Description du contenu

Spécialité :

Sciences exactes - Mathématiques - Analyse mathématique
Sciences exactes - Mathématiques - Mathématiques appliquées

Mots clés :

calcul de Gentzen ; variable statistique ; méthode par réfutation ; calcul des prédicats

Table des matières :

1 - Introduction
2 - Combinatoire
3 - Probabilités
4 - Résolution
5 - Calculs des prédicats

Résumé :

Ce cours présente les outils mathématiques servant aux informaticiens. A travers de nombreux exemples significatifs, les notions de validité de formules, de conséquence logique et de formalisation du langage naturel sont explicitées. Un accent particulier est mis sur la théorie des probabilités discrètes et les applications de la compacité propositionnelle.

Informations pédagogiques

Niveau d'études :

1er cycle

Pré-requis :

Connaître les fondamentaux de l'analyse mathématique.

Objectifs pédagogiques :

Maîtriser les outils de formulation et de résolution de problèmes liés aux mathématiques rencontrées dans le secteur informatique.

Accès à la ressource

Format :

PDF
Taille du fichier : entre 500 ko et 1 Mo

Notes :

Document en 5 fichiers PDF totalisant 35 pages.

URL de référence :

http://www.pps.jussieu.fr/~dicosmo/CourseNotes/MathInfo/

Ressource copiée dans le cache de l'Infothèque le 11/04/2008

URL de référence :

/cache/8794/www.pps.jussieu.fr/~dicosmo/CourseNotes/MathInfo/index.html

Notice mise en ligne le 09/04/2007