Перевод: с английского на русский

с русского на английский

system logic

См. также в других словарях:

  • Logic System — Hideki Matsutake (jap. 松武 秀樹, Matsutake Hideki; * 12. August 1951) gründete Anfang der 80er Jahre das Synthesizer Projekt „Logic System“. Inhaltsverzeichnis 1 Biografie 2 Audiografie 3 Weblinks 4 Einzelnachweise …   Deutsch Wikipedia

  • system of rules — noun a complex of methods or rules governing behavior they have to operate under a system they oppose that language has a complex system for indicating gender • Syn: ↑system • Hypernyms: ↑method • Hyponyms: ↑ …   Useful english dictionary

  • Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… …   History of philosophy

  • Logic Pro — Logic 8 Developer(s) Apple Inc. Stable release 9.1.5 / 2011 08 08 Operating system …   Wikipedia

  • Logic in Islamic philosophy — Logic (Arabic: Mantiq ) played an important role in early Islamic philosophy. Islamic law placed importance on formulating standards of argument, which gave rise to a novel approach to logic in Kalam, as seen in the method of qiyas . This… …   Wikipedia

  • Logic simulation — is the use of a computer program to simulate the operation of a digital circuit. Logic simulation is the primary tool used for verifying the logical correctness of a hardware design. In many cases logic simulation is the first activity performed… …   Wikipedia

  • Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic     Logic      …   Catholic encyclopedia

  • Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

  • 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

  • Logic analyzer — A logic analyzer is an electronic instrument which displays signals in a digital circuit. A logic analyzer may convert the captured data into timing diagrams, protocol decodes, state machine traces, assembly language, or correlate assembly with… …   Wikipedia

  • System Management Mode — (SMM) is an operating mode first released with the Intel 386SL and available in later microprocessors in the x86 architecture, in which all normal execution (including the operating system) is suspended, and special separate software (usually… …   Wikipedia


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

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