Computer Science Center
Computer Science Center
  • 903
  • 12 242 087
12. Семантические зависимости для моделей памяти (2/2)
compscicenter.ru/
Лекция №12 курса «Семантика языков программирования» (весна 2022).
Преподаватель - Евгений Моисеенко
Страница лекции на сайте CS центра: bit.ly/3wSQPIo
Переглядів: 10 848

Відео

11. Семантические зависимости для моделей памяти (1/2). Структуры событий
Переглядів 2,3 тис.Рік тому
compscicenter.ru/ Лекция №11 курса «Семантика языков программирования» (весна 2022). Преподаватель - Евгений Моисеенко Страница лекции на сайте CS центра: bit.ly/3wSQPIo
10. Декларативные модели памяти (2/2)
Переглядів 1,7 тис.Рік тому
compscicenter.ru/ Лекция №10 курса «Семантика языков программирования» (весна 2022). Преподаватель - Антон Подкопаев Страница лекции на сайте CS центра: bit.ly/3wSQPIo
9. Декларативные модели памяти (1/2)
Переглядів 1 тис.Рік тому
compscicenter.ru/ Лекция №9 курса «Семантика языков программирования» (весна 2022). Преподаватель - Евгений Моисеенко Страница лекции на сайте CS центра: bit.ly/3wSQPIo
8. Введение в слабые модели памяти
Переглядів 1,6 тис.Рік тому
compscicenter.ru/ Лекция №8 курса «Семантика языков программирования» (весна 2022). Преподаватель - Антон Подкопаев Страница лекции на сайте CS центра: bit.ly/3wSQPIo
7. Coq. Семантика малого шага, логика Хоара
Переглядів 681Рік тому
compscicenter.ru/ Лекция №7 курса «Семантика языков программирования» (весна 2022). Преподаватель - Егор Намаконов Страница лекции на сайте CS центра: bit.ly/3wSQPIo
6. Семантика малого шага, логика Хоара
Переглядів 1,3 тис.Рік тому
compscicenter.ru/ Лекция №6 курса «Семантика языков программирования» (весна 2022). Преподаватель - Антон Подкопаев Страница лекции на сайте CS центра: bit.ly/3wSQPIo
5. Coq. Разбор д-ва терминируемости алгоритма Евклида
Переглядів 669Рік тому
compscicenter.ru/ Лекция №5 курса «Семантика языков программирования» (весна 2022). Преподаватель - Антон Подкопаев Страница лекции на сайте CS центра: bit.ly/3wSQPIo
4. Множественные цели в Coq. Д-во корректности Constant Folding
Переглядів 645Рік тому
compscicenter.ru/ Лекция №4 курса «Семантика языков программирования» (весна 2022). Преподаватель - Антон Подкопаев Страница лекции на сайте CS центра: bit.ly/3wSQPIo
3. Семантика большого шага для императивного языка
Переглядів 1,4 тис.Рік тому
compscicenter.ru/ Лекция №3 курса «Семантика языков программирования» (весна 2022). Преподаватель - Антон Подкопаев Страница лекции на сайте CS центра: bit.ly/3wSQPIo
2. Введение в Coq
Переглядів 2,3 тис.Рік тому
compscicenter.ru/ Лекция №2 курса «Семантика языков программирования» (весна 2022). Преподаватель - Антон Подкопаев Страница лекции на сайте CS центра: bit.ly/3wSQPIo
1. Семантика и её значение
Переглядів 16 тис.Рік тому
compscicenter.ru/ Лекция №1 курса «Семантика языков программирования» (весна 2022). Преподаватель - Антон Подкопаев Страница лекции на сайте CS центра: bit.ly/3wSQPIo
13. Быстрое преобразование Фурье
Переглядів 6 тис.Рік тому
compscicenter.ru/ Лекция №13 курса «Дополнительные главы алгоритмов, часть 2» (весна 2022) Преподаватель - Павел Маврин Страница лекции на сайте CS клуба: bit.ly/3M75btf
12. Совершенное паросочетание минимальной стоимости
Переглядів 1,3 тис.Рік тому
compscicenter.ru/ Лекция №12 курса «Дополнительные главы алгоритмов, часть 2» (весна 2022) Преподаватель - Павел Маврин Страница лекции на сайте CS клуба: bit.ly/3M75btf
11. Линейное программирование
Переглядів 2,1 тис.Рік тому
compscicenter.ru/ Лекция №11 курса «Дополнительные главы алгоритмов, часть 2» (весна 2022) Преподаватель - Михаил Иванов Страница лекции на сайте CS клуба: bit.ly/3M75btf
10. Fusion-дерево
Переглядів 969Рік тому
10. Fusion-дерево
9. Дерево ван Эмде Боаса. Быстрый цифровой бор
Переглядів 846Рік тому
9. Дерево ван Эмде Боаса. Быстрый цифровой бор
8. Потоки в транспортных сетях, часть 2
Переглядів 606Рік тому
8. Потоки в транспортных сетях, часть 2
7. Потоки в транспортных сетях
Переглядів 1,3 тис.Рік тому
7. Потоки в транспортных сетях
6. Паросочетания в произвольных графах
Переглядів 464Рік тому
6. Паросочетания в произвольных графах
5. Паросочетания в двудольных графах
Переглядів 938Рік тому
5. Паросочетания в двудольных графах
4. Суффиксное дерево
Переглядів 1,1 тис.Рік тому
4. Суффиксное дерево
3. Суффиксный массив
Переглядів 1,2 тис.Рік тому
3. Суффиксный массив
2. Алгоритм Ахо-Корасик
Переглядів 2,4 тис.Рік тому
2. Алгоритм Ахо-Корасик
1. Приближённые алгоритмы
Переглядів 3,3 тис.Рік тому
1. Приближённые алгоритмы
13. Параллельные алгоритмы
Переглядів 1,2 тис.Рік тому
13. Параллельные алгоритмы
12. Алгоритмы во внешней памяти, часть 2
Переглядів 3,3 тис.Рік тому
12. Алгоритмы во внешней памяти, часть 2
11. Алгоритмы во внешней памяти
Переглядів 1,3 тис.Рік тому
11. Алгоритмы во внешней памяти
10. Персистентные структуры данных
Переглядів 1 тис.Рік тому
10. Персистентные структуры данных
9. Scapegoat Tree
Переглядів 841Рік тому
9. Scapegoat Tree

