Computer Science клуб при НГУ
Computer Science клуб при НГУ
  • 30
  • 59 932
Лекция 4
Лекция №4 в курсе "Сложность пропозициональных доказательств".
Содержание лекции: Игровая характеризация ширины резолюционного доказательства. Оценка памяти нужной для реализации доказательства через ширину.
Система доказательств секущие плоскости (cutting planes). Моделирование резолюции, короткое доказательство принципа Дирихле.
Преподаватель курса: Дмитрий Михайлович Ицыксон - кандидат физико-математических наук, старший научный сотрудник лаборатории математической логики ПОМИ РАН, преподаватель в Академическом университете.
มุมมอง: 175

วีดีโอ

Лекция 5
มุมมอง 883 ปีที่แล้ว
Лекция 5 в курсе "Сложность пропозициональных доказательств" Содержание лекции: Монотонные булевы и вещественные схемы. Метод монотонной интерполяции для системы секущие плоскости. Формула раскрашиваемость клики и нижняя оценка для нее. Преподаватель курса: Дмитрий Михайлович Ицыксон - кандидат физико-математических наук, старший научный сотрудник лаборатории математической логики ПОМИ РАН, пре...
Лекция 2. Современные шифры и универсальные методы криптоанализа.
มุมมอง 2.6K4 ปีที่แล้ว
Лекция 2 в курсе "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 3. Линейный и дифференциальный криптоанализ
มุมมอง 3.8K4 ปีที่แล้ว
Лекция 3 курса "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 4. Алгебраический криптоанализ.
มุมมอง 1.8K4 ปีที่แล้ว
Лекция 4 курса "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 6. "Нечестный" криптоанализ: атаки по сторонним каналам
มุมมอง 5694 ปีที่แล้ว
Лекция 6 курса "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 7. Криптоанализ асимметричных систем: алгоритмы факторизации
มุมมอง 5494 ปีที่แล้ว
Лекция 7 курса "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 8. Криптоанализ асимметричных систем: дискретное логарифмирование
มุมมอง 1.1K4 ปีที่แล้ว
Лекция 8 курса "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 1. Криптоанализ: история, философия, подходы.
มุมมอง 3.7K4 ปีที่แล้ว
Лекция 1 курса "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 5. Криптографические свойства булевых функций
มุมมอง 1.1K4 ปีที่แล้ว
Лекция 5 курса "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 1. Библиотеки, утилиты, средства разработки, сборка (Эффективное использование С++)
มุมมอง 8K4 ปีที่แล้ว
Лекция №1 в курсе "Эффективное использование С " Преподаватель Валерий Михайлович Лесин
Лекция 2. Работа с памятью. Утечки ресурсов. RAII, умные указатели (Эффективное использование С++)
มุมมอง 7K4 ปีที่แล้ว
Лекция №2 в курсе "Эффективное использование С " Преподаватель Валерий Михайлович Лесин
Лекция 5. Multithreading in C++ (потоки, блокировки, задачи, атомарные операции, очереди сообщений)
มุมมอง 21K4 ปีที่แล้ว
Лекция №5 в курсе "Эффективное использование С " Преподаватель Валерий Михайлович Лесин
Лекция 3. Move semantics, rvalue reference, perfect forwarding.
มุมมอง 3.4K4 ปีที่แล้ว
Лекция №3 в курсе "Эффективное использование С " Преподаватель Валерий Михайлович Лесин
Лекция 4. Callbacks: lambda, bind & function.
มุมมอง 2.7K4 ปีที่แล้ว
Лекция №4 в курсе "Эффективное использование С " Преподаватель Валерий Михайлович Лесин
Лекция 6. Обзор возможностей современных стандартов C++
มุมมอง 2.6K4 ปีที่แล้ว
Лекция 6. Обзор возможностей современных стандартов C
Лекция 2. Протоколы пропорционального дележа
มุมมอง 1014 ปีที่แล้ว
Лекция 2. Протоколы пропорционального дележа
Лекция 3. Протоколы дележа без зависти
มุมมอง 1164 ปีที่แล้ว
Лекция 3. Протоколы дележа без зависти
Лекция 4. Обзор расширений основной модели
มุมมอง 384 ปีที่แล้ว
Лекция 4. Обзор расширений основной модели
Лекция 1. Общая постановка задачи в случае частных благ
มุมมอง 1364 ปีที่แล้ว
Лекция 1. Общая постановка задачи в случае частных благ
Лекция 6
มุมมอง 354 ปีที่แล้ว
Лекция 6
Лекция 3
มุมมอง 444 ปีที่แล้ว
Лекция 3
Лекция 2
มุมมอง 424 ปีที่แล้ว
Лекция 2
Лекция 1
มุมมอง 1844 ปีที่แล้ว
Лекция 1
Лекция 4 (Двойственность в комбинаторной оптимизации)
มุมมอง 514 ปีที่แล้ว
Лекция 4 (Двойственность в комбинаторной оптимизации)
Лекция 3 (Двойственность в комбинаторной оптимизации)
มุมมอง 684 ปีที่แล้ว
Лекция 3 (Двойственность в комбинаторной оптимизации)
Лекция 2 (Двойственность в комбинаторной оптимизации)
มุมมอง 594 ปีที่แล้ว
Лекция 2 (Двойственность в комбинаторной оптимизации)
Лекция 1 (Двойственность в комбинаторной оптимизации)
มุมมอง 4154 ปีที่แล้ว
Лекция 1 (Двойственность в комбинаторной оптимизации)
Лекция 5 (Двойственность в комбинаторной оптимизации)
มุมมอง 394 ปีที่แล้ว
Лекция 5 (Двойственность в комбинаторной оптимизации)
Лекция 6 (Двойственность в комбинаторной оптимизации)
มุมมอง 514 ปีที่แล้ว
Лекция 6 (Двойственность в комбинаторной оптимизации)

