2. Введение в Coq
1:24:33
10. Fusion-дерево
1:30:22
Рік тому
9. Scapegoat Tree
1:22:30
Рік тому
КОМЕНТАРІ
@user-ry9zl3rx3s
@user-ry9zl3rx3s 7 годин тому
Любой школьник может создать такой компьютер... в это время я в мыслях: "да ну на..."😅
@RG-sj1jb
@RG-sj1jb День тому
Полный перебор получается?
@charozetta
@charozetta 3 дні тому
Первый раз в жизни я с реальным интересом слушаю лекции по статистике....
@_AbUser
@_AbUser 3 дні тому
Вот как бы Вы в самом начале проговорили бы, что она просто по линейной регрессии рассчитывает среднее изменение каждого месяца по отдельности на перед, по множеству предыдущих месяцев с тем же номером, что январь вычисляется по предыдущим январям, февраль - по предыдущим февралям, так бы было понятнее... А то что то мифическое пихаем во что то галактическое... и фиг знает как это работает... Слишком много терминологии которая абсолютно абстрактно воспринимается..
@grigorii9019
@grigorii9019 3 дні тому
Спасибо большое, что выложили лекции.
@oleksandrfedosyeyev1014
@oleksandrfedosyeyev1014 3 дні тому
Как ни странно, но украинцы начав позже, уже превзошли в прктическом использовании ии в дронах, банально технологии НАТО на две головы выше российских, без Китая была бы жопа, уже сейчас снаряды идут со станков, конец года, тоже самое станет с техникой, прийдется отдать Китаю Сибирь, хотя уже китайцы строятся без всяких разрешений.
@_AbUser
@_AbUser 4 дні тому
Чет все печально.. Какой ть Индус на ломаном английском за полтора часа бы объяснил бы не только это, а еще базовую статистику и азы питона, и стали бы элементарные задачки выполнять, а не 25й попытки сформулировать а чем мы тут занимается...
@ILawrance
@ILawrance 4 дні тому
25
@serj2211
@serj2211 4 дні тому
На х86 если для атомика указать тип relaxed, будут ли добавлены барьеры памяти acqured relize или никаких барьеров памяти не будет?
@kirill_bykov
@kirill_bykov 6 днів тому
Мне совсем не понравилось. Изобилует такой жеваниной, как 1:19:39, когда лектор что-то прожужжал себе быстро под нос, и это невозможно разобрать. Ну ладно у тебя дикции нет никакой, но тогда возьми и субтитры сделай, чтоб в такие моменты хоть прочитать можно было бы, что ты пробубнил. И такое есть во всех лекциях.
@dmitrij.s4042
@dmitrij.s4042 7 днів тому
Где его откопали С самого начала слушать не хочется😢
@mike_pogorelov
@mike_pogorelov 8 днів тому
Очень плотная упаковка информации. Смотрится медленно, с перемотками. И это хорошо. Лучше чем тонны воды. Спасибо.
@user-if1dj7fy2y
@user-if1dj7fy2y 9 днів тому
Чудесно звучит 🎉 а Когда же будет продолжение этой темы разговора 😮
@call_nick
@call_nick 11 днів тому
Великолепно, если иметь бекграунд в виде другого языка, спасибо
@victoriadee9489
@victoriadee9489 12 днів тому
БаЕса🤦, автор не шарит в тервере.
@user-lb2xz4ce5j
@user-lb2xz4ce5j 14 днів тому
студенты кринж
@hallgamal6302
@hallgamal6302 15 днів тому
Я понял только одно, докладчик сам не понимает о чем говорит, веренее 50 на 50 понимает 36:43 Может во второй половине лекции он понимает больше, но это будет в след.жизни, а эта закончилась, т.е отключаюсь
@glassyjam217
@glassyjam217 17 днів тому
Объясните колхознику, что криво-косо произнесённые английские слова в русской речи отвлекают от сути как если бы он рыгал каждую минуту
@Irades
@Irades 18 днів тому
Спасибо ❤
@nikiforovsansanich
@nikiforovsansanich 19 днів тому
00:00 интерфейс Queue 06:17 интерфейс Deque 07:31 - стандартные очереди
@NikiforovJava
@NikiforovJava 14 днів тому
21:50
@TheOnlyAndreySotnikov
@TheOnlyAndreySotnikov 20 днів тому
Интересно почему прижился термин «кофлюентность» вместо нормального перевода слова confluence: «слияние»?
@virus8727
@virus8727 22 дні тому
на 3:00 крайне хреновое объяснение. да же не так... воообще в этом плане крайне хреновое объяснение
@user-jr1qc5je6f
@user-jr1qc5je6f 22 дні тому
Откуда я должен знать что такое socket и pipe?
@nikiforovsansanich
@nikiforovsansanich 22 дні тому
Основные буллет пойнты: - Что такое функциональное программирование - Функциональные интерфейсы и аннотация @FunctionalInterface
@alex_pro_fpv
@alex_pro_fpv 23 дні тому
Лектор, чертами лица на Илона Маска похож)
@alexandreavdeev7573
@alexandreavdeev7573 23 дні тому
Я поставил тройку лектору за знание материала: слишком много мелких ошибок и оговорок, говорящих о том, что для нее это «чужая» тема
@S_-ld2no
@S_-ld2no 24 дні тому
"Раз молчите - значит боитесь, если боитесь - значит непонятно" - эх, если бы все преподаватели были такими идеальными
@konstantinchvilyov9602
@konstantinchvilyov9602 24 дні тому
aggregation [ægrɪˈgeɪʃn] соединение; укрупнение; совокупность; объединение; сбор; скопление, накопление; статистическая обработка; группировка;
@konstantinchvilyov9602
@konstantinchvilyov9602 24 дні тому
composition [kɒmpəˈzɪʃn] составление, построение; смесь; состав, строение; сочинение, произведение.
@michaelbuzuverov67
@michaelbuzuverov67 25 днів тому
Касательно примера с App и Database - мне было непонятно почему мы не можем move out поле мутабельной структуры. Понятно стало только после того как прочитал на stack overflow, что компилятор раста отслеживает чтобы переменная не использовалась повторно только для локальных переменных, но не для полей структуры. Поэтому для поля структуры нужен дополнительный контейнер в роли которого выступает Option. Вот это было бы неплохо в лекции явно сказать.
@mmilerngruppe
@mmilerngruppe 27 днів тому
53:35 а почему у каждого процесса своя таблица прерываний? я считал, что обработка прерываний это прерогатива ядра. если каждый процесс будет по своему реагировать на прерывание, означает ли это, что одно и тоже прерывание будет поочерёдно передано каждому процессу, чтобы каждый процессор по своему на него отреагировал? или же тут ситуация, что не прерывание реагирует только текущий процессор (кто раньше встал, того и шапка)?
@mmilerngruppe
@mmilerngruppe 27 днів тому
сука! принцип поведения резидентных программ это одно из забытых таинств давно ушедших дней. последние несколько секунд лекции просто разбили в дребезги этот секрет, выставив его дешёвым карточным трюком.
@user-dc5ki2xl9m
@user-dc5ki2xl9m 28 днів тому
Звуку F, включайте видео за 2020 год, там все тоже самое
@kirill_bykov
@kirill_bykov 28 днів тому
1:30:35 для крестов не делается по умолчанию глубокое копирование, а так же, как в Ц, делается поверхностное. Хочется глубокое - надо конструктор копирования.
@konstantinchvilyov9602
@konstantinchvilyov9602 29 днів тому
visualization metaphor = metaphor of visualization - образ изображения.
@konstantinchvilyov9602
@konstantinchvilyov9602 29 днів тому
metaphoric [metəˈfɒrɪk] = metaphorical [mɛtəˈfɒrɪkəl] иносказательный, образный, переносный
@konstantinchvilyov9602
@konstantinchvilyov9602 29 днів тому
metaphora = metaphor [ˈmetəfə] сравнение, образ
@konstantinchvilyov9602
@konstantinchvilyov9602 29 днів тому
component [kəmˈpəʊnənt] составляющая, составляющий [элемент]; деталь, составная часть, изделие, звено; узел; слагаемое; составной
@konstantinchvilyov9602
@konstantinchvilyov9602 29 днів тому
factual [ˈfækʧʊəl] фактический, настоящий; фактографический; информативный; существующий; основанный на действительности/сущности/обстоятельствах/фактах; действительно.
@konstantinchvilyov9602
@konstantinchvilyov9602 29 днів тому
formal [ˈfɔːməl] официальный; строгий; парадный.
@konstantinchvilyov9602
@konstantinchvilyov9602 29 днів тому
perfunctory [pəˈfʌŋktərɪ] поверхностный, небрежный; формальный.
@konstantinchvilyov9602
@konstantinchvilyov9602 29 днів тому
instantiation [ɪnstænʃɪˈeɪʃn] осуществление, выполнение, воплощение, претворение, исполнение; уточнение, детализация; создание образца.
@konstantinchvilyov9602
@konstantinchvilyov9602 29 днів тому
instance [ˈɪnstəns] пример, случай; образец; правомочие.
@konstantinchvilyov9602
@konstantinchvilyov9602 29 днів тому
stance [stɑːns] положение, точка зрения; поза, осанка; стойка; отношение; взгляд
@konstantinchvilyov9602
@konstantinchvilyov9602 29 днів тому
association [əsəʊsɪˈeɪʃn] объединение, Союз; связь, взаимосвязь; [со]общество; сотрудничество; общение; сопоставление.
@konstantinchvilyov9602
@konstantinchvilyov9602 29 днів тому
composition [kɒmpəˈzɪʃn] состав, строение; сочинение; построение; смесь; сложение.
@konstantinchvilyov9602
@konstantinchvilyov9602 29 днів тому
aggregation [ægrɪˈgeɪʃn] совокупность; объединение; скопление; группировка; сбор; соединение; укрупнение.
@konstantinchvilyov9602
@konstantinchvilyov9602 29 днів тому
derive [dɪˈraɪv] выводить, получать, происходить, извлекать, вытекать, заимствовать
@konstantinchvilyov9602
@konstantinchvilyov9602 Місяць тому
Transitive [ˈtrænsɪtɪv] = Transitional [trænˈzɪʃnəl] переходный, переходной.
@konstantinchvilyov9602
@konstantinchvilyov9602 Місяць тому
На схеме ВходнойПотокДанных использована именно леденцовая система обозначений. Гнездо обозначается по другому, именно как шаровое гнездо. ukposts.info/have/v-deo/gqZnbXqtbal0k6s.htmlsi=-Pgv8hiH0JrxK1rg&start=5111