unit clause

unit clause
мат. единичный дизъюнкт

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Поможем сделать НИР

Смотреть что такое "unit clause" в других словарях:

  • Unit propagation — (UP) or the one literal rule (OLR) is a procedure of automated theorem proving that can simplify a set of (usually propositional) clauses.DefinitionThe procedure is based on unit clauses, i.e. clauses that are composed of a single literal. If a… …   Wikipedia

  • clause — ► NOUN 1) a unit of grammatical organization next below the sentence in rank, and in traditional grammar said to consist of a subject and predicate. 2) a particular and separate article, stipulation, or proviso in a treaty, bill, or contract.… …   English terms dictionary

  • Clause — For other uses, see Clause (disambiguation). In grammar, a clause is the smallest grammatical unit that can express a complete proposition[1]. In some languages it may be a pair or group of words that consists of a subject and a predicate,… …   Wikipedia

  • clause — noun 1》 a unit of grammatical organization next below the sentence in rank, and in traditional grammar said to consist of a subject and predicate. 2》 a particular and separate article, stipulation, or proviso in a treaty, bill, or contract.… …   English new terms dictionary

  • T-unit — In linguistics, the term T unit was coined by Kellogg Hunt in 1965.[1] It is defined as the shortest grammatically allowable sentences into which (writing can be split) or minimally terminable unit. Often, but not always, a T unit is a sentence.… …   Wikipedia

  • Attachment Unit Interface — (AUI) ou interface de raccordement à l unité, est une interface qui assure la liaison entre l unité de raccordement au support (MAU) et la sous couche (partie supérieure de la couche physique dans le modèle OSI de l ISO) de signalisation de la… …   Wikipédia en Français

  • Chinese customs gold unit — 海關金單位兌換券 1 (Chinese) …   Wikipedia

  • Medium Attachment Unit — ou MAU (unité de raccordement au support) est un moyen matériel utilisé pour connecter un répéteur, un terminal ou un ordinateur (station) à un réseau de transmission de données (support). Celui ci (préconisé par le standard Ethernet 10 Mbits/s d …   Wikipédia en Français

  • T-unit — /tee yooh nit/, n. a minimal unit constituting a complete sentence, consisting of one independent clause and any dependent clauses connected to it: used as a measure of the structural complexity of sentences. [1960 65; t(erminable) unit] * * * …   Universalium

  • T-unit — /tee yooh nit/, n. a minimal unit constituting a complete sentence, consisting of one independent clause and any dependent clauses connected to it: used as a measure of the structural complexity of sentences. [1960 65; t(erminable) unit] …   Useful english dictionary

  • Horn-satisfiability — In formal logic, Horn satisfiability, or HORNSAT, is the problem of deciding whether a given set of propositional Horn clauses is satisfiable.A Horn clause is a clause with at most one positive literal, called the head of the clause, and any… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»