Видео

1) 08-06. СИЛЛОГИЗМ «СОКРАТ» + АЛГЕБРАИЧЕСКИЙ РАСЧЁТ / ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ - 3 SYLLOGISM «SOCRATES» + ALGEBRAIC CALCULATION / Correct syllogisms for children and academics - 3: ruclips.net/video/w1Lm4OCoMdU/видео.html 2) 10-07: Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 7 / Fundamentals of Intelligent Systems Logic - 7: ruclips.net/video/MC1-yYoS8sc/видео.html 3) 10-08: Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ-8 (ПСЛО-3: ТЕОРИЯ И ПРАКТИКА РАСЧЁТА СИЛЛОГИЗМОВ-2): ruclips.net/video/QMdsMki7MIw/видео.html

1) 08-06. СИЛЛОГИЗМ «СОКРАТ» + АЛГЕБРАИЧЕСКИЙ РАСЧЁТ / ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ - 3 SYLLOGISM «SOCRATES» + ALGEBRAIC CALCULATION / Correct syllogisms for children and academics - 3: ruclips.net/video/w1Lm4OCoMdU/видео.html 2) 10-07: Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 7 / Fundamentals of Intelligent Systems Logic - 7: ruclips.net/video/MC1-yYoS8sc/видео.html 3) 10-08: Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ-8 (ПСЛО-3: ТЕОРИЯ И ПРАКТИКА РАСЧЁТА СИЛЛОГИЗМОВ-2): ruclips.net/video/QMdsMki7MIw/видео.html

1) 08-06. СИЛЛОГИЗМ «СОКРАТ» + АЛГЕБРАИЧЕСКИЙ РАСЧЁТ / ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ - 3 SYLLOGISM «SOCRATES» + ALGEBRAIC CALCULATION / Correct syllogisms for children and academics - 3: ruclips.net/video/w1Lm4OCoMdU/видео.html 2) 10-07: Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 7 / Fundamentals of Intelligent Systems Logic - 7: ruclips.net/video/MC1-yYoS8sc/видео.html 3) 10-08: Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ-8 (ПСЛО-3: ТЕОРИЯ И ПРАКТИКА РАСЧЁТА СИЛЛОГИЗМОВ-2): ruclips.net/video/QMdsMki7MIw/видео.html

1) 08-06. СИЛЛОГИЗМ «СОКРАТ» + АЛГЕБРАИЧЕСКИЙ РАСЧЁТ / ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ - 3 SYLLOGISM «SOCRATES» + ALGEBRAIC CALCULATION / Correct syllogisms for children and academics - 3: ruclips.net/video/w1Lm4OCoMdU/видео.html 2) 10-07: Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 7 / Fundamentals of Intelligent Systems Logic - 7: ruclips.net/video/MC1-yYoS8sc/видео.html 3) 10-08: Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ-8 (ПСЛО-3: ТЕОРИЯ И ПРАКТИКА РАСЧЁТА СИЛЛОГИЗМОВ-2): ruclips.net/video/QMdsMki7MIw/видео.html

1) 08-06. СИЛЛОГИЗМ «СОКРАТ» + АЛГЕБРАИЧЕСКИЙ РАСЧЁТ / ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ - 3 SYLLOGISM «SOCRATES» + ALGEBRAIC CALCULATION / Correct syllogisms for children and academics - 3: ruclips.net/video/w1Lm4OCoMdU/видео.html 2) 10-07: Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 7 / Fundamentals of Intelligent Systems Logic - 7: ruclips.net/video/MC1-yYoS8sc/видео.html 3) 10-08: Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ-8 (ПСЛО-3: ТЕОРИЯ И ПРАКТИКА РАСЧЁТА СИЛЛОГИЗМОВ-2): ruclips.net/video/QMdsMki7MIw/видео.html

У вас хорошие видео про интересные темы. Таких каналов, как ваш, на русском языке мало и это печально. Но, ребята, что со звуком??!! Невозможно слушать!! Понятно, что вы не будете покупать хорошие микрофоны, вам пофиг, но прогоните хотя бы видео через программные средства улучшения звука!! Ужасный звук. Просто ужас.

Поздравляю с днем рождения!

В своих исследованиях пробовали ли использовать генеративный ИИ для того, чтобы на основе diff-а в коммите восстановить часть контекста для построения части AST-ового дерева, чтобы затем выделить на основе паттернов свёртки (Graph convolution nn), или латентные представления коммитов, что-то на подобии NED-VAE? И проследить корреляции между векторным представлением описаний коммитов с векторным представлением изменений бинарной структуры ПО?

Такая интересная тема и так мало просмотров...

