- disjunctions
- Дизъюнкция
Большой англо-русский и русско-английский словарь. 2001.
disjunctions
Смотреть что такое "disjunctions" в других словарях:
disjunctions — dis·junc·tion || dɪs dʒʌŋkʃn n. state of being disconnected; act of disconnecting; type of compound proposition which is true when one of its alternatives is true (Logic) … English contemporary dictionary
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
fern — fernless, adj. fernlike, adj. /ferrn/, n. any seedless, nonflowering vascular plant of the class Filicinae, of tropical to temperate regions, characterized by true roots produced from a rhizome, triangular fronds that uncoil upward and have a… … Universalium
Fern — /ferrn/, n. a female given name. * * * Any of about 10,000–12,000 species (division Filicophyta) of nonflowering vascular plants that have true roots, stems, and complex leaves and reproduce by spores. Though ferns were once classified with the… … Universalium
2-satisfiability — In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… … Wikipedia
Herbrand's theorem — is a fundamental result of mathematical logic obtained by Jacques Herbrand (1930). [J. Herbrand: Recherches sur la theorie de la demonstration. Travaux de la Societe des Sciences et des Lettres de Varsovie, Class III, Sciences Mathematiques et… … Wikipedia
Logical disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B … Wikipedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… … Wikipedia
Jun Wen — Nacimiento 1963 Nacionalidad estadounidense Campo botánica, curadora Conocido por estudios de familias Araliaceae y … Wikipedia Español
Bromeliaceae — Taxobox name = Bromeliaceae image width = 250px image caption = Pineapple, a bromeliad regnum = Plantae divisio = Magnoliophyta classis = Liliopsida ordo = Poales familia = Bromeliaceae familia authority = Juss. range subdivision ranks =… … Wikipedia
