Анастасия Шаранова

Формальная логика (математическая логика) является важнейшей основой функционирования современных компьютеров. Мы используем законы формальной логики, когда делаем запрос на поиск информации в Интернете или базе данных или когда анализируем правильность математического вывода. Многие элементы компьютеров проектируются и работают на основе законов формальной логики. Её общепризнанным создателем является английский математик Джордж Буль (1815 – 1864). До работ Буля логика всегда считалась одним из разделов философии...

Одним из первых известных устройств, предназначенных для проведения вычислений, является абак, что означает «счётная доска». Предполагают, что абак впервые появился в Древнем Вавилоне около 3 тыс. до н. э. Первоначально он представлял собой доску, разграфлённую на полосы или со сделанными углублениями. Счётные марки (камешки, косточки) передвигались по линиям или углублениям. В 5 в. до н. э. в Египте вместо линий и углублений стали использовать палочки и проволоку с нанизанными камешками. На этом этапе абак использовался скорее для запоминания промежуточных результатов в цепочке вычислений...

Трудность в построении общего определения информации состоит в том, что существуют разные типы информации. Например, социальная информация, информация биологическая, информация в экономике, научная информация. В самом простом случае мы говорим об информации, которая введена в компьютер для решения задачи, или об информации, передаваемой по проводам и радиоканалам. В этом случае можно определить количество информации, указать носитель информации, память, оценить качество информации. Отметим, что здесь мы имеем дело скорее с данными, чем с информацией...

Личный блог студентки