- monotonic type
- мат. монотонный тип (функции)
Большой англо-русский и русско-английский словарь. 2001.
monotonic type
Смотреть что такое "monotonic type" в других словарях:
Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences … Wikipedia
Mechanism design — The Stanley Reiter diagram above illustrates a game of mechanism design. The upper left space Θ depicts the type space and the upper right space X the space of outcomes. The social choice function f(θ) maps a type profile to an outcome. In games… … Wikipedia
Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… … Wikipedia
Nakamura number — In cooperative game theory and social choice theory, the Nakamura number measures the degree of rationality of preference aggregation rules (collective decision rules), such as voting rules. It is an indicator of the extent to which an… … Wikipedia
Distributed data flow — An illustration of the basic concepts involved in the definition of a distributed data flow. Distributed data flow (also abbreviated as distributed flow) refers to a set of events in a distributed application or protocol that satisfies the… … Wikipedia
Visual short term memory — In the study of vision, visual short term memory (VSTM) is one of three broad memory systems including iconic memory and long term memory. VSTM is a type of short term memory, but one limited to information within the visual domain. The term VSTM … Wikipedia
Ordered Weighted Averaging (OWA) Aggregation Operators — Introduced by Ronald R. Yager, the Ordered Weighted Averaging operators, commonly called OWA operators, provide a parameterized class of mean type aggregation operators. Many notable mean operators such as the max, arithmetic average, median and… … Wikipedia
Valve audio amplifier - technical — Circuitry and performance Characteristics of valves Valves are very high input impedance (near infinite in most circuits) and high output impedance devices. They are also high voltage / low current devices.While valves themselves are described… … Wikipedia
Network motif — Network motifs are connectivity patterns (sub graphs) that occur much more often than they do in random networks. Most networks studied in biology, ecology and other fields have been found to show a small set of network motifs; surprisingly, in… … Wikipedia
Monotone likelihood ratio — A monotonic likelihood ratio in distributions f(x) and g(x) The ratio of the density functions above is increasing in the parameter x, so f(x)/g(x) satisfies the monotone likelihood ratio property. In statistics, the monoto … Wikipedia
Digital-to-analog converter — For digital television converter boxes, see digital television adapter. 8 channel digital to analog converter Cirrus Logic CS4382 as used in a soundcard. In electronics, a digital to analog converter (DAC or D to A) is a device that converts a… … Wikipedia
