-
1 positive
['pozətiv] 1. adjective1) (meaning or saying `yes': a positive answer; They tested the water for the bacteria and the result was positive (= the bacteria were present).) positivo2) (definite; leaving no doubt: positive proof.) positivo3) (certain or sure: I'm positive he's right.) seguro4) (complete or absolute: His work is a positive disgrace.) completo5) (optimistic and prepared to make plans for the future: Take a more positive attitude to life.) positivo6) (not showing any comparison; not comparative or superlative.) positivo7) ((of a number etc) greater than zero.) positivo8) (having fewer electrons than normal: In an electrical circuit, electrons flow to the positive terminal.) positivo2. noun1) (a photographic print, made from a negative, in which light and dark are as normal.) positivo2) ((an adjective or adverb of) the positive (not comparative or superlative) degree.) positivo•- positively* * *pos.i.tive[p'ɔzitiv] n 1 realidade, fato. 2 Gram grau positivo. 3 Phot positivo. 4 pólo positivo. • adj 1 positivo: a) certo, evidente, inegável, indiscutível. b) baseado em fatos ou na experiência. c) afirmativo. d) real, concreto. e) Electr designativo da eletricidade cuja unidade básica é o próton. f) Gram relativo ao grau positivo. 2 coll absoluto, formal. 3 confiante. 4 Mech comandado, direto. 5 Mat, Phys maior que zero. 6 Opt dextrógiro. 7 dogmático, sentencioso. he was too positive ele era positivo (confiante) demais. positive cash flow Econ fluxo de caixa positivo.
См. также в других словарях:
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof — may refer to: * A rigorous, compelling argument ** Formal proof ** Mathematical proof ** Proof theory, a branch of mathematical logic that represents proofs as formal mathematical objects ** Logical argument ** Evidence (law), tested evidence or… … Wikipedia
Proof-Carrying Code — (PCC) is a software mechanism that allows a host system to verify properties about an application via a formal proof that accompanies the application s executable code. The host system can compare the conclusions of the proof to its own security… … Wikipedia
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Formal — The term formal has a number of uses, including:General*relating to formality *opposite of informalocial* Formal occasion ** Formal attire worn on such occasions ** Formals are particular meals at some British universities ** In Australian or… … Wikipedia
Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… … Wikipedia
Formal specification — A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. It describes what the system should do, not (necessarily) how the system should do it. Given such a specification, it is… … Wikipedia
Proof-theoretic semantics — is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical… … Wikipedia
proof of debt — United Kingdom The form (proof of debt general form) on which a creditor submits details of its claim in a liquidation. In an administration, there is no prescribed proof of debt form but in practice administrators adopt the format of the proof… … Law dictionary
