34 résultats : preuves

Recherche en cours

Par mots-clef = preuves

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

34 résultats

page 4 sur 4

résultats 31 à 34

Approches fonctionnelles de la programmation

Description : Fournir un panorama complet du paradigme de programmation fonctionnelle et de son positionnement par rapport aux autres paradigmes de programmation (en particulier de la programmation impérative). Illustrer l'ensemble des concepts abordés au moyen de deux langages fonctionnels: Lisp et Haskell.

Mots clés : fuscia, Lisp, Haskell, preuve de programme

Date : 07-01-2009

Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)

Approches fonctionnelles de la programmation

Ajouter à mon panier

Accéder au document

La vérité et la machine

Description : Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.

Mots clés : preuve de programme, preuve formelle, logique mathématique, démonstration, Coq, théorème des quatre couleurs, fuscia

Date : 11-12-2008

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

La vérité et la machine

Ajouter à mon panier

Accéder au document

Évaluation polynomiale [pf03] - Exercice

Description : Cet exercice détermine la complexité de l'évaluation polynomiale selon le schéma de Hörner.

Mots clés : Preuve d'algorithme, Notations asymptotiques, algorithmie, programmation, C, C++, Java

Date : 10-2010

Droits : Licence creative commons de type 3:http://creativecommons.org/licenses/by-nc-sa/3.0/deed.fr - pour plus d'information contacter l'auteur

Évaluation polynomiale [pf03] - Exercice

Ajouter à mon panier

Accéder au document

L'ordinateur au cœur de la découverte mathématique

Description : L’ordinateur joue un rôle essentiel dans le travail du mathématicien, en lui permettant de gérer la complexité de certaines preuves.

Mots clés : mathématiques pour l'informatique, calcul formel, théorème des quatre couleurs, mathématiques discrètes, coloration graphe, preuve par ordinateur, fuscia

Date : 01-09-2011

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

L'ordinateur au cœur de la découverte mathématique

Ajouter à mon panier

Accéder au document

Rebondir