- realization of disjunction
- мат. реализация дизъюнкции
Большой англо-русский и русско-английский словарь. 2001.
realization of disjunction
Смотреть что такое "realization of disjunction" в других словарях:
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
linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… … Universalium
Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; … Universalium
automata theory — Body of physical and logical principles underlying the operation of any electromechanical device (an automaton) that converts information input in one form into another, or into some action, according to an algorithm. Norbert Wiener and Alan M.… … Universalium
Free Boolean algebra — In abstract algebra, a branch of mathematics, a free Boolean algebra is a Boolean algebra 〈 B , F 〉, such that the set B (called the carrier ) has a subset whose elements are called generators. The generators satisfy the following properties:… … Wikipedia
Multiple realizability — Hilary Putnam, one of the founders of multiple realizability Multiple realizability, in philosophy of mind, is the thesis that the same mental property, state, or event can be implemented by different physical properties, states or events. The… … Wikipedia
Liaison (French) — In French, most written word final consonants are silent in most contexts. Liaison is the pronunciation of such a consonant immediately before a following vowel sound. For example, the letter s in the word les ( the ) is generally silent, but it… … Wikipedia
technology, history of — Introduction the development over time of systematic techniques for making and doing things. The term technology, a combination of the Greek technē, “art, craft,” with logos, “word, speech,” meant in Greece a discourse on the arts, both… … Universalium
Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… … Wikipedia
Simone Weil — Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE caption = Simone Weil name = Simone Weil birth = February 3, 1909 Paris, France death = death date and age|1943|08|24|1909|02|03 Ashford, Kent, England … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
