- first-order sentence
- мат. высказывание первого порядка
Большой англо-русский и русско-английский словарь. 2001.
first-order sentence
Смотреть что такое "first-order sentence" в других словарях:
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
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Order of Preachers — Order of Preachers † Catholic Encyclopedia ► Order of Preachers As the Order of the Friars Preachers is the principal part of the entire Order of St. Dominic, we shall include under this title the two other parts of the order: the… … Catholic encyclopedia
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
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
sentence — sen·tence 1 / sent əns, ənz/ n [Old French, opinion, judicial sentence, from Latin sententia, ultimately from sentire to feel, think, express an opinion] 1: a judgment formally pronouncing the punishment to be inflicted on one convicted of a… … Law dictionary
First Amendment to the United States Constitution — First Amendment redirects here. For other uses, see First Amendment (disambiguation). United States of America This a … Wikipedia
First-come, first-served — (sometimes first come, first served or simply FCFS) is a service policy where by the requests of customers or clients are attended to in the order that they arrived, without other biases or preferences. The policy can be employed when processing… … Wikipedia
sentence — vb Sentence, condemn, damn, doom, proscribe can all mean to decree the fate or punishment of a person or sometimes a thing that has been adjudged guilty, unworthy, or unfit. Sentence is used in reference to the determination and pronouncement of… … New Dictionary of Synonyms
Order of Icarus — Awarded by Senior Companions Type Order (decoration) Motto Despite Adversity … Wikipedia
First Council of Nicaea — Date 325 AD Accepted by Anglicans Assyrian Church of the East Calvinists Eastern Orthodox Lutherans Old Catholics Oriental Orthodox Roman Catholics Previous council None Next coun … Wikipedia
