-
1 truth operator
Большой англо-русский и русско-английский словарь > truth operator
-
2 truth operator
Математика: истинностный оператор -
3 truth operator
-
4 operator
1) диспетчер2) владелец ( оборудования)3) машинист4) оператор машины или системы6) матем. оператор- almost periodic operator - amateur radio operator - asymptotically polylinear operator - bounded below operator - completely invertible operator - double stochastic operator - formally hypoelliptic operator - formally self-adjoint operator - formally symmetric operator - internal operator - isotonic operator - left shift operator - locally algebraic operator - locally measurable operator - negative semidefinite operator - normally resolvable operator - partial recursive operator - partially hypoelliptic operator - partially isometric operator - positive definite operator - positive semidefinite operator - properly orthogonal operator - relatively degenerate operator - relatively invertible operator - relatively regular operator - selective operator - skew adjoint operator - skew self-adjoint operator - uniformly strongly elliptic operator - weakly separable operator -
5 истинностный оператор
Большой англо-русский и русско-английский словарь > истинностный оператор
-
6 set
1) набор; комплект- semiconductor assembly set - set of Belleville springs - set of conventional set - set of drawing instruments - set of gate patterns - set of gauge blocks - set of logical elements - set of statistical data - set of technical aids- snap set2) партия3) совокупность; множество4) установка; агрегат- desk telephone set - dial telephone set- gear set- local-battery telephone set - man-pack radio set - multi-operator welding set - sound-powered telephone set - wall telephone set5) регулировка; настройка || регулировать; настраивать6) группа; ансамбль7) класс; семейство9) схватывание || схватываться10) затвердевание || затвердевать11) крепление || закреплять12) геол. свита пород13) осадка (грунта) || оседать ( о грунте)14) радиоточка15) спорт сет16) включать, приводить в действие17) мат. множествоset closed under operation — множество, замкнутое относительно операции
- absolutely compact set - absolutely continuous set - absolutely convex set - absolutely irreducible set - absolutely measurable set - affinely independent set - affinely invariant set - algebraically independent set - almost finite set - almost full set - angular cluster set - asymptotically indecomposable set - at most denumerable set - centro-symmetric set - completely bounded set - completely continuous set - completely generating set - completely improper set - completely irreducible set - completely nonatomic set - completely normal set - completely ordered set - completely productive set - completely reducible set - completely separable set - constructively nonrecursive set - convexly independent set - countably infinite setto set aside — не учитывать, не принимать во внимание; откладывать
- cut set- cyclically ordered set - deductively inconsistent set - derived set - doubly well-ordered set - dual set of equations - dynamically disconnected set - effectively enumerable set - effectively generating set - effectively nonrecursive set - effectively simple set - enumeration reducible set - finely perfect set - finitely definite set - finitely measurable set- flat set- full set- fully reducible set - functionally closed set - functionally complete set - functionally open set - fundamental probability set - generalized almost periodic set- goal set- internally stable set- knot set- left directed set - left normal set - left-hand cluster set - linearly ordered set - local peak set - locally arcwise set - locally closed set - locally compact set - locally connected set - locally contractible set - locally convex set - locally finite set - locally invariant set - locally negligible set - locally null set - locally polar set - locally polyhedral set - metrically bounded set - metrically dense set - multiply ordered set - nearly analytic set - nearly closed set - nonvoid set - normally ordered set- null set- open in rays set - partitioned data set- peak set- pole set- positively homothetic set- pure set- radially open set - rationally independent set - recursively creative set - recursively indecomposable set - recursively isomorphic set - recursively productive set - regularly convex set - regularly situated sets - relatively closed set - relatively compact set - relatively dense set - relatively interpretable set - relatively open set - right normal set - right-hand cluster set- scar set- sequentially complete set - serially ordered set - set of elementary events - set of first category - set of first kind - set of first species - set of possible outcomes - set of probability null - set of second category - set of second species - shift invariant set - simply connected set - simply ordered set - simply transitive set- skew set- star set- strongly bounded set - strongly closed set - strongly compact set - strongly connected set - strongly convex set - strongly dependent set - strongly disjoint sets - strongly enumerable set - strongly independent set - strongly minimal set - strongly polar set - strongly reducible set - strongly separated set - strongly simple set - strongly stratified set- tame set- tautologically complete set - tautologically consistent set - tautologically inconsistent set- test set- thin set- tie set- time set- totally disconnected set - totally imperfect set - totally ordered set - totally primitive set - totally unimodular set - totally unordered set - truth-table reducible set - uniformly bounded set - uniformly continuous set - uniformly convergent set - uniformly integrable set - uniformly universal set - unilaterally connected set- unit set- vacuous set- void set- weakly compact set - weakly convex set - weakly n-dimensional set - weakly stratified set - weakly wandering set - well chained set - well founded set - well measurable set - well ordering set - well quasiordered set -
7 symbol
1) знак2) обозначение3) символ, символическое обозначение•- power residue symbol - symbol of unit - symbol of virtual intersection -
8 data
данные; сведения; информацияto display the tooling data — выводить данные инструмента на дисплей-
AC data
-
actual data
-
actuation data
-
adjusted data
-
aeronautical data
-
air data
-
aircraft loading data
-
aircraft main data
-
aircraft operational data
-
aircraft test data
-
aircraft weight data
-
air-derived data
-
alphanumeric data
-
alphameric data
-
alphabetic data
-
analog data
-
angular data
-
application-specific data
-
area-averaged data
-
arrayed data
-
array data
-
asynoptic data
-
attributes data
-
attribute data
-
bearing preload data
-
behavioral data
-
biased data
-
binary data
-
binocular data
-
blast data
-
boundary data
-
brightness data
-
buoy data
-
business data
-
captioning data
-
channel data
-
characteristic data
-
clear data
-
CNC control data
-
coded data
-
combined data
-
confidential data
-
continuous data
-
control data
-
corrected profile data
-
correction data
-
current data
-
cutting data
-
decimal data
-
delayed-mode data
-
delayed data
-
descriptive data
-
design data
-
digital data
-
digital profile data
-
digital program data
-
digitized data
-
dimensions data
-
dimension data
-
discrepant data
-
discrete data
-
disembodied data
-
displayed data
-
display data
-
enciphered data
-
encoded data
-
engine performance data
-
engineering data
-
environmental data
-
erroneous data
-
error data
-
failure analysis data
-
field data
-
fixed-point data
-
flight data
-
floating-point data
-
geodetic data
-
geological and engineering data
-
gridded data
-
grid data
-
grid-point data
-
ground truth data
-
ground-derived data
-
hemispheric data
-
historical data
-
hydroclime data
-
hydrologic data
-
ice data
-
image data
-
imagery data
-
imaging data
-
impure data
-
incoming data
-
indicative data
-
infrared tracking data
-
initial data
-
input data
-
input shape data
-
in-reactor observational data
-
in-situ data
-
intensional data
-
lithogeochemical data
-
location data
-
long-term data
-
machinable data
-
machine tool data
-
machine-readable data
-
marine data
-
master data
-
meaningful data
-
meaning data
-
meaningless data
-
measuring data
-
meta data
-
metrological data
-
missing data
-
model data
-
motion data
-
multispectral data
-
nadir-viewed data
-
NC data
-
noiseless data
-
null data
-
numerical data
-
numeric data
-
observational data
-
observed data
-
offset curve data
-
on-line data
-
operational data
-
operator-entered data
-
outgoing data
-
output data
-
packed data
-
part-programming data
-
past data
-
performance data
-
pictorial data
-
plant data
-
plotted data
-
point data
-
position data
-
present-position data
-
private data
-
problem data
-
pseudo-observed data
-
public data
-
published data
-
raw data
-
real-time data
-
real-time tool data
-
redundant data
-
reference data
-
refined data
-
relevant data
-
reliability data
-
remotely-sensed data
-
remote-sensed data
-
reservoir engineering data
-
sampled data
-
sea truth data
-
sensory data
-
service data
-
shareable data
-
shipping data
-
simulation data
-
size data
-
snap data
-
source data
-
space-acquired data
-
space-based data
-
spatial data
-
standard sewing data
-
static tool data
-
status data
-
streamflow data
-
string data
-
structured tool data
-
summarized data
-
supplier data
-
surface-based data
-
surface data
-
tabular data
-
tabulated data
-
target data
-
task data
-
telemetry data
-
test data
-
tool condition data
-
topo data
-
torque data
-
transaction data
-
transient response data
-
transparent data
-
true data
-
unpacked data
-
valid data
-
verified data
-
video data
-
vision data
-
voice data
-
voice-band data
-
way-point data
-
workcycle data
-
workpiece shape data
-
zero data -
9 COT
1) Общая лексика: continuous operating temperature2) Компьютерная техника: Computer Office Technology3) Авиация: compressor outlet temperature, cotter4) Спорт: Camping Device5) Военный термин: Commanding Officer Troops, Commissioned Officer Training, Computer Operator Terminal, Consecutive Overseas Tours, check-out time, clutter on target, commander of troops, consecutive overseas tour, consolidated operability test, coordinated operability test, current operating time6) Техника: cargo oil tank7) Шутливое выражение: Cult Of Tiamat, Cult Of Tracker8) Математика: Co-Tangent, Cube Of Trees9) Религия: Circle Of Trust10) Юридический термин: Circle Of Truth11) Бухгалтерия: Carry Over Transactions, Change One Thing12) Биржевой термин: commitment of traders13) Ветеринария: Cat Over Temp, Committee on Toxicity... of Chemicals in Food, Consumer Products and the Environment (of the Department of Health)14) Телекоммуникации: Central Office Terminal15) Сокращение: Card Or Tape (NCR), cost of test16) Физиология: Cotton17) Электроника: Customer-owned tooling18) Вычислительная техника: таблица изменений данных, Cause of Transmission19) Нефть: (максимальная температура змеевика на выходе) (Coil outlet temperature), Coil outlet temperature (максимальная температура змеевика на выходе)20) Космонавтика: Columbus Operations Team21) Глоссарий компании Сахалин Энерджи: crude oil terminal22) Валютные операции: вовлечённость трейдеров (commitments of traders)23) Полимеры: cyclooctatetraene24) Должность: Certified Ophthalmic Technician25) Управление проектами: (Critical operation task) Критичные производственные задачи -
10 SOT
1) Американизм: Special Occupational Taxpayer2) Военный термин: Special Operations Training, Split Option Training, simulated operational training, special operations team, system operability test, system operational test3) Техника: Shuttle optical telescope, Start Of Tile, shortest operational time, small-outline transistor package, solar optical telescope, solar orbital telescope, structural overpressure test4) Религия: Seekers Of Truth5) Юридический термин: Sex Offender Treatment, Stealer Of Toys6) Ветеринария: Society of Toxicology7) Сокращение: Sotho, Southern, StandOff TACMET, Small Outline Transistor package, System Operation Test8) Физиология: Sacro Occipital Technique10) СМИ: Sound On Tape, Sound Over Tape11) Глоссарий компании Сахалин Энерджи: старший техник-оператор (Senior Operator Technician)12) Сахалин Ю: scheduled over time13) Авиационная медицина: space orientation test, spatial orientation trainer14) Нефтеперерабатывающие заводы: конечная температура в реакционной камере (soaker outlet temperature)15) Высокочастотная электроника: small-outline transistor16) Чат: Scared Of That, Slightly Off Topic, Somewhat Off Topic17) НАСА: Science Operations Team, Sea Of Tranquility -
11 WOT
1) Американизм: War On Terror, Waste Of Time2) Спорт: Women On Tightropes3) Военный термин: weather over target4) Техника: wireless orientation tool5) Химия: Weak Operator Topology6) Религия: Words Of Truth7) Сокращение: Wide-Open Throttle8) Нефть: waiting on test, waiting on tools, инклинометр, передающий данные по столбу бурового раствора (wireless orientation tool), ожидание инструмента (waiting on tools), ожидание оборудования (waiting on tools), ожидание окончания испытания (waiting on test)9) Транспорт: With Out Throttle10) СМИ: Web Of Trust, Wheel Of Time11) Деловая лексика: Wheel Of Transformation12) Сетевые технологии: Web Open Technologies13) Чат: Were-Over-There.Com14) Программное обеспечение: Web Opc Tool15) СМС: What -
12 cot
1) Общая лексика: continuous operating temperature2) Компьютерная техника: Computer Office Technology3) Авиация: compressor outlet temperature, cotter4) Спорт: Camping Device5) Военный термин: Commanding Officer Troops, Commissioned Officer Training, Computer Operator Terminal, Consecutive Overseas Tours, check-out time, clutter on target, commander of troops, consecutive overseas tour, consolidated operability test, coordinated operability test, current operating time6) Техника: cargo oil tank7) Шутливое выражение: Cult Of Tiamat, Cult Of Tracker8) Математика: Co-Tangent, Cube Of Trees9) Религия: Circle Of Trust10) Юридический термин: Circle Of Truth11) Бухгалтерия: Carry Over Transactions, Change One Thing12) Биржевой термин: commitment of traders13) Ветеринария: Cat Over Temp, Committee on Toxicity... of Chemicals in Food, Consumer Products and the Environment (of the Department of Health)14) Телекоммуникации: Central Office Terminal15) Сокращение: Card Or Tape (NCR), cost of test16) Физиология: Cotton17) Электроника: Customer-owned tooling18) Вычислительная техника: таблица изменений данных, Cause of Transmission19) Нефть: (максимальная температура змеевика на выходе) (Coil outlet temperature), Coil outlet temperature (максимальная температура змеевика на выходе)20) Космонавтика: Columbus Operations Team21) Глоссарий компании Сахалин Энерджи: crude oil terminal22) Валютные операции: вовлечённость трейдеров (commitments of traders)23) Полимеры: cyclooctatetraene24) Должность: Certified Ophthalmic Technician25) Управление проектами: (Critical operation task) Критичные производственные задачи -
13 sot
1) Американизм: Special Occupational Taxpayer2) Военный термин: Special Operations Training, Split Option Training, simulated operational training, special operations team, system operability test, system operational test3) Техника: Shuttle optical telescope, Start Of Tile, shortest operational time, small-outline transistor package, solar optical telescope, solar orbital telescope, structural overpressure test4) Религия: Seekers Of Truth5) Юридический термин: Sex Offender Treatment, Stealer Of Toys6) Ветеринария: Society of Toxicology7) Сокращение: Sotho, Southern, StandOff TACMET, Small Outline Transistor package, System Operation Test8) Физиология: Sacro Occipital Technique10) СМИ: Sound On Tape, Sound Over Tape11) Глоссарий компании Сахалин Энерджи: старший техник-оператор (Senior Operator Technician)12) Сахалин Ю: scheduled over time13) Авиационная медицина: space orientation test, spatial orientation trainer14) Нефтеперерабатывающие заводы: конечная температура в реакционной камере (soaker outlet temperature)15) Высокочастотная электроника: small-outline transistor16) Чат: Scared Of That, Slightly Off Topic, Somewhat Off Topic17) НАСА: Science Operations Team, Sea Of Tranquility -
14 wot
1) Американизм: War On Terror, Waste Of Time2) Спорт: Women On Tightropes3) Военный термин: weather over target4) Техника: wireless orientation tool5) Химия: Weak Operator Topology6) Религия: Words Of Truth7) Сокращение: Wide-Open Throttle8) Нефть: waiting on test, waiting on tools, инклинометр, передающий данные по столбу бурового раствора (wireless orientation tool), ожидание инструмента (waiting on tools), ожидание оборудования (waiting on tools), ожидание окончания испытания (waiting on test)9) Транспорт: With Out Throttle10) СМИ: Web Of Trust, Wheel Of Time11) Деловая лексика: Wheel Of Transformation12) Сетевые технологии: Web Open Technologies13) Чат: Were-Over-There.Com14) Программное обеспечение: Web Opc Tool15) СМС: What -
15 AND
1) Any day now - в любое времяаббревиатура, используемая в переписке по электронной почтесм. тж. digispeak2) конъюнкция ( conjunction), логическое умножение (logical multiplication), логическая функция Иоперация над двоичными разрядами операндов (0, 1) или над логическими величинами (true, false), возвращающая значение "истина" только в том случае, если оба операнда 1, или оба истинны. В программировании часто используется для проверки значения нужных разрядов маски, регистра состояния и т. п., например, 1001 AND 0101= 0001Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > AND
-
16 logical function
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logical function
-
17 degree
1) градус2) матем. степень; порядок3) сорт, качество4) диплом5) степень, уровень; ступень•degrees to port — мор. градусы левого борта
degrees to starboard — мор. градусы правого борта
to some degree — до некоторой степени; в известной мере
-
18 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
19 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
20 model
1. модель; макет; образец; эталон/ модельный/ моделировать2. модель; вариант; типactuator modelactuator disk modeladvanced development modelaerodynamic modelaeroelastic modelaeroelastically scaled modelair combat modelairplane modelairplane-like modelapproach modelarrow-wing modelatmospheric modelautopilot modelautorotation modelautothrottle modelBaldwin-Lomax modelbasic modelbeam modelbeam/lumped mass modelbiomorphic modelblowing modelbody alone modelbreadboard modelcable-mounted modelcargo load modelCFD modelcombustion modelcombustion-flow modelcommand modelcompensatory modelcomposite modelcompressibility modified modelcomputer modelcone-cylinder modelcone-finned modelconical-flow modelconsistent modelconstant amplitude fatigue modelconstitutive modelcontinuous-mass modelcontinuum modelcontroller modelcorrelation modelcounter-rotation modelcrack modelcrack growth modelcrack growth retardation modelcrossover modelcumulative damage modeldamage accumulation modeldamper modeldatabase modeldeterministic modeldevelopment-type modeldifferential-game modeldiscrete modeldistributed lift modeldisturbance modeldowndraft modeldrop modelDryden modelDugdale modeldynamically scaled modeldynamics modelenergy-conservation modelengagement modelengine modelengineering development modelerror modelfailure modelfatigue modelfilament modelfine grid modelfinite element modelfixed-base modelfixed-wing modelflow modelflutter modelflutter-suppression modelfour-input/four-output modelfractional derivative modelfracture modelfree to roll modelfree-flight modelfree-flying modelfree-spinning modelfreely flying modelfrequency-domain modelfull modelfull-order modelfull-span modelfull-span wing modelgame modelgeneric modelgeometric modelgeometrically scaled modelgravity modelgravity anomaly modelgust modelhalf-plane modelhalf-wing modelhigh-fineness-ratio modelhuman operator modelidentified modelilluminated modelinfinite-blade modelinput modelinstrumented modelinverse modelisolated wing modelk-e modelk-W modelkinematic modelkinetic modellarge-scale modellead-lag pilot modellead-only pilot modellinear modellongitudinal modellower-order modellumped parameter modellumped-mass modelMach-scaled modelmagnetically suspended modelmass-and-spring modelmass-spring modelMaxwell modelmembrane and rod modelmeteorological modelmicromechanical modelMiner-Palmgren damage modelminimum phase modelmissile modelmodal modelmomentum-conserved modelmoving modelmultiaxis modelmultidegree of freedom modelmultiloop modelmultiscale modelneuromuscular modelobservation modelover-parameterized modelparabolized Navier-Stokes modelpendulation modelperformance modelperturbation modelphenomenological modelphysical modelpilot-aircraft modelpilot-vehicle modelpiston modelpitch modelpitch-plunge modelpitch-lateral-directional modelplant modelplastic modelpneumodynamic modelpowered modelpowered-lift modelprecision modelprediction modelpreview modelproduction modelproperly parameterized modelpropfan modelpropulsion modelpure gain pilot modelquantized modelquasi-static modelR&M modelradar modelradial spring modelradio control modelradio controlled modelreal-world modelreduced order modelreference modelreflectivity modelreingestion modelreplica modelreplica-type modelrocket-propelled modelroll modelrotor-body modelrotorcraft modelscale modelscaled modelscattering modelself-consistent modelsemiempirical modelsemispan modelsemispan wing modelsensitivity modelsimulation modelsingle-axis modelsingle-body modelsingle-rotation modelspectrum fatigue modelspray modelstall modelstate modelstate space modelstatistical modelstiffness modelstochastic modelstress modelstructural modelstudy modelsupersonic cruise modeltask modelterrain modelthin-jet modelthree-degree-of-a-freedom modelthree-state modelthrust modeltire modeltransfer-function modeltransparent modeltruth modeltunnel-supported modelturbulence modeltwin-body modeltwo layer turbulence modeltwo-control modeltwo-degrees-of-freedom modeltwo-equation turbulence modelunquantized modeluntuned modelusage modelV/STOL modelvaporization modelvehicle stability modelvertical dynamic modelvestibular modelviscous/inviscid modelvisual cueing modelwake modelwake/wing modelwater tunnel modelWheeler retardation modelwind-tunnel modelwindshear modelwing-canard modelwing-rotor modelwireframe modelyaw model
См. также в других словарях:
Truth function — Truth functional redirects here, for the truth functional conditional, see Material conditional. In mathematical logic, a truth function is a function from a set of truth values to truth values. Classically the domain and range of a truth… … Wikipedia
Truth table — A truth table is a mathematical table used in logic specifically in connection with Boolean algebra, boolean functions, and propositional calculus to compute the functional values of logical expressions on each of their functional arguments, that … Wikipedia
Truth or Consequences Municipal Airport — Infobox Airport name = Truth or Consequences Municipal Airport nativename = nativename a = nativename r = image width = caption = IATA = TCS ICAO = KTCS FAA = TCS type = Public owner = operator = City of Truth or Consequences city served =… … Wikipedia
Destination Truth — Title screenshot of Season 3. Also known as The Monster Hunter (UK) Genre Documentary Reality … Wikipedia
Modal operator — In modal logic, a modal operator is an operator which forms propositions from propositions. In general, a modal operator has the formal property of being non truth functional, and is intuitively characterised by expressing a modal attitude (such… … Wikipedia
Minimal negation operator — In logic and mathematics, the minimal negation operator u! is a multigrade operator ( u {k}) {k in mathbb{N where each u {k}! is a k ary boolean function defined in such a way that u {k}(x 1, ldots , x k) = 1 if and only if exactly one of the… … Wikipedia
Window operator — In modal logic, the window operator riangle is a modal operator with the following semantic definition:M,wmodels rianglephi iff forall u, M,umodelsphiRightarrow Rwufor M=(W,R,f) a model and w,uin W. Informally, it says that w sees every phi;… … Wikipedia
μ operator — In computability theory, the μ operator, minimization operator, or unbounded search operator searches for the least natural number with a given property. Contents 1 Definition 2 Properties 3 Examples … Wikipedia
Common operator notation — This article is about the concept of operator precedence. For operator precedence parsing, see operator precedence parser. In programming languages, common operator notation is one way of notating mathematical expressions as a linear sequence of… … Wikipedia
Μ operator — In computability theory, the μ operator, minimization operator, or unbounded search operator searches for the least natural number with a given property. Definition Suppose that R( y, x1 , . . ., xk ) is a fixed k+1 ary relation on the natural… … Wikipedia
Ubu and the Truth Commission — is a South African play by Jane Taylor first performed under the directorship of William Kentridge at The Laboratory in Johannesburg s Market Theatre [Before the end of 1998, the Market Theatre had already staged three plays on the Truth and… … Wikipedia
