Алгебра логики

Логика - одна из древнейших наук. Еще древнегреческий философ Аристотель систематизировал формы и правила мышления, разработал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы формальной логики.

В формальной логике предполагается, что в любом рассуждении можно разделить его содержание и форму. И, поскольку для определения правильности рассуждения важна только его форма, от содержания можно отвлечься.

Мыслить логично - значит мыслить точно и последовательно, не допускать противоречий в своих рассуждениях, уметь находить свои и чужие логические ошибки. Логичность мышления не гарантирует человеку, что он всегда будет знать истину, но позволит, по крайней мере, избежать очевидных ошибок.

Примерно также, вы, например, решая на уроке алгебры квадратное уравнение, не учитываете, что именно обозначают, входящие в него числа. И здесь тоже знание алгоритма решения не гарантирует правильность ответа в задаче (ведь ошибка могла быть допущена, к примеру, и при составлении уравнения), но резко повышает вероятность его получения.

Системы счисления

Что под этим подразумевается? Например, вы видите перед собой несколько деревьев. Ваша задача — их посчитать. Для этого можно — загибать пальцы, делать зарубки на камне (одно дерево — один палец\зарубка) или сопоставить 10 деревьям какой-нибудь предмет, например, камень, а единичному экземпляру — палочку и выкладывать их на землю по мере подсчета. В первом случае число представляется, как строка из загнутых пальцев или зарубок, во втором — композиция камней и палочек, где слева — камни, а справа — палочки.