- valid sentence
- мат. общезначимое высказывание
Большой англо-русский и русско-английский словарь. 2001.
valid sentence
Смотреть что такое "valid sentence" в других словарях:
Number sentence — In mathematics education, a number sentence is typically an equation or inequality expressed using numbers and common symbols. The term is used in primary level mathematics teaching in the US[1], Canada, UK[2], Australia, New Zealand[3] and South … 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
Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… … Wikipedia
Criminal Law Amendment Act, 1997 — Act to make provision for the setting aside of all sentences of death in accordance with law and their substitution by lawful punishments; to amend certain laws so as to repeal provisions relating to capital punishment; to provide for minimum… … Wikipedia
XML Schema Language Comparison — An XML schema is a description of a type of XML document, typically expressed in terms of constraints on the structure and content of documents of that type, above and beyond the basic syntax constraints imposed by XML itself. There are several… … Wikipedia
Compiler construction — is an area of computer science that deals with the theory and practice of developing programming languages and their associated compilers. The theoretical portion is primarily concerned with syntax, grammar and semantics of programming languages … Wikipedia
homicide — ho·mi·cide / hä mə ˌsīd, hō / n [Latin homicidium, from homo human being + caedere to cut, kill] 1: a person who kills another 2: the killing of one human being by another compare manslaughter, murder … Law dictionary
homicide — The killing of a human being under any circumstances by the act, agency, or omission of another. 26 Am J1st Homi § 2. The word is generic and embraces every mode by which the life of one man is taken by the act of another man. It may be lawful,… … Ballentine's law dictionary
Attempto Controlled English — (ACE) is a controlled natural language, i.e. a subset of standard English with a restricted syntax and a restricted semantics described by a small set of construction and interpretation rules [cite conference | author = Norbert E. Fuchs, Kaarel… … Wikipedia
Indian philosophy — Any of the numerous philosophical systems developed on the Indian subcontinent, including both orthodox (astika) systems, namely, the Nyaya, Vaisheshika, Samkhya, Yoga, Mimamsa, and Vedanta schools of philosophy, and unorthodox (nastika) systems … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
