- pushout
-
/poosh"owt'/, n. Informal.throwaway (def. 5).[n. use of v. phrase push out]
* * *
Universalium. 2010.
* * *
Universalium. 2010.
Pushout — A pushout is a student counseled or forced out of a school prior to graduation. Children are often pushed out of an educational institutions because their presence in the school creates difficulty in meeting some goal of the school. For example,… … Wikipedia
pushout — noun Given a pair of arrows and with a common domain, X, their pushout is a pair of arrows and with common codomain, P, such that the equation is satisfied, and for which there is the universal property that for any other object W for which there … Wiktionary
Pushout (category theory) — In category theory, a branch of mathematics, a pushout (also called a fibered coproduct or fibered sum or cocartesian square or amalgamed sum) is the colimit of a diagram consisting of two morphisms f : Z → X and g : Z → Y with a common … Wikipedia
pushout — ˈ ̷ ̷ ˌ ̷ ̷ noun ( s) Etymology: push out, verb : one who is dismissed (as from a school or job) * * * /poosh owt /, n. Informal. throwaway (def. 5). [n. use of v. phrase push out] … Useful english dictionary
Graphersetzung — Beispiel für Graphersetzungsregel (Optimierung aus dem Compilerbau: Multiplikation mit 2 durch Addition ersetzt) Graphersetzungssysteme dienen der formalen Beschreibung der Veränderung von Graphen. Ein Graphersetzungssystem ist eine Menge M von… … Deutsch Wikipedia
Graphersetzungssystem — Beispiel für Graphersetzungsregel (Optimierung aus dem Compilerbau: Multiplikation mit 2 durch Addition ersetzt) Graphersetzungssysteme dienen der formalen Beschreibung der Veränderung von Graphen. Ein Graphersetzungssystem ist eine Menge M von… … Deutsch Wikipedia
Graphersetzungssysteme — Beispiel für Graphersetzungsregel (Optimierung aus dem Compilerbau: Multiplikation mit 2 durch Addition ersetzt) Graphersetzungssysteme dienen der formalen Beschreibung der Veränderung von Graphen. Ein Graphersetzungssystem ist eine Menge M von… … Deutsch Wikipedia
Graphgrammatik — Beispiel für Graphersetzungsregel (Optimierung aus dem Compilerbau: Multiplikation mit 2 durch Addition ersetzt) Graphersetzungssysteme dienen der formalen Beschreibung der Veränderung von Graphen. Ein Graphersetzungssystem ist eine Menge M von… … Deutsch Wikipedia
Graphtransformation — Beispiel für Graphersetzungsregel (Optimierung aus dem Compilerbau: Multiplikation mit 2 durch Addition ersetzt) Graphersetzungssysteme dienen der formalen Beschreibung der Veränderung von Graphen. Ein Graphersetzungssystem ist eine Menge M von… … Deutsch Wikipedia
Graph rewriting — In graph theory, graph rewriting is a system of rewriting for graphs, i.e. a set of graph rewrite rules of the form p: L ightarrow R, with L being called pattern graph (or left hand side) and R being called replacement graph (or right hand side… … Wikipedia