алгебра релейно-контактных схем

  • 1АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …

    Философская энциклопедия

  • 2ЛОГИЧЕСКИЕ МАШИНЫ — механические, электромеханические или электронные устройства для полуавтоматич. или автоматич. выполнения к. л. операций логики. Л. м. применяются для анализа и упрощения формул нек рых разделов логики (в частности, для определения тех значений… …

    Философская энциклопедия

  • 3Шестаков, Виктор Иванович — В Википедии есть статьи о других людях с такой фамилией, см. Шестаков. Виктор Иванович Шестаков (1907 1987)  советский логик и теоретик электротехник, который в середине 1930 х гг. предложил интерпретацию булевой алгебры логики на релейно… …

    Википедия

  • 4Виктор Иванович Шестаков — (1907 1987) советский логик и теоретик электротехник, который в середине 1930 х гг. предложил интепретацию булевой алгебры логики на релейно контактных схемах. Окончил Московский государственный университет и там же работал всю жизнь на… …

    Википедия

  • 5Виктор Шестаков — Виктор Иванович Шестаков (1907 1987) советский логик и теоретик электротехник, который в середине 1930 х гг. предложил интепретацию булевой алгебры логики на релейно контактных схемах. Окончил Московский государственный университет и там же… …

    Википедия

  • 6Шестаков, Виктор — Виктор Иванович Шестаков (1907 1987) советский логик и теоретик электротехник, который в середине 1930 х гг. предложил интепретацию булевой алгебры логики на релейно контактных схемах. Окончил Московский государственный университет и там же… …

    Википедия

  • 7Шестаков Виктор — Виктор Иванович Шестаков (1907 1987) советский логик и теоретик электротехник, который в середине 1930 х гг. предложил интепретацию булевой алгебры логики на релейно контактных схемах. Окончил Московский государственный университет и там же… …

    Википедия

  • 8Шестаков Виктор Иванович — Виктор Иванович Шестаков (1907 1987) советский логик и теоретик электротехник, который в середине 1930 х гг. предложил интепретацию булевой алгебры логики на релейно контактных схемах. Окончил Московский государственный университет и там же… …

    Википедия

  • 9МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… …

    Философская энциклопедия

  • 10ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …

    Философская энциклопедия