КОМЕНТАРІ

  • @SetupDLL
    @SetupDLL 6 годин тому

    24:36 Фабричный метод

  • @SetupDLL
    @SetupDLL 15 годин тому

    15:22 Компоновщик 41:58 Декоратор 56:26 Стратегия 1:13:22 Адаптер 1:20:54 Прокси 1:29:07 Фасад 1:35:38 Приспособленец 1:49:33 Design Document

  • @SXCLI
    @SXCLI День тому

    тест

  • @amega_play
    @amega_play День тому

    Ничего не понятно, но... а нет, к пятой минуте стало ещё и не интересно

  • @user-mw2yb1fn2k
    @user-mw2yb1fn2k День тому

    На 11:34 вместо `--create-type` нужно `--crate-type`

  • @MathInfo-ye1gf
    @MathInfo-ye1gf 3 дні тому

    Это полноценный курс про операционные системы?

  • @user-gs7qf7kq2q
    @user-gs7qf7kq2q 4 дні тому

    Большое спасибо!

  • @user-ry9zl3rx3s
    @user-ry9zl3rx3s 5 днів тому

    Любой школьник может создать такой компьютер... в это время я в мыслях: "да ну на..."😅

  • @RG-sj1jb
    @RG-sj1jb 6 днів тому

    Полный перебор получается?

  • @charozetta
    @charozetta 8 днів тому

    Первый раз в жизни я с реальным интересом слушаю лекции по статистике....

  • @_AbUser
    @_AbUser 8 днів тому

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

  • @grigorii9019
    @grigorii9019 8 днів тому

    Спасибо большое, что выложили лекции.

  • @_AbUser
    @_AbUser 9 днів тому

    Чет все печально.. Какой ть Индус на ломаном английском за полтора часа бы объяснил бы не только это, а еще базовую статистику и азы питона, и стали бы элементарные задачки выполнять, а не 25й попытки сформулировать а чем мы тут занимается...

  • @ILawrance
    @ILawrance 9 днів тому

    25

  • @serj2211
    @serj2211 9 днів тому

    На х86 если для атомика указать тип relaxed, будут ли добавлены барьеры памяти acqured relize или никаких барьеров памяти не будет?

  • @kirill_bykov
    @kirill_bykov 11 днів тому

    Мне совсем не понравилось. Изобилует такой жеваниной, как 1:19:39, когда лектор что-то прожужжал себе быстро под нос, и это невозможно разобрать. Ну ладно у тебя дикции нет никакой, но тогда возьми и субтитры сделай, чтоб в такие моменты хоть прочитать можно было бы, что ты пробубнил. И такое есть во всех лекциях.

  • @dmitrij.s4042
    @dmitrij.s4042 12 днів тому

    Где его откопали С самого начала слушать не хочется😢

  • @mike_pogorelov
    @mike_pogorelov 13 днів тому

    Очень плотная упаковка информации. Смотрится медленно, с перемотками. И это хорошо. Лучше чем тонны воды. Спасибо.

  • @user-if1dj7fy2y
    @user-if1dj7fy2y 14 днів тому

    Чудесно звучит 🎉 а Когда же будет продолжение этой темы разговора 😮

  • @call_nick
    @call_nick 16 днів тому

    Великолепно, если иметь бекграунд в виде другого языка, спасибо

  • @victoriadee9489
    @victoriadee9489 17 днів тому

    БаЕса🤦, автор не шарит в тервере.

  • @user-lb2xz4ce5j
    @user-lb2xz4ce5j 19 днів тому

    студенты кринж

  • @hallgamal6302
    @hallgamal6302 20 днів тому

    Я понял только одно, докладчик сам не понимает о чем говорит, веренее 50 на 50 понимает 36:43 Может во второй половине лекции он понимает больше, но это будет в след.жизни, а эта закончилась, т.е отключаюсь

  • @glassyjam217
    @glassyjam217 22 дні тому

    Объясните колхознику, что криво-косо произнесённые английские слова в русской речи отвлекают от сути как если бы он рыгал каждую минуту

  • @Irades
    @Irades 23 дні тому

    Спасибо ❤

  • @nikiforovsansanich
    @nikiforovsansanich 24 дні тому

    00:00 интерфейс Queue 06:17 интерфейс Deque 07:31 - стандартные очереди

  • @TheOnlyAndreySotnikov
    @TheOnlyAndreySotnikov 25 днів тому

    Интересно почему прижился термин «кофлюентность» вместо нормального перевода слова confluence: «слияние»?

  • @virus8727
    @virus8727 27 днів тому

    на 3:00 крайне хреновое объяснение. да же не так... воообще в этом плане крайне хреновое объяснение

  • @user-jr1qc5je6f
    @user-jr1qc5je6f 27 днів тому

    Откуда я должен знать что такое socket и pipe?

  • @nikiforovsansanich
    @nikiforovsansanich 27 днів тому

    Основные буллет пойнты: - Что такое функциональное программирование - Функциональные интерфейсы и аннотация @FunctionalInterface

  • @alex_pro_fpv
    @alex_pro_fpv 28 днів тому

    Лектор, чертами лица на Илона Маска похож)

  • @alexandreavdeev7573
    @alexandreavdeev7573 28 днів тому

    Я поставил тройку лектору за знание материала: слишком много мелких ошибок и оговорок, говорящих о том, что для нее это «чужая» тема

  • @S_-ld2no
    @S_-ld2no 29 днів тому

    "Раз молчите - значит боитесь, если боитесь - значит непонятно" - эх, если бы все преподаватели были такими идеальными

  • @konstantinchvilyov9602
    @konstantinchvilyov9602 29 днів тому

    aggregation [ægrɪˈgeɪʃn] соединение; укрупнение; совокупность; объединение; сбор; скопление, накопление; статистическая обработка; группировка;

  • @konstantinchvilyov9602
    @konstantinchvilyov9602 29 днів тому

    composition [kɒmpəˈzɪʃn] составление, построение; смесь; состав, строение; сочинение, произведение.

  • @michaelbuzuverov67
    @michaelbuzuverov67 Місяць тому

    Касательно примера с App и Database - мне было непонятно почему мы не можем move out поле мутабельной структуры. Понятно стало только после того как прочитал на stack overflow, что компилятор раста отслеживает чтобы переменная не использовалась повторно только для локальных переменных, но не для полей структуры. Поэтому для поля структуры нужен дополнительный контейнер в роли которого выступает Option. Вот это было бы неплохо в лекции явно сказать.

  • @mmilerngruppe
    @mmilerngruppe Місяць тому

    53:35 а почему у каждого процесса своя таблица прерываний? я считал, что обработка прерываний это прерогатива ядра. если каждый процесс будет по своему реагировать на прерывание, означает ли это, что одно и тоже прерывание будет поочерёдно передано каждому процессу, чтобы каждый процессор по своему на него отреагировал? или же тут ситуация, что не прерывание реагирует только текущий процессор (кто раньше встал, того и шапка)?

  • @mmilerngruppe
    @mmilerngruppe Місяць тому

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

  • @user-dc5ki2xl9m
    @user-dc5ki2xl9m Місяць тому

    Звуку F, включайте видео за 2020 год, там все тоже самое

  • @kirill_bykov
    @kirill_bykov Місяць тому

    1:30:35 для крестов не делается по умолчанию глубокое копирование, а так же, как в Ц, делается поверхностное. Хочется глубокое - надо конструктор копирования.

  • @konstantinchvilyov9602
    @konstantinchvilyov9602 Місяць тому

    visualization metaphor = metaphor of visualization - образ изображения.

  • @konstantinchvilyov9602
    @konstantinchvilyov9602 Місяць тому

    metaphoric [metəˈfɒrɪk] = metaphorical [mɛtəˈfɒrɪkəl] иносказательный, образный, переносный

  • @konstantinchvilyov9602
    @konstantinchvilyov9602 Місяць тому

    metaphora = metaphor [ˈmetəfə] сравнение, образ

  • @konstantinchvilyov9602
    @konstantinchvilyov9602 Місяць тому

    component [kəmˈpəʊnənt] составляющая, составляющий [элемент]; деталь, составная часть, изделие, звено; узел; слагаемое; составной

  • @konstantinchvilyov9602
    @konstantinchvilyov9602 Місяць тому

    factual [ˈfækʧʊəl] фактический, настоящий; фактографический; информативный; существующий; основанный на действительности/сущности/обстоятельствах/фактах; действительно.

  • @konstantinchvilyov9602
    @konstantinchvilyov9602 Місяць тому

    formal [ˈfɔːməl] официальный; строгий; парадный.

  • @konstantinchvilyov9602
    @konstantinchvilyov9602 Місяць тому

    perfunctory [pəˈfʌŋktərɪ] поверхностный, небрежный; формальный.

  • @konstantinchvilyov9602
    @konstantinchvilyov9602 Місяць тому

    instantiation [ɪnstænʃɪˈeɪʃn] осуществление, выполнение, воплощение, претворение, исполнение; уточнение, детализация; создание образца.

  • @konstantinchvilyov9602
    @konstantinchvilyov9602 Місяць тому

    instance [ˈɪnstəns] пример, случай; образец; правомочие.

  • @konstantinchvilyov9602
    @konstantinchvilyov9602 Місяць тому

    stance [stɑːns] положение, точка зрения; поза, осанка; стойка; отношение; взгляд