Séance de cours

Compter les dés de poker: preuves combinatoires et analytiques

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Dans cours

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics as diverse as mathematical reasoning, combinatorics, disc ...

Description

Cette séance de cours couvre le comptage des câbles nécessaires pour connecter les ordinateurs et les imprimantes, en utilisant des preuves combinatoires pour déterminer le nombre de rouleaux possibles de dés de poker, et des preuves analytiques pour calculer les résultats. L'instructeur explique les solutions étape par étape, fournissant un aperçu du raisonnement mathématique derrière chaque calcul.

Enseignant·e

Karl Aberer

Co-Founder of LinkAlong Sarl, 2017.Vice-president EPFL for Information Systems, 2012 –2016.Director of the Swiss National Centre for Mobile Information and Communication Systems NCCR MICS (mics.ch), 2005 -2012.Member of the Swiss Research and Technology Council SWTR, consulting the Swiss Federal government, 2004 - 2011.

Source officielle

Concepts associés (30)

Démonstration (logique et mathématiques)

vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.

Théorie de la démonstration

La théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.

Mathématiques

thumb|upright|Raisonnement mathématique sur un tableau. Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations ; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets. Elles sont aussi le domaine de recherche développant ces connaissances, ainsi que la discipline qui les enseigne.

Preuve combinatoire

In mathematics, the term combinatorial proof is often used to mean either of two types of mathematical proof: A proof by double counting. A combinatorial identity is proven by counting the number of elements of some carefully chosen set in two different ways to obtain the different expressions in the identity. Since those expressions count the same objects, they must be equal to each other and thus the identity is established. A bijective proof. Two sets are shown to have the same number of members by exhibiting a bijection, i.

Combinatorial principles

In proving results in combinatorics several useful combinatorial rules or combinatorial principles are commonly recognized and used. The rule of sum, rule of product, and inclusion–exclusion principle are often used for enumerative purposes. Bijective proofs are utilized to demonstrate that two sets have the same number of elements. The pigeonhole principle often ascertains the existence of something or is used to determine the minimum or maximum number of something in a discrete context.

Afficher plus

Séances de cours associées (64)

Théorème du nombre premier

Explore la preuve du théorème des nombres premiers et ses implications dans la théorie des nombres.

Preuve de la formule explicite

Couvre la preuve de la formule explicite pour la non-disparition de la fonction zêta à la ligne 1.

Nombres primaires : Théorème d'Euclid

Explore les premiers nombres et le théorème d'Euclid à travers une preuve par contradiction.

Calcul des variations: jeune théorème de gradient

Couvre le jeune théorème de gradient dans le calcul des variations, en discutant des preuves et des applications.

Arithmétique Modulaire : Fondements et Applications

Présente l'arithmétique modulaire, ses propriétés et ses applications en cryptographie et en théorie du codage.

Afficher plus

Concepts associés (30)

Démonstration (logique et mathématiques)

Théorie de la démonstration

Mathématiques

Preuve combinatoire

Combinatorial principles

Afficher plus