-
1 complete
kəm'pli:t 1. adjective1) (whole; with nothing missing: a complete set of Shakespeare's plays.) fullstendig, komplett2) (thorough: My car needs a complete overhaul; a complete surprise.) grundig, fullstendig3) (finished: My picture will soon be complete.) ferdig, fullført2. verb(to finish; to make complete: When will he complete the job?; This stamp completes my collection.) fullføre, avslutte, komplettere- completeness
- completionende--------fullstendig--------klar--------komplett--------ren--------slutteIverb \/kəmˈpliːt\/1) avslutte, sluttføre, fullføre, fullbyrde, gjøre (eller få) ferdig2) oppfylle, gjennomføre3) fullstendiggjøre, fullende, gjøre fullkommen, gjøre komplett, gjøre fulltallig4) fylle utcompleted ferdig, avsluttetIIadj. \/kəmˈpliːt\/1) komplett, fullstendig, full, hel, absoluttkomme som en fullstendig\/total overraskelse2) uttømmende3) avsluttet, ferdig• when will the work be complete?complete with med tilhørende
См. также в других словарях:
Completeness (knowledge bases) — A knowledge base KB is complete if there is no formular α such that KB ⊭ α and KB ⊭ ¬α. Example of knowledge base with incomplete knowledge: KB := { A ∨ B } Then we have KB ⊭ A and KB ⊭ ¬A. In some cases, you can make a consistent knowledge… … Wikipedia
Turing completeness — For the usage of this term in the theory of relative computability by oracle machines, see Turing reduction. In computability theory, a system of data manipulation rules (such as an instruction set, a programming language, or a cellular… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
My Completeness — Single by Thirsty Merc from the album Thirsty Merc Released 26 July 2004 … Wikipedia
Encyclopedia of the Brethren of Purity — The Encyclopedia of the Brethren of Purity (Arabic: رسائل أخوان الصفا و خلان الوفا Rasa il ikhwan as safa wa khillan al wafa; also variously known as the Epistles of the Brethren of Sincerity , Epistles of the Brethren of Purity and Epistles of… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia