Алгебра искусства мыслить

Рубрики: История IT   Комментарии (0)

В МПТ имеются команды, выполняемые в двоично-десятичном коде. Числа записывают в естественной (с фиксированной запятой) и формальной (с плавающей запятой) формах.

Арифметические операции с числами в других кодах выполняют по правилам, аналогичным для десятичной системы счисления. Делать это, конечно, сложнее, чем в десятичной системе, но только если считать «вручную». А вот когда операции с этими кодами переданы микропроцессору, то получить результат гораздо легче.

Алгебра искусства мыслить

Логика — это искусство мыслить. От одних истинных утверждений к другим; это первейшее условие поиска истины, утверждали великие философы древности.

Высокую миссию логики подчеркивал и Ф. Энгельс, который писал, что «…логика представляет собой, прежде всего, метод для отыскания новых результатов, для перехода от неизвестного к известному».

Если логика отвлекается от конкретной информации и интересуется только формой построения мыслей, то ее в отличие от диалектической называют формальной. Ее разработку еще во II веке до новой эры осуществил Аристотель. Ту часть формальной логики, где применяют строго математические методы, называют символической (математической) логикой. Своим обоснованием она обязана замечательному ученому Лейбницу.

Математические методы в логическом анализе позволяют превратить формальную логику в строгую и стройную науку, оперирующую точными понятиями.

С появлением вычислительной техники многие вообще стали считать логику основанием чуть ли не всех математических дисциплин. В самом деле, доказательство теорем и решение различных задач можно рассматривать в терминах специального вида утверждений, каждое из которых может быть ИСТИННЫМ или ложным.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

Можно использовать следующие HTML-теги и атрибуты: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

Подтвердите, что Вы не бот — выберите самый большой кружок: