- 903
- 12 242 087
Computer Science Center
Russia
Приєднався 14 кві 2015
На этом канале размещены видеозаписи лекций и докладов преподавателей Computer Science Center, короткие тематические записи на интересные темы в компьютерных науках или программировании. Мы публикуем материалы для ИТ-специалистов, студентов и школьников, интересующихся программированием и математикой.
12. Семантические зависимости для моделей памяти (2/2)
compscicenter.ru/
Лекция №12 курса «Семантика языков программирования» (весна 2022).
Преподаватель - Евгений Моисеенко
Страница лекции на сайте CS центра: bit.ly/3wSQPIo
Лекция №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
9. Дерево ван Эмде Боаса. Быстрый цифровой бор
Переглядів 846Рік тому
9. Дерево ван Эмде Боаса. Быстрый цифровой бор
8. Потоки в транспортных сетях, часть 2
Переглядів 606Рік тому
8. Потоки в транспортных сетях, часть 2
12. Алгоритмы во внешней памяти, часть 2
Переглядів 3,3 тис.Рік тому
12. Алгоритмы во внешней памяти, часть 2
24:36 Фабричный метод
15:22 Компоновщик 41:58 Декоратор 56:26 Стратегия 1:13:22 Адаптер 1:20:54 Прокси 1:29:07 Фасад 1:35:38 Приспособленец 1:49:33 Design Document
тест
Ничего не понятно, но... а нет, к пятой минуте стало ещё и не интересно
На 11:34 вместо `--create-type` нужно `--crate-type`
Это полноценный курс про операционные системы?
Большое спасибо!
Любой школьник может создать такой компьютер... в это время я в мыслях: "да ну на..."😅
Полный перебор получается?
Первый раз в жизни я с реальным интересом слушаю лекции по статистике....
Вот как бы Вы в самом начале проговорили бы, что она просто по линейной регрессии рассчитывает среднее изменение каждого месяца по отдельности на перед, по множеству предыдущих месяцев с тем же номером, что январь вычисляется по предыдущим январям, февраль - по предыдущим февралям, так бы было понятнее... А то что то мифическое пихаем во что то галактическое... и фиг знает как это работает... Слишком много терминологии которая абсолютно абстрактно воспринимается..
Спасибо большое, что выложили лекции.
Чет все печально.. Какой ть Индус на ломаном английском за полтора часа бы объяснил бы не только это, а еще базовую статистику и азы питона, и стали бы элементарные задачки выполнять, а не 25й попытки сформулировать а чем мы тут занимается...
25
На х86 если для атомика указать тип relaxed, будут ли добавлены барьеры памяти acqured relize или никаких барьеров памяти не будет?
Мне совсем не понравилось. Изобилует такой жеваниной, как 1:19:39, когда лектор что-то прожужжал себе быстро под нос, и это невозможно разобрать. Ну ладно у тебя дикции нет никакой, но тогда возьми и субтитры сделай, чтоб в такие моменты хоть прочитать можно было бы, что ты пробубнил. И такое есть во всех лекциях.
Где его откопали С самого начала слушать не хочется😢
Очень плотная упаковка информации. Смотрится медленно, с перемотками. И это хорошо. Лучше чем тонны воды. Спасибо.
Чудесно звучит 🎉 а Когда же будет продолжение этой темы разговора 😮
Великолепно, если иметь бекграунд в виде другого языка, спасибо
БаЕса🤦, автор не шарит в тервере.
студенты кринж
Я понял только одно, докладчик сам не понимает о чем говорит, веренее 50 на 50 понимает 36:43 Может во второй половине лекции он понимает больше, но это будет в след.жизни, а эта закончилась, т.е отключаюсь
Объясните колхознику, что криво-косо произнесённые английские слова в русской речи отвлекают от сути как если бы он рыгал каждую минуту
Спасибо ❤
00:00 интерфейс Queue 06:17 интерфейс Deque 07:31 - стандартные очереди
21:50
Интересно почему прижился термин «кофлюентность» вместо нормального перевода слова confluence: «слияние»?
на 3:00 крайне хреновое объяснение. да же не так... воообще в этом плане крайне хреновое объяснение
Откуда я должен знать что такое socket и pipe?
Основные буллет пойнты: - Что такое функциональное программирование - Функциональные интерфейсы и аннотация @FunctionalInterface
Лектор, чертами лица на Илона Маска похож)
Я поставил тройку лектору за знание материала: слишком много мелких ошибок и оговорок, говорящих о том, что для нее это «чужая» тема
"Раз молчите - значит боитесь, если боитесь - значит непонятно" - эх, если бы все преподаватели были такими идеальными
aggregation [ægrɪˈgeɪʃn] соединение; укрупнение; совокупность; объединение; сбор; скопление, накопление; статистическая обработка; группировка;
composition [kɒmpəˈzɪʃn] составление, построение; смесь; состав, строение; сочинение, произведение.
Касательно примера с App и Database - мне было непонятно почему мы не можем move out поле мутабельной структуры. Понятно стало только после того как прочитал на stack overflow, что компилятор раста отслеживает чтобы переменная не использовалась повторно только для локальных переменных, но не для полей структуры. Поэтому для поля структуры нужен дополнительный контейнер в роли которого выступает Option. Вот это было бы неплохо в лекции явно сказать.
53:35 а почему у каждого процесса своя таблица прерываний? я считал, что обработка прерываний это прерогатива ядра. если каждый процесс будет по своему реагировать на прерывание, означает ли это, что одно и тоже прерывание будет поочерёдно передано каждому процессу, чтобы каждый процессор по своему на него отреагировал? или же тут ситуация, что не прерывание реагирует только текущий процессор (кто раньше встал, того и шапка)?
сука! принцип поведения резидентных программ это одно из забытых таинств давно ушедших дней. последние несколько секунд лекции просто разбили в дребезги этот секрет, выставив его дешёвым карточным трюком.
Звуку F, включайте видео за 2020 год, там все тоже самое
1:30:35 для крестов не делается по умолчанию глубокое копирование, а так же, как в Ц, делается поверхностное. Хочется глубокое - надо конструктор копирования.
visualization metaphor = metaphor of visualization - образ изображения.
metaphoric [metəˈfɒrɪk] = metaphorical [mɛtəˈfɒrɪkəl] иносказательный, образный, переносный
metaphora = metaphor [ˈmetəfə] сравнение, образ
component [kəmˈpəʊnənt] составляющая, составляющий [элемент]; деталь, составная часть, изделие, звено; узел; слагаемое; составной
factual [ˈfækʧʊəl] фактический, настоящий; фактографический; информативный; существующий; основанный на действительности/сущности/обстоятельствах/фактах; действительно.
formal [ˈfɔːməl] официальный; строгий; парадный.
perfunctory [pəˈfʌŋktərɪ] поверхностный, небрежный; формальный.
instantiation [ɪnstænʃɪˈeɪʃn] осуществление, выполнение, воплощение, претворение, исполнение; уточнение, детализация; создание образца.
instance [ˈɪnstəns] пример, случай; образец; правомочие.
stance [stɑːns] положение, точка зрения; поза, осанка; стойка; отношение; взгляд