2. Введение в Coq
1:24:33
Жыл бұрын
10. Fusion-дерево
1:30:22
Жыл бұрын
4. Суффиксное дерево
1:30:56
3. Суффиксный массив
1:25:00
9. Scapegoat Tree
1:22:30
Жыл бұрын
Пікірлер
@glassyjam217
@glassyjam217 6 сағат бұрын
Объясните колхознику, что криво-косо произнесённые английские слова в русской речи отвлекают от сути как если бы он рыгал каждую минуту
@Irades
@Irades Күн бұрын
Спасибо ❤
@nikiforovsansanich
@nikiforovsansanich 2 күн бұрын
00:00 интерфейс Queue 06:17 интерфейс Deque 07:31 - стандартные очереди
@TheOnlyAndreySotnikov
@TheOnlyAndreySotnikov 3 күн бұрын
Интересно почему прижился термин «кофлюентность» вместо нормального перевода слова confluence: «слияние»?
@virus8727
@virus8727 5 күн бұрын
на 3:00 крайне хреновое объяснение. да же не так... воообще в этом плане крайне хреновое объяснение
@user-jr1qc5je6f
@user-jr1qc5je6f 5 күн бұрын
Откуда я должен знать что такое socket и pipe?
@nikiforovsansanich
@nikiforovsansanich 5 күн бұрын
Основные буллет пойнты: - Что такое функциональное программирование - Функциональные интерфейсы и аннотация @FunctionalInterface
@alex_pro_fpv
@alex_pro_fpv 6 күн бұрын
Лектор, чертами лица на Илона Маска похож)
@alexandreavdeev7573
@alexandreavdeev7573 6 күн бұрын
Я поставил тройку лектору за знание материала: слишком много мелких ошибок и оговорок, говорящих о том, что для нее это «чужая» тема
@S_-ld2no
@S_-ld2no 7 күн бұрын
"Раз молчите - значит боитесь, если боитесь - значит непонятно" - эх, если бы все преподаватели были такими идеальными
@konstantinchvilyov9602
@konstantinchvilyov9602 7 күн бұрын
aggregation [ægrɪˈgeɪʃn] соединение; укрупнение; совокупность; объединение; сбор; скопление, накопление; статистическая обработка; группировка;
@konstantinchvilyov9602
@konstantinchvilyov9602 7 күн бұрын
composition [kɒmpəˈzɪʃn] составление, построение; смесь; состав, строение; сочинение, произведение.
@michaelbuzuverov67
@michaelbuzuverov67 8 күн бұрын
Касательно примера с App и Database - мне было непонятно почему мы не можем move out поле мутабельной структуры. Понятно стало только после того как прочитал на stack overflow, что компилятор раста отслеживает чтобы переменная не использовалась повторно только для локальных переменных, но не для полей структуры. Поэтому для поля структуры нужен дополнительный контейнер в роли которого выступает Option. Вот это было бы неплохо в лекции явно сказать.
@mmilerngruppe
@mmilerngruppe 10 күн бұрын
53:35 а почему у каждого процесса своя таблица прерываний? я считал, что обработка прерываний это прерогатива ядра. если каждый процесс будет по своему реагировать на прерывание, означает ли это, что одно и тоже прерывание будет поочерёдно передано каждому процессу, чтобы каждый процессор по своему на него отреагировал? или же тут ситуация, что не прерывание реагирует только текущий процессор (кто раньше встал, того и шапка)?
@mmilerngruppe
@mmilerngruppe 10 күн бұрын
сука! принцип поведения резидентных программ это одно из забытых таинств давно ушедших дней. последние несколько секунд лекции просто разбили в дребезги этот секрет, выставив его дешёвым карточным трюком.
@user-dc5ki2xl9m
@user-dc5ki2xl9m 11 күн бұрын
Звуку F, включайте видео за 2020 год, там все тоже самое
@kirill_bykov
@kirill_bykov 11 күн бұрын
1:30:35 для крестов не делается по умолчанию глубокое копирование, а так же, как в Ц, делается поверхностное. Хочется глубокое - надо конструктор копирования.
@konstantinchvilyov9602
@konstantinchvilyov9602 12 күн бұрын
visualization metaphor = metaphor of visualization - образ изображения.
@konstantinchvilyov9602
@konstantinchvilyov9602 12 күн бұрын
metaphoric [metəˈfɒrɪk] = metaphorical [mɛtəˈfɒrɪkəl] иносказательный, образный, переносный
@konstantinchvilyov9602
@konstantinchvilyov9602 12 күн бұрын
metaphora = metaphor [ˈmetəfə] сравнение, образ
@konstantinchvilyov9602
@konstantinchvilyov9602 12 күн бұрын
component [kəmˈpəʊnənt] составляющая, составляющий [элемент]; деталь, составная часть, изделие, звено; узел; слагаемое; составной
@konstantinchvilyov9602
@konstantinchvilyov9602 12 күн бұрын
factual [ˈfækʧʊəl] фактический, настоящий; фактографический; информативный; существующий; основанный на действительности/сущности/обстоятельствах/фактах; действительно.
@konstantinchvilyov9602
@konstantinchvilyov9602 12 күн бұрын
formal [ˈfɔːməl] официальный; строгий; парадный.
@konstantinchvilyov9602
@konstantinchvilyov9602 12 күн бұрын
perfunctory [pəˈfʌŋktərɪ] поверхностный, небрежный; формальный.
@konstantinchvilyov9602
@konstantinchvilyov9602 12 күн бұрын
instantiation [ɪnstænʃɪˈeɪʃn] осуществление, выполнение, воплощение, претворение, исполнение; уточнение, детализация; создание образца.
@konstantinchvilyov9602
@konstantinchvilyov9602 12 күн бұрын
instance [ˈɪnstəns] пример, случай; образец; правомочие.
@konstantinchvilyov9602
@konstantinchvilyov9602 12 күн бұрын
stance [stɑːns] положение, точка зрения; поза, осанка; стойка; отношение; взгляд
@konstantinchvilyov9602
@konstantinchvilyov9602 12 күн бұрын
association [əsəʊsɪˈeɪʃn] объединение, Союз; связь, взаимосвязь; [со]общество; сотрудничество; общение; сопоставление.
@konstantinchvilyov9602
@konstantinchvilyov9602 12 күн бұрын
composition [kɒmpəˈzɪʃn] состав, строение; сочинение; построение; смесь; сложение.
@konstantinchvilyov9602
@konstantinchvilyov9602 12 күн бұрын
aggregation [ægrɪˈgeɪʃn] совокупность; объединение; скопление; группировка; сбор; соединение; укрупнение.
@konstantinchvilyov9602
@konstantinchvilyov9602 12 күн бұрын
derive [dɪˈraɪv] выводить, получать, происходить, извлекать, вытекать, заимствовать
@konstantinchvilyov9602
@konstantinchvilyov9602 14 күн бұрын
Transitive [ˈtrænsɪtɪv] = Transitional [trænˈzɪʃnəl] переходный, переходной.
@konstantinchvilyov9602
@konstantinchvilyov9602 14 күн бұрын
На схеме ВходнойПотокДанных использована именно леденцовая система обозначений. Гнездо обозначается по другому, именно как шаровое гнездо. kzbin.info/www/bejne/gKeZanesa9h2aNksi=-Pgv8hiH0JrxK1rg&start=5111
@konstantinchvilyov9602
@konstantinchvilyov9602 15 күн бұрын
Cтереотип, Stereotype [ˈsterɪətaɪp] , нем. Stereotyp [ʃteʁeoˈtyːp] - шаблонный, обычный, избитый; stereo [ˈstɪərɪəʊ] твердая + typo [ˈtaɪpəʊ] опечатка. Пластина, плита из металла, резины или пластмассы, с точным воспроизведением типографского набора, употребляющаяся при печатании многотиражных или повторных изданий.
@konstantinchvilyov9602
@konstantinchvilyov9602 15 күн бұрын
type [taɪp] тип, вид, род, разновидность; сорт, марка, способ, типаж; шрифт; вводить, печатать, набирать; типовой
@konstantinchvilyov9602
@konstantinchvilyov9602 15 күн бұрын
СТЕРЕО.. Stereo [ˈstɪərɪəʊ] (от греческого στερεός - твёрдый, телесный, объемный, пространственный) - часть сложных слов, указывающая на: объемность или наличие пространственного распределения (например, стереокино, стереометрия); твердость, постоянство (например, стереотип).
@konstantinchvilyov9602
@konstantinchvilyov9602 15 күн бұрын
line item [laɪn ˈaɪtəm] отдельный пункт, составляющее строки.
@lushpa_soul
@lushpa_soul 15 күн бұрын
Ни один рисунок не видно, ахкхкх, ужас
@konstantinchvilyov9602
@konstantinchvilyov9602 15 күн бұрын
multiplicity [mʌltɪˈplɪsɪtɪ] множественность, разнообразие, многообразие, многочисленность, [много]кратность
@konstantinchvilyov9602
@konstantinchvilyov9602 15 күн бұрын
order line [ˈɔːdə laɪn] очередь заказов
@konstantinchvilyov9602
@konstantinchvilyov9602 15 күн бұрын
personal [ˈpɜːs(ə)nəl] личный, самостоятельный; личностный, собственный; именной
@konstantinchvilyov9602
@konstantinchvilyov9602 15 күн бұрын
corporate [ˈkɔːpərɪt]= corporative [ˈkɔːpərətɪv] предпринимательский; совместный, совокупный, групповой, общий
@konstantinchvilyov9602
@konstantinchvilyov9602 15 күн бұрын
employee [emplɔɪˈiː] работник, рабочий, сотрудник, специалист; персонал; подчиненный
@konstantinchvilyov9602
@konstantinchvilyov9602 15 күн бұрын
customer [ˈkʌstəmə] потребитель; пользователь; покупатель; заказчик; посетитель; потребительский
@konstantinchvilyov9602
@konstantinchvilyov9602 15 күн бұрын
operation [ɒpəˈreɪʃn] действие; деятельность; использование; срабатывание; сделка; эксплуатация, обслуживание; управление; режим; действенный; деятельный; рабочий, используемый, эксплуатационный.
@konstantinchvilyov9602
@konstantinchvilyov9602 15 күн бұрын
practice [ˈpræktɪs] опыт, деятельность, упражнение; обычай, приемы; дело; заниматься, упражнять; тренироваться, исповедовать; принимать/передавать опыт; опытный; тренировочный.
@konstantinchvilyov9602
@konstantinchvilyov9602 15 күн бұрын
production [prəˈdʌkʃn] производство, продукция, выпуск; добыча; постановка; получение, выработка; изделия; производительность; производственный, промышленный, технологический, серийный; постановочный
@konstantinchvilyov9602
@konstantinchvilyov9602 15 күн бұрын
class [klɑːs] тип; разряд; занятие; сорт; группа; направление; сословие
@konstantinchvilyov9602
@konstantinchvilyov9602 15 күн бұрын
association [əsəʊsɪˈeɪʃn] объединение; организация, объединение, связь; [со]общество, товарищество, сотрудничество, общение, сопоставление