6 résultats : Quatre

Recherche en cours

Par mots-clef = Quatre

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

6 résultats

page 1 sur 1

résultats 1 à 6

Le dictionnaire facétieux de la musique

Description : A chaque lettre correspond un mot ou une expression faisant l'objet de trois approches complémentaires: une chronique audio de 8 minutes (4 de texte et 4 de musique en alternance) dans un registre facétieux, un dessin lui aussi facétieux, et trois pages de commentaire sérieux développant les notions ...

Mots clés : Musique, dictionnaire, Analyse, Diminuendo, Echo, Indes galantes, Opus, Radio, Ukulélé, Vaudeville, Dictionnaire musical, Humour musical, Broderie, Castafiore, Fes moll, Guerre des étoiles, Heures, Jaleo, Köchel, Libitum (ad), Mélisande, Nominés, Pédale, Quatre, Serpent, Table, Watermusic, Xérès, ...

Date : 2014

Droits : Licence Creative Commons : Paternité - Pas d'Utilisation Commerciale - Partage à l'identique 4.0 France

Le dictionnaire facétieux de la musique

Ajouter à mon panier

Accéder aux documents

Preuves formelles, preuves calculatoires

Description : Dans cet exposé, Benjamin Werner présente les méthodes formelles appliquées à la validation de résultats spectaculaires comme la démonstration du théorème des quatre couleurs, ou encore de la conjecture de Kepler.

Mots clés : méthode formelle, théorème des quatre couleurs, coloration de graphe, conjoncture de Kepler, Coq, fuscia

Date : 08-01-2007

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

Preuves formelles, preuves calculatoires

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

Productions UL

La conférence de paix de Paris - Partie 1/2 - Cours n°2 - Thème n°1 - MOOC Verdun #3

Description : Première partie du cours n°2 "La conférence de paix de Paris" du thème "La recomposition de l’Europe dans l’immédiat après-guerre" du Mooc Verdun #3 "Verdun, d'hier à aujourd'hui", présentée par François Cochet, Professeur émérite des Universités en Histoire contemporaine. Spécialiste de la captivité ...

Mots clés : Histoire contemporaine, Verdun, 1ère Guerre mondiale, organisation diplomatique, traités de paix, Woodrow Wilson, Vittorio Emanuele Orlando, Georges Clemenceau, David Lloyd George, Conseil des Quatre

Date : 2018

Droits : CC BY-NC-SA

La conférence de paix de Paris - Partie 1/2 - Cours n°2 - Thème n°1 - MOOC Verdun #3

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

Le calendrier de la Poste

Description : Le travail proposé ici consiste, à partir de l'objet "calendrier de la Poste", à faire une recherche sur les informations qu'il contient, rechercher leur origine, leur signification, étudier leur implication dans notre vie quotidienne et aussi, en ...

Mots clés : calendrier grégorien, calendrier ecclésiastique, comput ecclésiastique, quatre-temps, équation du temps, mois, semaine, longueur des saisons, jour et nuit

Date : 12-2004

Droits : Les contenus du site appartiennent à l'Observatoire de Paris sauf mention contraire explicite (indiquée dans le crédit pour les images). Ces contenus appartenant à l'Observatoire de Paris peuvent être réutilisés sans qu'il soit nécessaire de demander ...

Le calendrier de la Poste

Ajouter à mon panier

Accéder au document

Rebondir