Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Cônes entiers

Dans cours

MATH-504: Integer optimisation

The course aims to introduce the basic concepts and results of integer optimization with special emphasis on algorithmic problems on lattices that have proved to be important in theoretical computer science and cryptography during the past 30 years. ...

Description

Cette séance de cours couvre le concept de cônes entiers, en se concentrant sur les propriétés et les théorèmes qui leur sont liés. L'instructeur explique la définition des cônes entiers, théorème de Carathéodory, et fournit des exemples pour illustrer le sujet.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Source officielle

Concepts associés (32)

Définition

Une définition est une proposition qui met en équivalence un élément définissant et un élément étant défini. Une définition a pour but de clarifier, d'expliquer. Elle détermine les limites ou « un ensemble de traits qui circonscrivent un objet ». Selon les Définitions du pseudo-Platon, la définition est la . Aristote, dans le Topiques, définit le mot comme En mathématiques, on définit une notion à partir de notions antérieurement définies. Les notions de bases étant les symboles non logiques du langage considéré, dont l'usage est défini par les axiomes de la théorie.

Lexical definition

The lexical definition of a term, also known as the dictionary definition, is the definition closely matching the meaning of the term in common usage. As its other name implies, this is the sort of definition one is likely to find in the dictionary. A lexical definition is usually the type expected from a request for definition, and it is generally expected that such a definition will be stated as simply as possible in order to convey information to the widest audience.

Circular definition

A circular definition is a type of definition that uses the term(s) being defined as part of the description or assumes that the term(s) being described are already known. There are several kinds of circular definition, and several ways of characterising the term: pragmatic, lexicographic and linguistic. Circular definitions are related to Circular reasoning in that they both involve a self-referential approach. Circular definitions may be unhelpful if the audience must either already know the meaning of the key term, or if the term to be defined is used in the definition itself.

Théorème d'extension de Carathéodory

En théorie de la mesure, le théorème d'extension de Carathéodory est un théorème fondamental, qui est à la base de la construction de la plupart des mesures usuelles. Constitué par généralisation à un cadre abstrait des idées fondant la construction de la mesure de Lebesgue, et exposé sous diverses variantes, il est également mentionné par certains auteurs sous les noms de théorème de Carathéodory-Hahn ou théorème de Hahn-Kolmogorov (certaines sources distinguent un théorème de Carathéodory qui est l'énoncé d'existence, et un théorème de Hahn qui est l'énoncé d'unicité).

Carathéodory's criterion

Carathéodory's criterion is a result in measure theory that was formulated by Greek mathematician Constantin Carathéodory that characterizes when a set is Lebesgue measurable. Carathéodory's criterion: Let denote the Lebesgue outer measure on where denotes the power set of and let Then is Lebesgue measurable if and only if for every where denotes the complement of Notice that is not required to be a measurable set.

Afficher plus

Séances de cours associées (53)

Composition des applications en mathématiques

Explore la composition des applications en mathématiques et l'importance de comprendre leurs propriétés.

Fonctions de cartographie et surjections

Explore les fonctions cartographiques, les surjections, les fonctions injectives et surjectives et les fonctions bijectives.

Produit cartésien et induction

Présente le produit cartésien et l'induction pour les épreuves utilisant des entiers et des ensembles.

Mesures de l'information : Entropie et théorie de l'information

Explique comment l'entropie mesure l'incertitude dans un système en fonction des résultats possibles.

Fonctions: Définitions et notations

Couvre les généralités des fonctions, y compris la définition d'une application entre les ensembles et l'unicité des éléments dans l'ensemble d'images.

Afficher plus

Concepts associés (32)

Définition

Lexical definition

Circular definition

Théorème d'extension de Carathéodory

Carathéodory's criterion

Afficher plus