- formal demonstration
- мат. формальное доказательство
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
demonstration — dem|on|stra|tion W3S3 [ˌdemənˈstreıʃən] n 1.) an event at which a large group of people meet to protest or to support something in public peaceful/violent demonstration ▪ Police opened fire on a peaceful demonstration. ▪ The proposals sparked… … Dictionary of contemporary English
demonstration — noun 1 (C) an event at which a large group of people march through the streets, in order to publicly protest about something: The new tax proposals sparked mass demonstrations. (+ against): a demonstration against the war | stage/hold a… … Longman dictionary of contemporary English
Falsos amigos — Anexo:Falsos amigos Saltar a navegación, búsqueda Los falsos amigos son palabras que pueden escribirse o tener una pronunciación similar en dos o más idiomas, pero en realidad significan conceptos diferentes, debido a sus distintas etimologías, o … Wikipedia Español
Random access machine — In computer science, random access machine (RAM) is an abstract machine in the general class of register machines. The RAM is very similar to the counter machine but with the added capability of indirect addressing of its registers. Like the… … Wikipedia
animal learning — ▪ zoology Introduction the alternation of behaviour as a result of individual experience. When an organism can perceive and change its behaviour, it is said to learn. That animals can learn seems to go without saying. The cat that… … Universalium
СДА 06-2008: Термины и определения, используемые в единой системе оценки соответствия на объектах, подконтрольных Федеральной службе по экологическому, технологическому и атомному надзору — Терминология СДА 06 2008: Термины и определения, используемые в единой системе оценки соответствия на объектах, подконтрольных Федеральной службе по экологическому, технологическому и атомному надзору: Access (access to a system or scheme)… … Словарь-справочник терминов нормативно-технической документации
Accreditation — third party attestation related to a conformity assessment body conveying formal demonstration of its competence to carry out specific conformity assessment tasks (d. 5.6 ISO/IEC 17000:2004). Источник … Словарь-справочник терминов нормативно-технической документации
Hyaluronan — Identifiers CAS number 9004 61 9 … Wikipedia
Red Knight (aircraft) — The Red Knight was a Canadian aerobatic show that operated from 1958 to 1969. Consisting of a single red Canadair CT 33 Silver Star, the Red Knight performed loops, rolls, Cuban 8s, horizontal 360s, inverted flight, and high speed passes at… … Wikipedia
Elekiter — The nihongo|Elekiter|エレキテル|Erekiteru is the Japanese name for a type of generator of static electricity used for electric experiments in the 18th century. In Japan, Hiraga Gennai presented his own elekiter in 1776, derived from an elekiter from… … Wikipedia