completeness
91Strongly NP-complete — In computational complexity, strong NP completeness is a property of computational problems that is a special case of NP completeness. Ageneral computational problem may have numerical parameters. For example, the input to the Bin packing problem …
92Łukasiewicz logic — In mathematics, Łukasiewicz logic is a non classical, many valued logic. It was originally defined by Jan Łukasiewicz as a three valued logic;Łukasiewicz J., 1920, O logice trójwartościowej (in Polish). Ruch filozoficzny 5:170–171. English… …
93Magic Quadrant — The Gartner Magic Quadrant (MQ) is a proprietary research tool developed by Gartner Inc., a US based research and advisory firm. According to Gartner, the Magic Quadrant aims to provide a qualitative analysis into a market and its direction,… …
94Interaktives Beweissystem — Ein interaktives Beweissystem ist ein Begriff aus der Komplexitätstheorie. Dabei wird eine abstrakte Maschine, in welcher die Informationsverarbeitung durch den Austausch von Nachrichten realisiert ist, beschrieben. Ein interaktives Beweissystem… …
95analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… …
96Leon Henkin — Leon Albert Henkin (* 19. April 1921 in Brooklyn; † 1. November 2006) war ein US amerikanischer Logiker. Leben und Wirken Henkin war der Sohn russisch jüdischer Einwanderer und studierte am Columbia College der Columbia University Mathematik und… …
97проверка — 2.9 проверка [аудит]: Систематическая и объективная деятельность по оценке выполнения установленных требований, проводимая лицом (экспертом) или группой лиц, независимых в принятии решений. Источник: ГОСТ Р 52549 2006: Система управления… …
Словарь-справочник терминов нормативно-технической документации
98проверка полноты — 3.41 проверка полноты (completeness check): Процесс верификации достаточности информации, полученной на стадиях оценки жизненного цикла, для выработки заключений в соответствии с определенными целью и областью исследований. Источник: ГОСТ Р ИСО… …
Словарь-справочник терминов нормативно-технической документации
99P = NP problem — The relationship between the complexity classes P and NP is an unsolved question in theoretical computer science. It is considered to be the most important problem in the field – the Clay Mathematics Institute has offered a $1 million US prize… …
100List of computer scientists — Expand list|date=August 2008This is a list of well known computer scientists, people who do work in computer science, in particular researchers and authors.Some persons notable as programmers are included here because they work in research as… …
