информатика

Почему программисты добавляют новые функции, но не убирают лишние?

В этой конструкции Lego крыша поддерживается блоком в одном углу здания. Когда сверху кладут кирпич, крыша падает на фигурку человечка. Как решить эту проблему? Источник: научная работа Адамс и др., Nature vol. 592 (2021) В последние годы много говорят об…
Читать дальше

Логика: предикатная, формальная и сентенциальная. Кванторы и создание информатики

1 | Введение: Логика, как эпистемологический инструмент, изобретена независимо в трёх отдельных государствах: Греции (Аристотелем), Китае (императором Цинь Шихуанди) и Индии. В последних двух перечисленных государствах логика не распространилась настолько, чтобы «прижиться» и получить развитие. В античной же Греции произошло…
Читать дальше

MIP* = RE: эпохальное доказательство из сферы компьютерной науки, которое вызвало эффект домино в физике и математике

Учёные-информатики вышли на новые рубежи в деле проверки решений задач вычислительными методами. При этом они нашли ответы на важнейшие открытые вопросы квантовой механики и чистой математики. В 1935 году Альберт Эйнштейн, работая с Борисом Подольским и Натаном Розеном, исследовал возможность,…
Читать дальше

У российских школьников больше всех золотых медалей на Европейской олимпиаде по информатике eJOI 2018

В Университете Иннополис прошла Европейская олимпиада по информатике eJOI 2018. В ней приняли участие 80 мальчишек и девчонок в возрасте до 15 лет из 21 страны: Армении, Азербайджана, Бельгии, Боснии и Герцеговины, Болгарии, Венгрии, Греции, Кипра, Латвии, Литвы, Македонии, Молдовы,…
Читать дальше

С 4 по 10 декабря 2014 года во всех школах России проходит акция «Час кода»

В рамках Международной недели информатики с 4 по 10 декабря во всех российских школах пройдёт ежегодная образовательная акция «Час кода», призванная привлечь внимание детей к сфере программирования. Акция «Час кода» проводится с 2014 года Министерством связи и массовых коммуникаций РФ…
Читать дальше

BBC Micro:bit — детский обучающий микрокомпьютер, первое знакомство

Привет geektimes. О компьютерах BBC Micro я впервые прочитал здесь же, на geektimes. Еще в 80х британская компания BBC запустила обучающий проект, целью которого было повышение уровня компьютерной грамотности. Подробнее можно прочитать в статье компании Plarium “BBC Micro — компьютер,…
Читать дальше

Что такое информация с точки зрения физики?

Добрый день, земляне! В случае каких-либо недоразумений/недопониманий, прошу считать этот пост чисто пятничным флеймом. Сразу уточню, что в этом посте нет ответа на вопрос. Я сам его ищу – поисковики не помогают – и тут лишь озвучиваю сам вопрос. Надеюсь…
Читать дальше

[Перевод] Классические компьютеры перенимают квантовые идеи

Кремниевый чип с тремя кубитами, созданный исследователями IBM, надеющимися когда-нибудь сконструировать такие чипы с тысячами кубитов Когда-нибудь квантовые компьютеры смогут решать сложные оптимизационные задачи, быстро разбирать огромные наборы данных, симулировать физические эксперименты, для которых сейчас требуются ускорители частиц стоимостью в…
Читать дальше