formal demonstration
1formal 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 …
2demonstration — 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… …
3demonstration — 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… …
4Falsos 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 …
5Random 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… …
6animal 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… …
7СДА 06-2008: Термины и определения, используемые в единой системе оценки соответствия на объектах, подконтрольных Федеральной службе по экологическому, технологическому и атомному надзору — Терминология СДА 06 2008: Термины и определения, используемые в единой системе оценки соответствия на объектах, подконтрольных Федеральной службе по экологическому, технологическому и атомному надзору: Access (access to a system or scheme)… …
Словарь-справочник терминов нормативно-технической документации
8Accreditation — 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). Источник …
Словарь-справочник терминов нормативно-технической документации
9Hyaluronan — Identifiers CAS number 9004 61 9  …
10Red 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… …
