- mathematical sentence
- мат. математическое предложение
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
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
Sentence — or sentencing may refer to:* Sentence (linguistics), a grammatical unit of language * Sentence (mathematical logic), a formula with no free variables * Sentence (music), the smallest period in a musical composition * Sentence (law), the final act … Wikipedia
Sentence (mathematical logic) — This article is a technical mathematical article in the area of predicate logic. For the ordinary English language meaning see Sentence, for a less technical introductory article see Statement (logic). In mathematical logic, a sentence of a… … Wikipedia
Mathematical joke — A mathematical joke is a form of humor which relies on aspects of mathematics or a stereotype of mathematicians to derive humor. The humor may come from a pun, or from a double meaning of a mathematical term. It may also come from a lay person s… … Wikipedia
sentence — I. noun Etymology: Middle English, from Anglo French, from Latin sententia feeling, opinion, from *sentent , *sentens, irregular present participle of sentire to feel more at sense Date: 14th century 1. obsolete opinion; especially a conclusion… … New Collegiate Dictionary
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
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
Open sentence — In mathematics, an open sentence (usually an equation or equality) is described as open in the sense that its truth value is meaningless until its variables are replaced with specific numbers, at which point the truth value can usually be… … Wikipedia
Atomic sentence — In logic, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example The dog… … Wikipedia
Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… … Wikipedia
Absoluteness (mathematical logic) — In mathematical logic, a formula is said to be absolute if it has the same truth value in each of some class of structures (also called models). Theorems about absoluteness typically show that each of a large syntactic class of formulas is… … Wikipedia