-
1 check
[ ek] 1. verb1) (to see if something (eg a sum) is correct or accurate: Will you check my addition?) verificar2) (to see if something (eg a machine) is in good condition or working properly: Have you checked the engine (over)?) verificar3) (to hold back; to stop: We've checked the flow of water from the burst pipe.) suster2. noun1) (an act of testing or checking.) verificação2) (something which prevents or holds back: a check on imports.) controle3) (in chess, a position in which the king is attacked: He put his opponent's king in check.) xeque4) (a pattern of squares: I like the red check on that material.) xadrez5) (a ticket received in return for handing in baggage etc.) talão6) ((especially American) a bill: The check please, waiter!) conta7) ((American) a cheque.) cheque•- checked- checkbook
- check-in
- checkmate 3. verb(to put (an opponent's king) in this position.) fazer xeque-mate- checkout- checkpoint
- check-up
- check in
- check out
- check up on
- check up* * *check1[tʃek] n 1 parada repentina, pausa. 2 repressão, coibição. they suffered a check / foram impedidos. 3 controle, supervisão. 4 obstáculo, empecilho, contratempo, estorvo, freio, restrição. 5 recuo, retrogressão. 6 comparação. 7 chancela, rubrica, marca, sinal de exame ou de controle. 8 talão, senha. 9 Amer nota, conta de restaurante. 10 Amer cheque. 11 exame, teste, verificação. 12 Mil revés. 13 racha, fenda, pequeno defeito. 14 chess xeque. 15 controlador, fiscal. 16 Gambling ficha. • vt+vi 1 parar repentinamente, estacar. 2 reprimir, controlar, deter, impedir, frear, conter. 3 controlar, fiscalizar, inspecionar, conferir, verificar. 4 rubricar, marcar, pôr sinal de visto em. 5 conferir, corresponder, estar de acordo. 6 Amer receber talão ou senha. 7 Amer enviar bagagem (identificada por talão) a um destino determinado. 8 dar xeque a. check! xeque! checking copy prova, exemplar para conferir. in check 1 sob controle. 2 em xeque. I must keep them in check / tenho de refreá-los. system of checks and balances Amer sistema de controle mútuo pelas diversas repartições governamentais. to check in 1 registrar-se (em hotel). 2 apresentar-se no aeroporto ou outro porto de embarque para mostrar a passagem e despachar a bagagem. to check off 1 contar, marcar, rubricar. 2 Amer guardar ou despachar bagagem. to check out 1 pagar a conta, devolver as chaves e sair (hotel). 2 somar as compras e receber pagamento (diz-se de caixas em supermercados). to check over controlar, conferir. to check the plumbing sl ir ao banheiro. to check up conferir (cálculo). to check up on examinar. to check with conferir com, estar de acordo com. to give a check upon reprimir, atalhar, mandar parar. to give check dar xeque.————————check2[tʃek] n 1 padrão enxadrezado. 2 quadradinho de xadrez. 3 tecido ou pano axadrezado. -
2 at random
(without any particular plan or system: The police were stopping cars at random and checking their brakes; Choose a number at random.) ao acaso* * *at randomà toa, sem propósito, ao acaso. -
3 at random
(without any particular plan or system: The police were stopping cars at random and checking their brakes; Choose a number at random.) ao acaso
См. также в других словарях:
automatic checking system — automatinės kontrolės sistema statusas T sritis automatika atitikmenys: angl. automatic checking system; automatic checkout system vok. automatisches Prüfsystem, n rus. система автоматического контроля, f pranc. système de contrôle automatique, m … Automatikos terminų žodynas
automatic checking system — automatinio tikrinimo sistema statusas T sritis automatika atitikmenys: angl. automatic checking system vok. automatisches Kontrollsystem, n rus. система автоматического контроля, f pranc. système à contrôle automatique, m … Automatikos terminų žodynas
System F — System F, also known as the polymorphic lambda calculus or the second order lambda calculus, is a typed lambda calculus. It was discovered independently by the logician Jean Yves Girard and the computer scientist John C. Reynolds. System F… … Wikipedia
System programming — Systems programming (or system programming) is the activity of programming system software. The primary distinguishing characteristic of systems programming when compared to application programming is that application programming aims to produce… … Wikipedia
System accident — A system accident is an unanticipated interaction of multiple failures in a complex system. This complexity can either be technological or organizational, and often is both.[1] A system accident can be very easy to see in hindsight, but very… … Wikipedia
checking chip — patikros lustas statusas T sritis radioelektronika atitikmenys: angl. checking chip; expert system chip vok. Expertensystem Chip, n rus. кристалл ИС экспертной системы, m pranc. puce de système expert, f … Radioelektronikos terminų žodynas
Spring (operating system) — Spring was an experimental microkernel based object oriented operating system developed at Sun Microsystems in the early 1990s. Using technology substantially similar to concepts developed in the Mach kernel, Spring concentrated on providing a… … Wikipedia
automatic checkout system — automatinės kontrolės sistema statusas T sritis automatika atitikmenys: angl. automatic checking system; automatic checkout system vok. automatisches Prüfsystem, n rus. система автоматического контроля, f pranc. système de contrôle automatique, m … Automatikos terminų žodynas
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… … Deutsch Wikipedia
