Как по одному проводу или радиоканалу одновременно разговаривают миллионы? Кодовое разделение каналов CDMA (Code Division Multiple Access) на основе ортогональной системы векторов.

RSA (аббревиатура от фамилий Rivest, Shamir и Adleman) — криптографический алгоритм с открытым ключом, основывающийся на вычислительной сложности задачи факторизации больших целых чисел. Алгоритм используется в большом числе криптографических приложений, включая PGP, S/MIME, TLS/SSL, IPSEC/IKE и других.

В этом курсе мы познакомимся с замечательной теорией NP-полных задач. Проблема (не)равенства классов P и NP — одна из «задач тысячелетия», за каждую из которых объявлен приз в миллион долларов. Мы разберемся в определении класса NP и научимся доказывать NP-полноту различных комбинаторных задач (классические теоремы Кука–Левина и Карпа). Особое внимание уделим задаче выполнимости булевых формул SAT. Мы поиграем с программами, решающими эту задачу, разберем какие алгоритмы они используют, как результатом их работы может быть доказательство, допускающее автоматическую проверку. Научимся сводить логические головоломки и математические задачи к SAT, поговорим о судоку, задачах теории Рамсея, недавнем продвижении в задаче о хроматическом числе плоскости и о «самом большом математическом доказательстве».

В 1948 году американский математик Клод Шеннон опубликовал статью «Математическая теория информации». Тогда, 70 лет назад, эта работа легла в основу современной теории информации и принесла ученому мировую славу. А математика с тех пор стала влиять на жизнь людей в реальном, а не отложенном времени. О том, где сегодня лежит граница между полезной и бесполезной математикой, мы решили спросить директора Института проблем передачи информации имени Харкевича Российской академии наук Андрея Соболевского.

Какую часть математических доказательств можно поручить компьютеру? Какие существуют виды интерактивных систем поиска математических доказательств? В чем заключается теорема о четырех красках? И как она была доказана? Математик Лев Беклемишев о теории множеств, интерактивных системах и проблеме о четырех красок.

Вы узнаете: Какие технологии называются квантовыми и почему. В чем преимущество квантовых технологий перед классическими. Что может и что не может квантовый компьютер. Как физики делают квантовый компьютер. Когда он будет создан.

Как устроена технология блокчейн и каковы ее перспективы? Сколько криптовалют будет через 15 лет? Как, вообще, может существовать валюта, не привязанная к золотому запасу какой-либо страны? Об этом расскажет Владимир Соколов — заведующий лабораторией Международного института экономики и финансов НИУ ВШЭ.

Идеальный газ. Уравнение состояния газа. Взаимосвязь давления, температуры и объёма. Механизмы рождения макропараметров в рамках «молекулярного бильярда». Первое начало термодинамики как закон сохранения энергии. Вывод уравнения Бернулли. Энтропия и второе начало термодинамики. Тепловые машины и цикл Карно. Энтропия информационная. Энтропия как неопределённость. Аксиоматический подход к определению энтропии. Принцип максимума энтропии. Подход статистической физики за пределами термодинамики.

Хотите разобраться, как устроена децентрализованная криптовалюта биткойн? В этом ролике простым языком описывается принцип работы блокчейн.

В 1950 году английский ученый Алан Тьюринг в статье "Вычислительные машины и разум" задался вопросом: "Может ли машина понимать человека?". Так родился знаменитый тест Тьюринга, в котором компьютер пытался обмануть людей. Но как компьютер понимает человека и чего он пока понять не может? Об этом по гамбургскому счету мы решили спросить специалиста в области машинного обучения, директора информационных технологий компании "Activebusinesscollection" Сергея Маркова.

Биткойн — пиринговая платёжная система, использующая одноимённую единицу для учёта операций и одноимённый протокол передачи данных. Для обеспечения функционирования и защиты системы используются криптографические методы.

На лекции мы обсудим вторую весну искусственного интеллекта в цифрах и фактах, ключевые работы в области искусственного интеллекта и машинного обучения в 2017 году. Поговорим о распознавании изображений, речи, обработке естественного языка и о других направлениях исследований; обсудим новые модели и оборудование 2017 года. Также поговорим о применении ИИ и машинного обучения в бизнесе, медицине и науке, а также обсудим, чего мы ждем от искусственного интеллекта и машинного обучения в 2018 году.

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

Существует ли предел скорости обработки информации в электронике? Какое решение проблемы предлагают исследования в области нанофотоники? И как сфера квантовых технологий развивается в России? Об этом рассказывает PhD in Physics Владимир Шалаев.

Электронно-цифровые подписи мы используем повсеместно. Это действительно один из самых простых, универсальных и надежных способов гарантировать наше авторство на какой-либо цифровой контент в цифровом мире. Однако, как было показано Питером Шором, квантовые компьютеры дают ускорение в решении ряда математических задач, в частности в решении задачи факторизации. Таким образом, квантовый компьютер может стать угрозой для инфраструктуры электронно-цифровых подписей. Физик Алексей Федоров о квантовых технологиях, принципе блокчейна и электронно-цифровых подписях.

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

Принцип исключенного третьего говорит, что любое утверждение либо истинно, либо ложно. В этом курсе мы откажемся от принципа исключенного третьего. Мы не сможем ни доказывать от противного, ни перебирать случаи. Зато все наши доказательства будут в каком-то смысле конструктивны: доказательство существования объекта всегда можно будет превратить в компьютерную программу, которая строит этот объект. На практике конструктивные доказательства полезнее неконструктивных. Я расскажу о некоторых утверждениях конструктивной математики и о её связи с компьютерными системами доказательств.

Специалист по Computer Science Александр Панов об искусственном интеллекте, целенаправленном действии и вычислительной модели неокортекса.

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

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