Вы и сами это понимаете, но все же скажу: с таким звуком вряд ли кто-то будет смотреть это видео. На вашем канале есть видео с отличным звуком. Очень жаль что эта интересная тема с плохим звуком.

ИНСети - это, говоря простым языком, предсказательные модели. Чем больше набор данных в обучающей выборке с ответами и чем точнее список выбранных параметров описывающих задачу, тем точнее такая модель. Проблема в том, что при такой технологии "обучения", точнее настройки, модель ИНСети НЕ способна обьяснить получение своего результата (решения): почему такой (такое), а не другой (другое). То есть лишена обязательного атрибута присущего интеллекту: делать логические умозаключения, рассуждения и умения их документировать. Разработчики таких моделей утверждают, что они работают как нейроны головного мозга человека, поэтому такие модели и есть что ни на есть настоящий ИИ. Оставим это утверждение на их совести, а по сути это чистая подмена понятий. В последнее время ИИ стал использоваться как пиар-термин, чтобы "запудрить" мозги несмышленным и получить финансирование на свои проекты и за свои продукты.

В чем и как выражается эта самая поддержка принятия решения ? Данные OLAP кубов показывают картину данных, а в какой форме формируются и обосновываются сами рекомендации к принятию решений ?

Очень слабая громкость, пожалуйста, перевыложите с нормализованной громкостью.

"между понятиями" вы вставите, в итоге, другое "понятие" : вот и вся сложность "поиска связи между", а затем будете искать "понятия" для заполнения уже образовавшихся двух "между".

Большое спасибо за семинар.Успехов. Удачи.

✋🌞Доброго Всем Бытия. Всем Счастья Радости Добра Мудрого Творчества на Светлом Пути ✋🌞

Скажите, почему не был рассмотрен алгоритм описанный Кеньон ( Kenyon [SODA 1996] introduced the (asymptotic) random order ratio as an alternative performance measure for online algorithms.) где он изложил (асимптотическое) отношение случайного порядка как альтернативный показатель производительности онлайн-алгоритмов. Можно узнать ваше мнение по этой работе?

- 08-04.ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ-1 / Valid syllogisms for children and academics-1: ruclips.net/video/Q0S3xI7f0so/видео.html - 08-06. СИЛЛОГИЗМ «СОКРАТ» + АЛГЕБРАИЧЕСКИЙ РАСЧЁТ / ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ - 3 SYLLOGISM «SOCRATES» + ALGEBRAIC CALCULATION / Correct syllogisms for children and academics - 3: ruclips.net/video/w1Lm4OCoMdU/видео.html - 06-09. АЛГЕБРАИЧЕСКИЙ РАСЧЁТ СИЛЛОГИЗМОВ - ЭТО ПРОСТО! (суждения, кванторы, модусы): ruclips.net/video/a8A3DI9qUYY/видео.html СИСТЕМА ОБРАЗОВАНИЯ ДОЛЖНА УЧИТЬ ПРАВИЛЬНОЙ ЛОГИКЕ, А НЕ ИЗ ВЕКА В ВЕК ТУПО ЗАДАЛБЛИВАЕМЫМ ДРЕВНИМ (а иногда откровенно дебильным!) ФАНТАЗМАМ. Как смогут люди, получившие ЛОГИЧЕСКИ ИСКАЖЁННОЕ ОБРАЗОВАНИЕ, создать что-то интеллектуально и принципиально новое? НИКАК И НИ-КОГ-ДА. 10-01. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 1 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 1: ruclips.net/video/6JzxRFJ6C4I/видео.html 10-02. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 2 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 2: ruclips.net/video/oEkRyad-4qM/видео.html 10-03. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 3 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 3: ruclips.net/video/OUNG3z_sh50/видео.html 10-04. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 4 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 4: ruclips.net/video/Hh1olPH7rOE/видео.html

Анализ текстов - это очень важно! 08-04.ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ-1 / Valid syllogisms for children and academics-1: ruclips.net/video/Q0S3xI7f0so/видео.html 08-06. СИЛЛОГИЗМ «СОКРАТ» + АЛГЕБРАИЧЕСКИЙ РАСЧЁТ / ПРАВИЛЬНЫЕ СИЛЛОГИЗМЫ ДЛЯ ДЕТЕЙ И АКАДЕМИКОВ - 3 SYLLOGISM «SOCRATES» + ALGEBRAIC CALCULATION / Correct syllogisms for children and academics - 3: ruclips.net/video/w1Lm4OCoMdU/видео.html 10-01. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 1 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 1: ruclips.net/video/6JzxRFJ6C4I/видео.html 10-02. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 2 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 2: ruclips.net/video/oEkRyad-4qM/видео.html 10-03. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 3 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 3: ruclips.net/video/OUNG3z_sh50/видео.html 10-04. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 4 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 4: ruclips.net/video/Hh1olPH7rOE/видео.html

ИСП РАН. Смерть академика Иванникова: суицид или убийство? Сергей Жирнов канал

10-01. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 1 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 1: ruclips.net/video/6JzxRFJ6C4I/видео.html 10-02. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 2 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 2: ruclips.net/video/oEkRyad-4qM/видео.html 10-03. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 3 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 3: ruclips.net/video/OUNG3z_sh50/видео.html 10-04. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 4 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 4: ruclips.net/video/Hh1olPH7rOE/видео.html

Базовая информация для определения точного вектора развития теории (гипер-супер :-) графов: 10-01. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 1 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 1: ruclips.net/video/6JzxRFJ6C4I/видео.html 10-02. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 2 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 2: ruclips.net/video/oEkRyad-4qM/видео.html 10-03. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 3 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 3: ruclips.net/video/OUNG3z_sh50/видео.html 10-04. Основы ЛОГИКИ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ - 4 / Fundamentals of INTELLIGENT SYSTEMS LOGIC - 4: ruclips.net/video/Hh1olPH7rOE/видео.html ...продолжение следует...

Спасибо интересно и познавательно было слушать.

Об ИИ говорят уже почти 70 лет, а "воз и поныне там". В последнее время ИИ стал пиар-термином, чтобы "запудрить" мозги и получить финансирование на свои проекты и за свои продукты.

Тема доклада интересная, но плохое качество видео-записи сводит все на нет. Просто ничего не разобрать.

Звук ужасный.

Понравилась штука с обобщёнными модулями, в целом видится что это очень похоже на макросы

2nd!

first

0:15 Hello, everyone! 2:55 Synthetic theories and proof assistants (Context) 25:00 Synthetic ∞-categories and Rzk language 41:17 Basic shapes (tope layer) 49:39 Break (discussions during the break) 58:40 Type layer 1:12:47 Simplicial types 1:22:20 Literate programming 1:25:22 Automatic visualisation 1:27:33 Formalising simplicial HoTT 1:32:55 What's next? 1:34:43 Questions

это такая длинная шутка или со звуком совсем ничего нельзя сделать?

да

холостой выстрел, да еще и в воздух - это сильно!

корень из 2 это комплексное число, так как все иррациональные числа входят в комплексные в общем, чудаки сами знаете на какую букву

Спасибо за видео, довольно интересно.

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

Хабр -- это биржа по вербовке и выкачиванию талантов из России, а никакой не университет... Рассадник либертарианцев и космополитов.

помнится в начале 2000х в Avalons Tree (базировался в здании ВЦ) вне XDS был написан конвертер Mitel Pascal на C Игорь Васильевич читал курс по теории трансляции в НГУ, на сдаче с формулировкой "ну вот что-то не дотягиваете вы на пятерку, а четверку вам ставить я не хочу. Поставлю-ка я вам двойку, а к пересдаче вы подтянете знания" :)

"Арутюн Аветисян -- Лжец и Вор". - Вдова трагически погибшего основателя ИСП РАН академика РАН Иванникова Виктора Петровича.

"Арутюн Аветисян -- Лжец и Вор". - Вдова трагически погибшего основателя ИСП РАН академика РАН Иванникова Виктора Петровича. ruclips.net/video/KKWmxZamkoY/видео.html

Где русский алфавит

Спасибо большое Виолетте за такой интересный доклад?

Вам бы, дорогим нашим логикам, вначале с обычной логикой разобраться, чтобы не повторять её фантазии под видом логик с другими наименованиями... :-) Cv/ 07-09. ЛОГИЧЕСКАЯ СПЕЦОПЕРАЦИЯ (Интеллектуальный мегаполис. Потенциал - АК как Гуманитарное...): ruclips.net/video/XD2YnTuLoro/видео.html

Спасибо!

Спасибо

Thank you for the invitation to the talk - if anyone has any questions - please feel free to contact me at j.brown@innopolis.ru

История одного преступления. - Арутюн Аветисян (ИСП РАН) и его роль в гибели основателя ИСП РАН академика РАН Иванникова Виктора Петровича (ВМК МГУ, ФКН ВШЭ, МФТИ). rospres.site/forum/item/336259-skandal-vokrug-isp-ran-kak-instrumenty-proverki-bezopasnosti-android-os-i-tizen-os-okazalis-v-rukakh-aferistov

Опосредствованный институт с устаревшей программой обучения не кому не рекомендую

Старикашки не любят критику?

как можно связаться с вами ? мне нужна программма