Рубрика «информатика» - 2

В этой статье автор предложил написать свои книги, которые относятся к разряду неувядающей классики. Я написал несколько книг в комментариях, а потом решил, что достойных книг гораздо больше, и решил написать статью. Если в оригинальной статье был сделан упор на электронику, то у меня будет упор на разработку программ.

Disclaimer: это мой личный топ из тех книг, которые я лично прочитал, и у которых первое издание было в прошлом веке, даже если она переиздавалась недавно (при условии актуальности именно того издания, которое было в прошлом веке).

Читать полностью »

Учёные-информатики вышли на новые рубежи в деле проверки решений задач вычислительными методами. При этом они нашли ответы на важнейшие открытые вопросы квантовой механики и чистой математики.

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

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

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

Эти две идеи произвели революцию в тех областях наук, к которым они относятся. Кроме того, казалось, что они не имеют никакого отношения друг к другу. Но теперь доказательство MIP* = RE их скомбинировало, что привело к решению множества задач в сфере информатики, физики и математики.
Читать полностью »

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

Почему доказательство Великой теоремы Ферма не нуждается в улучшениях - 1

23 июня исполнилось 25 лет с момента взбудоражившего всех объявления от Эндрю Уайлса, в котором он заявил о получении доказательства великой теоремы Ферма – наиболее известной в математике задачи возрастом 350 лет. История, окружающая доказательство Уайлса – семь лет он тайно работал над этим проектом, разрыв в доказательстве, обнаружившийся после июньского объявления, элегантное решение, опубликованное год спустя в совместной работе, написанной Уайлсом вместе с его бывшим студентом Ричардом Тэйлором, получение рыцарского звания в 2000 – вошло в анналы математических легенд.
Читать полностью »

В сентябре 2019 года СПбГУ открывает факультет математики и компьютерных наук. Набор в бакалавриат начинается уже в конце июня на три направления: «Математика», «Математика, алгоритмы и анализ данных» и «Современное программирование». Программы созданы коллективом Лаборатории им. П.Л. Чебышёва вместе с ПОМИ РАН, Computer Science центром, компаниями Газпромнефть, JetBrains и Яндекс.

image

Курсы читают известные преподаватели, опытные и увлечённые сотрудники IT-компаний. Среди преподавателей — Николай Вавилов, Эдуард Гирш, Сергей Иванов, Сергей Кисляков, Александр Охотин, Александр Куликов, Илья Кацев, Дмитрий Ицыксон, Александр Храбров. А также Александр Авдюшенко из Яндекса, Михаил Сенин и Святослав Щербина из JetBrains и другие.

Занятия проходят на Васильевском острове в центре Петербурга.
Читать полностью »

Магистерская программа «Разработка программного обеспечения / Software Engineering» компании JetBrains на базе Университета ИТМО объявляет набор на 2019-2021 уч.гг.

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

Набор на магистерскую программу JetBrains на базе Университета ИТМО - 1

Читать полностью »

Недостающие компьютерные навыки у старшеклассников - 1

Чуть более четырёх лет я работаю ментором для старшеклассников-стажёров, недавно взял уже четвёртого ученика. Этого достаточно, чтобы заметить некоторые закономерности. Конечно, каждый из них приходит с различными компьютерными знаниями и опытом, но есть два последовательных и тревожных пробела. Первый — это концепция, а другой — навык. Но обе эти вещи обязан стать продвинутый старшеклассник, особенно который интересуется компьютерами. Этот пробел сохраняется, хотя школьники посещают уроки информатики.
Читать полностью »

В Университете Иннополис завершилась Европейская олимпиада по информатике, за победу в которой боролись 80 участников (возрастом до 15 лет) из 21 страны: Армении, Азербайджана, Бельгии, Боснии и Герцеговины, Болгарии, Венгрии, Греции, Кипра, Латвии, Литвы, Македонии, Молдовы, Польши, Румынии, России, Сербии, Словении, Финляндии, Франции, Хорватии и Эстонии.

Российские олимпиадники взяли больше всех золотых медалей и заняли первую строчку в общекомандном зачёте. От каждой страны выступали команды по 4 человека. Россия как страна-хозяйка получила право включить в соревнование дополнительную неофициальную команду.

Читать полностью »

Мы рады сообщить, что при лаборатории им. Чебышева СПбГУ открывается магистратура по теоретической информатике, которая реализуется при тесном сотрудничестве с Computer Science клубом и при поддержке компаний JetBrains и Яндекс.

Магистратура по теоретической информатике в СПбГУ - 1

Программа обучения включает базовые и углублённые курсы по алгоритмам, сложности вычислений, криптографии, дискретной математике, математической логике, машинному обучению, формальным языкам и автоматам, вычислительной геометрии и многочисленным более специализированным предметам, отражающим современные направления в информатике. Под руководством специалистов по теоретической информатике студенты проводят научные исследования.
Читать полностью »

Компания JetBrains объявляет об открытии магистерской программы «Разработка программного обеспечения / Software Engineering» на базе Университета ИТМО. Приглашаем абитуриентов продолжить своё обучение и получить качественные знания в области программирования и компьютерных наук.

Открытие совместной магистратуры JetBrains и ИТМО - 1

Учебная программа

Программа предлагает студентам актуальные знания в области разработки программного обеспечения. Базовые курсы (алгоритмы, программирование, машинное обучение и другие) дополнены специализированными предметами (глубокое обучение, информационный поиск, анализ изображений и другие), которые представляют современные подходы к решению задач IT-индустрии. Преподавательский состав программы включает в себя действующих учёных и разработчиков крупных компаний Петербурга.
Читать полностью »

Привет geektimes. В первой части кратко рассказывалось о детском обучающем микрокомпьютере BBC Micro:bit.
BBC Micro:bit — детский обучающий микрокомпьютер: возможности ввода-вывода - 1

Как говорилось ранее, платы BBC Micro:bit предоставляются всем британским школьникам бесплатно, они также используются на уроках информатики. Очевидно, что многие задачи и алгоритмы куда интереснее попробовать «вживую», да и теория гораздо лучше усваивается когда подкрепляется практикой. Поэтому интересно посмотреть, какие возможности предоставляет BBC Micro:bit, и что на ней можно делать.

Начнем с возможностей ввода/вывода.Читать полностью »


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js