-
1 quantifier-free sentence
Большой англо-русский и русско-английский словарь > quantifier-free sentence
-
2 quantifier-free sentence
Математика: бескванторное высказываниеУниверсальный англо-русский словарь > quantifier-free sentence
-
3 quantifier-free sentence
English-Russian electronics dictionary > quantifier-free sentence
-
4 quantifier-free sentence
The New English-Russian Dictionary of Radio-electronics > quantifier-free sentence
-
5 quantifier-free sentence
English-Russian scientific dictionary > quantifier-free sentence
-
6 quantifier-free
бескванторный - quantifier-free calculus - quantifier-free formula - quantifier-free inference - quantifier-free sentenceБольшой англо-русский и русско-английский словарь > quantifier-free
-
7 sentence
1) высказывание; предложение; фраза2) суждение•- almost false sentence - almost true sentence - analytically expressible sentence - arithmetically expressible sentence - logically universal sentence - logically valid sentence -
8 sentence
1) вчт предложениеа) высказывание; фраза; синтаксическая конструкция2) приговор•- analytically expressible sentence
- atomic sentence
- closed sentence
- composite sentence
- conditional sentence
- consistent sentence
- contradictory sentence
- declarative sentence
- equisignificant sentences
- equivalent sentences
- false sentence
- grammatical sentence
- Horn sentence
- inconsistent sentence
- inverse sentence
- mathematical sentence
- matrix sentence
- open sentence
- provable sentence
- quantifier-free sentence
- satisfiable sentence
- topic sentence
- true sentence
- unambiguous sentence
- Usenet death sentence -
9 sentence
1) вчт. предложениеа) высказывание; фраза; синтаксическая конструкция2) приговор•- analytically expressible sentence
- atomic sentence
- closed sentence
- composite sentence
- conditional sentence
- consistent sentence
- contradictory sentence
- declarative sentence
- equisignificant sentences
- equivalent sentences
- false sentence
- grammatical sentence
- Horn sentence
- inconsistent sentence
- inverse sentence
- mathematical sentence
- matrix sentence
- open sentence
- provable sentence
- quantifier-free sentence
- satisfiable sentence
- topic sentence
- true sentence
- unambiguous sentence
- Usenet death sentenceThe New English-Russian Dictionary of Radio-electronics > sentence
-
10 бескванторное высказывание
Большой англо-русский и русско-английский словарь > бескванторное высказывание
-
11 calculus
См. также в других словарях:
Quantifier elimination — is a technique in mathematical logic, model theory, and theoretical computer science.We say that a given theory has quantifier elimination if for every sentence with quantification there exists an equivalent (modulo the theory) sentence without… … Wikipedia
quantifier — Informally, a quantifier is an expression that reports a quantity of times that a predicate is satisfied in some class of things (i.e. in a ‘domain’). Thus, thinking about a class of children and their diets, one might report that some eat cake,… … Philosophy dictionary
Bounded quantifier — In the study of formal theories in mathematical logic, bounded quantifiers are often added to a language. These are two quantifiers in addition to forall and exists. They are motivated by the fact that determining whether a sentence with only… … Wikipedia
Cleft sentence — A cleft sentence is a complex sentence (one having a main clause and a dependent clause) that has a meaning that could be expressed by a simple sentence. Clefts typically put a particular constituent into focus. This focusing is often accompanied … Wikipedia
Donkey sentence — Donkey sentences are sentences that contain a certain type of anaphora, such as: Every farmer who owns a donkey beats it. Every police officer who arrested a murderer insulted him. Donkey sentences became a major force in advancing semantic… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
HEBREW LANGUAGE — This entry is arranged according to the following scheme: pre biblical biblical the dead sea scrolls mishnaic medieval modern period A detailed table of contents precedes each section. PRE BIBLICAL nature of the evidence the sources phonology… … Encyclopedia of Judaism
language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… … Universalium
Real closed field — In mathematics, a real closed field is a field F in which any of the following equivalent conditions are true:#There is a total order on F making it an ordered field such that, in this ordering, every positive element of F is a square in F and… … Wikipedia
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