- syntactically complete
- мат. синтаксически полный
Большой англо-русский и русско-английский словарь. 2001.
syntactically complete
Смотреть что такое "syntactically complete" в других словарях:
Completeness — In general, an object is complete if nothing needs to be added to it. This notion is made more specific in various fields. Contents 1 Logical completeness 2 Mathematical completeness 3 Computing 4 … Wikipedia
Negationstreu — (engl.: negation complete) ist eine Eigenschaft von Folgen Φ von prädikatenlogischen Ausdrücken. Diese Eigenschaft wird in Verwechslungsgefahr zu andersgemeinten Begriffen der Vollständigkeit auch syntaktisch vollständig (in der… … Deutsch Wikipedia
completeness — See completely. * * * Concept of the adequacy of a formal system that is employed both in proof theory and in model theory (see logic). In proof theory, a formal system is said to be syntactically complete if and only if every closed sentence in… … Universalium
Kireji — is the term for a special category of words used in certain types of Japanese traditional poetry. It is regarded as a requirement in traditional haiku, as well as in the hokku, or opening verse, of both classical renga and its derivative renku… … Wikipedia
heroic couplet — n. a rhyming pair of iambic pentameter lines, first used extensively in English by Chaucer and later developed as a syntactically complete unit, esp. by Dryden and Pope (Ex.: “In every work regard the writer s end, Since none can compass more… … English World dictionary
verbid — [vʉr′bid] n. [ VERB + ID] Gram. a word or form, as a gerund, infinitive, or participle, that functions in part as a verb, as in taking an object, but cannot form a syntactically complete sentence (Ex.: watching television can be tiring) … English World dictionary
HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… … Encyclopedia of Judaism
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… … Universalium
