formalized system

formalized system
мат. формализованная система

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "formalized system" в других словарях:

  • System F — System F, also known as the polymorphic lambda calculus or the second order lambda calculus, is a typed lambda calculus. It was discovered independently by the logician Jean Yves Girard and the computer scientist John C. Reynolds. System F… …   Wikipedia

  • System of Cooperation Among the American Air Forces — SICOFAA emblem Active 1961 Current Country Argentina, Belize …   Wikipedia

  • System accident — A system accident is an unanticipated interaction of multiple failures in a complex system. This complexity can either be technological or organizational, and often is both.[1] A system accident can be very easy to see in hindsight, but very… …   Wikipedia

  • formalized — formal system …   Philosophy dictionary

  • Brazilian Jiu-Jitsu ranking system — The Brazilian Jiu Jitsu ranking system awards a practitioner different colored belts (worn as part of the uniform) to signify increasing levels of technical knowledge and practical skill. While the system’s structure shares its origins with the… …   Wikipedia

  • Mizar system — For the star system, see Mizar (star). The Mizar system consists of a language for writing strictly formalized mathematical definitions and proofs, a computer program which is able to check proofs written in this language, and a library of… …   Wikipedia

  • Alabama Cooperative Extension System — Infobox Government agency agency name = Alabama Cooperative Extension System logo width = 200px logo caption = Official Alabama Cooperative Extension System logo (2008) seal width = seal caption = formed = 1914 jurisdiction = Alabama headquarters …   Wikipedia

  • Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] …   Wikipedia

  • Stanislavski's system — Constantin Stanislavski Stanislavski s system is a progression of techniques used to train actors to draw believable emotions to their performances. The method that was originally created and used by Constantin Stanislavski from 1911 1916 was… …   Wikipedia

  • Social rule system theory — is an attempt to formally approach different kinds of social rule systems in a unified manner. Social rules systems include institutions such as norms, laws, regulations, taboos, customs, and a variety of related concepts and are important in the …   Wikipedia

  • Voting system — For other uses, see Voting system (disambiguation). Part of the Politics series Electoral methods …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»