Séance de cours

Résultat de l'impossibilité: Atomic SRSW Register

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.

Description

Cette séance de cours traite de l'impossibilité de mettre en oeuvre un registre SRSW atomique en utilisant un nombre fini de registres réguliers bornés sans que les lecteurs écrivent dans les registres de base. Les diapositives couvrent des concepts tels que les registres réguliers SRSW, les opérations atomiques et les limites de la construction d'un tel registre. La séance de cours explore également les propriétés des condensés pour les séquences finies de valeurs et les défis dans la réalisation d'un registre SRSW atomique. Diverses transformations et opérations sur les registres sont présentées, soulignant la complexité de cette mise en œuvre.

Source officielle

Concepts associés (17)

Regular 4-polytope

In mathematics, a regular 4-polytope is a regular four-dimensional polytope. They are the four-dimensional analogues of the regular polyhedra in three dimensions and the regular polygons in two dimensions. There are six convex and ten star regular 4-polytopes, giving a total of sixteen. The convex regular 4-polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century. He discovered that there are precisely six such figures.

Polygone régulier

En géométrie euclidienne, un polygone régulier est un polygone à la fois équilatéral (tous ses côtés ont la même longueur) et équiangle (tous ses angles ont la même mesure). Un polygone régulier est soit convexe, soit étoilé. Tous les polygones réguliers convexes d'un même nombre de côtés sont semblables. Tout polygone régulier étoilé de n côtés a une enveloppe convexe de n côtés, qui est un polygone régulier. Un entier n supérieur ou égal à 3 étant donné, il existe un polygone régulier convexe de n côtés.

Polytope régulier

droite|vignette|Le dodécaèdre régulier, un des cinq solides platoniciens. En mathématiques, plus précisément en géométrie ou encore en géométrie euclidienne, un polytope régulier est une figure de géométrie présentant un grand nombre de symétries. En dimension deux, on trouve par exemple le triangle équilatéral, le carré, les pentagone et hexagone réguliers, etc. En dimension trois se rangent parmi les polytopes réguliers le cube, le dodécaèdre régulier (ci-contre), tous les solides platoniciens.

Expression régulière

vignette|Stephen Cole Kleene, dont les travaux ont fondé le concept d'expression régulière. En informatique, une expression régulière ou expression rationnelle ou expression normale ou motif est une chaîne de caractères qui décrit, selon une syntaxe précise, un ensemble de chaînes de caractères possibles. Les expressions régulières sont également appelées regex (un mot-valise formé depuis l'anglais regular expression). Les expressions rationnelles sont issues des théories mathématiques des langages formels des années 1940.

Langage rationnel

En théorie des langages, les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes : ce sont les langages décrits par les expressions régulières ou rationnelles, d'où le nom de langages réguliers ; ce sont les langages obtenus, à partir des lettres et de l'ensemble vide, par les opérations rationnelles, à savoir l'union, le produit et l'étoile de Kleene, d'où le nom de langages rationnels ; ce sont les langages reconnus par des auto

Afficher plus

Séances de cours associées (23)

Régularité des solutions faibles

Explore les PDE elliptiques, les solutions faibles, la régularité et les solutions fortes, en mettant l'accent sur les solutions classiques et les techniques de preuve.

Construction de solutions par Dirichlet-Laplace

Explore la construction de solutions par Dirichlet-Laplace dans des domaines généraux.

Courbes géodésiques : réduction de la distance et de la vitesse constante

Couvre les courbes géodésiques paramétrées à vitesse constante pour minimiser les distances entre les points.

MATH-213 Géométrie Différentielle | Jeudi | Automne 24

MATH-201 Analyse III | Mardi | Automne 24

Afficher plus

Concepts associés (17)