BeDict Logo

sketches

/ˈskɛtʃɪz/
Illustration visuelle de sketches: Esquisse, sketch
noun

Esquisse, sketch

A brief, light, or unfinished dramatic, musical, or literary work or idea; especially a short, often humorous or satirical scene or play, frequently as part of a revue or variety show, a skit

L'émission comique présentait plusieurs courts sketches sur les premiers rendez-vous gênants et la vie de bureau.

entertainmentartliteraturestage
Illustration visuelle de sketches: Article de journal humoristique, satire
noun

Article de journal humoristique, satire

A humorous newspaper article summarizing political events, making heavy use of metaphor, paraphrase and caricature.

Les satires politiques du journal étaient si drôles et exagérées que tout le monde avait hâte de les lire chaque semaine.

politicsmediawritingentertainmentliterature
Illustration visuelle de sketches: Une spécification formelle d'une structure mathématique ou d'un type de données décrite en termes de graphe et de diagrammes (et de cônes (et de cocônes)) sur celui-ci. Elle peut être implémentée au moyen de "modèles", qui sont des foncteurs qui sont des homomorphismes de graphes de la spécification formelle vers des catégories telles que les diagrammes deviennent commutatifs, les cônes deviennent limitants (c'est-à-dire des produits), les cocônes deviennent colimitants (c'est-à-dire des sommes).
noun

Une spécification formelle d'une structure mathématique ou d'un type de données décrite en termes de graphe et de diagrammes (et de cônes (et de cocônes)) sur celui-ci. Elle peut être implémentée au moyen de "modèles", qui sont des foncteurs qui sont des homomorphismes de graphes de la spécification formelle vers des catégories telles que les diagrammes deviennent commutatifs, les cônes deviennent limitants (c'est-à-dire des produits), les cocônes deviennent colimitants (c'est-à-dire des sommes).

A formal specification of a mathematical structure or a data type described in terms of a graph and diagrams (and cones (and cocones)) on it. It can be implemented by means of “models”, which are functors which are graph homomorphisms from the formal specification to categories such that the diagrams become commutative, the cones become limiting (i.e., products), the cocones become colimiting (i.e., sums).

L'informaticien a utilisé des esquisses pour définir formellement la structure de données de la nouvelle plateforme de médias sociaux, garantissant ainsi que ses composants interagissent correctement.

mathcomputinglogictechnicalscienceabstractstructure