ความคิดเห็น

  • @usergnusmas6879
    @usergnusmas6879 2 หลายเดือนก่อน

    Есть вероятность, что при разбиении по потокам, мультитрэйдинг не будет учитываться. Т.е. на шестиядерном проце, будет использовано только шесть потоков.

  • @user-xz4iw8vb1s
    @user-xz4iw8vb1s 2 หลายเดือนก่อน

    Наталья, я люблю вас

  • @ilyadruzh
    @ilyadruzh 4 หลายเดือนก่อน

    С 25 минуты звук стал плохим

  • @antioch44channel
    @antioch44channel 4 หลายเดือนก่อน

    Русский лектора вроде родной, но с данной дикцией и словами-паразитами типо "окей" становится сложно воспринимать.

  • @nail4845
    @nail4845 6 หลายเดือนก่อน

    1:13:10 там ключ не заполняется просто в ячейки, Там регистры обнуляются, и ключ побитово складывается (xor) с каждым регистром и происходит сдвиг каждого регистра (т.е. тактирование без stop and go). Россия использовала A5/2, а не A5/1. И A5/2 не прям уж так был слабее(по моему мнению)

  • @sergeyshchegolikhin4016
    @sergeyshchegolikhin4016 6 หลายเดือนก่อน

    это ужасно

  • @user-pg8ry1tm3t
    @user-pg8ry1tm3t 6 หลายเดือนก่อน

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

  • @Konstantin_Evdokimov
    @Konstantin_Evdokimov 6 หลายเดือนก่อน

    На 40 минуте выход за пределы массива, нужно было сортировку аналогично вектору вызывать с функциями begin и end.

  • @kaganyevgeny
    @kaganyevgeny 6 หลายเดือนก่อน

    гцц - gcc :)))) научитесь просизносить на английский манер, но никак не русский+ латынь :)))

  • @kaganyevgeny
    @kaganyevgeny 7 หลายเดือนก่อน

    коробит слух когда пи ти ар называют пэ тэ эр :))))

  • @user-do6qr9rm3l
    @user-do6qr9rm3l 7 หลายเดือนก่อน

    По-моему один из лучших в мире русскоязычных специалистов. Очень крутой, очень начитанный, знание предмета невероятное.

  • @valexx299
    @valexx299 8 หลายเดือนก่อน

    19:14 Может я что-то не понял, но в последнем варианте будет запускаться для обоих типов ссылок, так как это universal ref от скота майерса, поправьте если не прав

    • @valexx299
      @valexx299 8 หลายเดือนก่อน

      пояснение насчет этого дальше, вопросов нет

  • @valexx299
    @valexx299 8 หลายเดือนก่อน

    Class по умолчанию наследуется публично, а структура приватно

  • @Русь-Родина
    @Русь-Родина 9 หลายเดือนก่อน

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

  • @forixsins
    @forixsins 9 หลายเดือนก่อน

    Где найти таких же харизматичных преподов как Валерий?

  • @user-sq2fl3nw3r
    @user-sq2fl3nw3r 11 หลายเดือนก่อน

    Понимаю, что синглтон здесь использовался для демонстрации, но всё же скажу, что начиная с C++11 если в функции инициализируется static переменная, то это гарантировано сделает только один поток, а другие потоки не будут обращаться к неинициализированной переменной. Подробнее можно почитать: Энтони Уильямс "Практика многопоточного программирования", с. 100

  • @VeloVetal
    @VeloVetal ปีที่แล้ว

    1:15:20 -- в оригинале фраза звучит так: "There are 2 hard problems in computer science: cache invalidation, naming things, and off-by-1 errors." -- В компьютерных науках есть две сложные проблемы: инвалидация кэша, именование переменных и ошибка на единицу.

  • @VeloVetal
    @VeloVetal ปีที่แล้ว

    std::async(std::launch::async, ...); -- как то мало асинков, надо больше, больше!

  • @user-pv4nd4xr7p
    @user-pv4nd4xr7p ปีที่แล้ว

    10:02 "плюсы все ещё были сложными" ))) ага , а со стандартом С++20 прям полегчало😂

  • @WowSoLaggy
    @WowSoLaggy ปีที่แล้ว

    А разве в примере на 1:00:00 не будет дедлока? sending_thread функция лочит мьютекс mt и зависает в вечном ожидании непустого буфера (не освобождая мьютекс) на строке 10. Соответственно, при вызове функции on_frame она задедлочится навсегда в ожидании мьютекса mt на строчке 18.

    • @dominuspiritus
      @dominuspiritus 16 วันที่ผ่านมา

      В момент вызова wait мьютекс отпускается

  • @user-tu8yv7md4p
    @user-tu8yv7md4p ปีที่แล้ว

    Шикарное видео, женщина умеет излагать свои знания

  • @testpu
    @testpu ปีที่แล้ว

    1:16:17 Функция create() должна быть статической.

  • @user-lq3cg5qj3c
    @user-lq3cg5qj3c ปีที่แล้ว

    А лекции - шикарные! Успехов Наталье Николаевне.

  • @user-lq3cg5qj3c
    @user-lq3cg5qj3c ปีที่แล้ว

    Берем ZIP - архиватор (или любой другой). Пакуем исходное сообщение. В архиве перемешиваем биты. Пакуем архив. В этом новом архиве перемешиваем биты. Отправляем...

  • @pavelrid
    @pavelrid ปีที่แล้ว

    Шикарная лекция, случайно наткнулся. Браво!

  • @Japrajah
    @Japrajah ปีที่แล้ว

    58:00 Внутренная ошибка компилятора топовая ошибка.

  • @user-yw5du7wh5c
    @user-yw5du7wh5c ปีที่แล้ว

    Гениальная девушка

  • @sinenkomarina1928
    @sinenkomarina1928 ปีที่แล้ว

    Наталья Николаевна, Вы прекрасны.

  • @soulspirit8687
    @soulspirit8687 ปีที่แล้ว

    Это лучшие лекции по C++. Харизматичный препод

  • @user-lq3cg5qj3c
    @user-lq3cg5qj3c ปีที่แล้ว

    3:30 Где-то в инете вычитал, что взломщик подбирает ключи до тех пор пока не получит осмысленный текст. Если для каждого байта открытого текста имеем байт шифра. То вместо КАЖДОГО байта шифра можно вписать ЛЮБУЮ букву так, чтобы получить осмысленный текст. Например, имеем 20 байт шифра. Подставляя вместо каждого байта букву, можем получить такие осмысленные фразы: "Доброго утра, Игорь!" или "Я вчера был в гараже" и многие другие. Можно подбирать либо ключ либо буквы - эффект будет одинаковым.

  • @user-lq3cg5qj3c
    @user-lq3cg5qj3c ปีที่แล้ว

    И снова здравствуйте, Наталья Николаевна! С удовольствием "посещаю" Ваши лекции! 1:30 Быват так, что на входе и на выходе иногда байты совпадают. На входе x1 x2 X3 x4 x5 x6, на выходе: y1 y2 X3 y4 y5 y6. X3 повторился на выходе. Этого надо избегать???

  • @IExSet
    @IExSet 2 ปีที่แล้ว

    Как закончить программировать на C++ актуальнее 🙂"Эффективное программирование на C++" Кениг - безнадёжно устарела, вроде это было издание аж 2002 года, у нас выходила в 2016 и 2019, но похоже там обозревается язык до С++11, что уже вредно. Примерно та же ситуация по остальным старым книгам, кроме Скотта Майерса разве что. Самая лучшая книга, где систематически изложен современный язык уровня С++20 - это "Professional C++" Marc Gregoire 5-ое издание (только на английском). Остальные книги - как лоскутное одеяло, никакой системы нет в изложении. Ещё важно вкурить стандартую библиотеку и Boost, понравились книги: "C++17 STL. Стандартная библиотека шаблонов" Галовиц и конечно наш чувак из Яндекса "Разработка приложений на C++ с использованием Boost" 2-изд. Антон Полухин. (2020). Также неплохо: "C++ для инженерных и научных расчетов" Готтшлинг Питер (2020, Диалектика) и вроде ничего "C++ для профи Молниеносный старт" Лоспинозо Джош. (2021). Старые источники тоже можно читать, но есть опасность набраться там антипаттернов. Например работа со строками по мере изменения C++ изменилась и стоимости стали другие, шардинг строк стал невыгодным (если не ошибаюсь), а в книге 2002 года наверняка будут топить за это дело. Потом мультипоточность сейчас более актуальна асинхронная и на уровне задач или даже пакетов с конвейеризацией, а в старых книгах типа "Параллельное и распределённое программирование с использованием C++" К и Т Хьюз, вас будут кормить семафорами с мьютексами и "крупнорубленной" мультипоточностью. В противовес из современного рекомендую хотя бы: "Параллельное программирование на C++ с помощью библиотеки TBB" Майкл Восс, Рафаэль Асенхо, Джеймс Рейндерс (2020)

  • @IExSet
    @IExSet 2 ปีที่แล้ว

    Хороший преподаватель, отличное чувство юмора и нет зазнайства !

  • @IExSet
    @IExSet 2 ปีที่แล้ว

    44:45 Во всех примерах, где объявляется unique_lock c defer_lock, последующий вызов lock производится на них же, а не на исходные мьютексы. Почему здесь не так ? Сработает ли unique_lock если не вызывать на них lock ??? future_status - переводится как "будущий статус".

  • @philosophoflove
    @philosophoflove 2 ปีที่แล้ว

    Супер препод.

  • @user-gj2po2wp5q
    @user-gj2po2wp5q 2 ปีที่แล้ว

    Жаль что название видео перепутали, а так лекции шикарны и понятны. Однозначно лайк!

  • @sabotoff932
    @sabotoff932 2 ปีที่แล้ว

    Лекция отличная, большое спасибо! Я пишу под Windows и всегда пользовалься нативными потоками OC для распараллеливания. Недавно попробовал работать с потоками c++. Там все продумано и логично. Код пишется легко. Но мне показалось, что внутренний библиотечный пул пытается экономить ресурсы. Скажем при 8-ми ядрах на десктопе, мне не удалось добиться одновременной работы 8-ми потоков. Работают не более 6. Остальные стоят в очереди. Еще один неприятный момент: невозможно создать поток в состоянии suspend(?) и точно отследить начало работы потока. Видимо, это плата за переносимость. Нативные потоки в Windows гибче.

  • @MrNicePlant
    @MrNicePlant 2 ปีที่แล้ว

    Доброго времени суток. Спасибо за доклады. Подскажите, есть ли возможность с Вами связаться? Для консультации?

  • @maxpo801
    @maxpo801 2 ปีที่แล้ว

    1:30:25 volatile

  • @juliagrom
    @juliagrom 2 ปีที่แล้ว

    Было интересно, спасибо за лекцию!

  • @Ivan.V.Petrov
    @Ivan.V.Petrov 2 ปีที่แล้ว

    Спасибо за лекцию, включил на фоне, чтобы уснуть)

  • @sekta_makar
    @sekta_makar 2 ปีที่แล้ว

    Спасибо большое! Очень интересная лекция!!

  • @Miscreant56
    @Miscreant56 2 ปีที่แล้ว

    Спасибо за курс лекций! Было очень удобно готовиться к собеседованиям у узнавать новое!

  • @user-se5wc1lq6r
    @user-se5wc1lq6r 2 ปีที่แล้ว

    Объяснение в духе Машкина Эдельвейса Захаровича

  • @sinenkomarina1928
    @sinenkomarina1928 2 ปีที่แล้ว

    Наталья, спасибо. Ваши лекции прекрасны.

  • @zakharkulbachenko3433
    @zakharkulbachenko3433 3 ปีที่แล้ว

    а как мьючить лотекс?

  • @7732929
    @7732929 3 ปีที่แล้ว

    Благодарю, очень интересно.

  • @codemaniacchannel6422
    @codemaniacchannel6422 3 ปีที่แล้ว

    С какой версии появилась execution::par?

  • @misterzurg7874
    @misterzurg7874 3 ปีที่แล้ว

    Только дифференциальный криптоанализ в видео: Лекция 4. Алгебраический криптоанализ. th-cam.com/video/EoSJGcPGA1E/w-d-xo.html&ab_channel=ComputerScience%D0%BA%D0%BB%D1%83%D0%B1%D0%BF%D1%80%D0%B8%D0%9D%D0%93%D0%A3

  • @user-ep8nh6zm1w
    @user-ep8nh6zm1w 3 ปีที่แล้ว

    Очень хорошее видео , спасибо новосибирским ученым