логика арифметических операций

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

    Энциклопедия эпистемологии и философии науки

  • 2ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …

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

  • 3КОНСТРУКТИВНАЯ ЛОГИКА —         1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается …

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

  • 4Калькулятор — У этого термина существуют и другие значения, см. Калькулятор (значения). Современный инженерный калькулятор Калькулятор …

    Википедия

  • 5История математики — История науки …

    Википедия

  • 6Математика Древнего Востока — История науки По тематике Математика Естественные науки …

    Википедия

  • 7Арифметика — Ганс Себальд Бехам. Арифметика. XVI век Арифметика (др. греч. ἀ …

    Википедия

  • 8Логический тип — По техническим причинам Bool перенаправляется сюда. О Bool можно прочитать здесь: stdbool.h. Логический, булев (англ. Boolean или logical data type) тип данных  примитивный тип данных в информатике, которые могут принимать два возможных …

    Википедия

  • 9Философия сознания — Френологическая «карта сознания». Френология была одной из самых ранних попыток ответить на вопрос о том, что такое разум. Философия сознания  философская дисциплина, предметом изучения которой является природа сознания, а также соотношение… …

    Википедия

  • 10MATLAB — Логотип Тип Программы математического моделирования Разработчик …

    Википедия