24.01.2015 Маргарита Ниязова: Семантика модальной логики
В рамках модальной логики рассматриваются понятия возможных миров, отношений достижимости, теории бинарны...
Sergey Adaschik
Немецкий язык: теоретическая грамматика. Лекция 1. Предмет и единицы теоретической грамматики
1. Грамматика и ее отрасли. 2. Предмет теоретической грамматики. 3. Типы грамматических описаний языка. Лектор...
Образование для всех
Логический кружок 5. Логика и философия, философская логика
5-е заседание логического кружка в доме Лосева, тема: "Логика и философия, философская логика, неклассически...
вячеслав моисеев
Философские встречи в МПГУ: Станислав Лем ч.1
Cyrill Sergeev
С.Л. Кузнецов. Спецкурс «Лямбда-исчисление, или вычислительная теория доказательств»
Лекции и семинары Научно-образовательного центра Математического института им. В.А. Стеклова Российской...
МЦМУ МИАН
Логический кружок 2. История логики
Второе заседание логического кружка в Доме Лосева 17 мая 2017 г. Тема: "Логика как наука. История логики". Формал...
вячеслав моисеев
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Модальная логика 1
0:00:09 1. Продолжение доказательства теоремы из прошлой лекции 0:07:43 2. Лемма 12.1 О подстановке термов 0:14:29 3. Теор...
teach-in
Немецкий язык: теоретическая фонетика. Лекция 2. Интонация
1. Интонология немецкого языка. 2. Интокоционная группа. 3. Ядерные токи. 4. Функции интонации. 5. Интонация...
Образование для всех
Курс "Основы русской коммуникативной семантики". Лекция 7
А.А. Коростелёва (МГУ имени М.В. Ломоносова). Основы русской коммуникативной семантики (курс-интенсив, 8 лекци...
СКАЯ
jQuery в 2020 почему кто-то ещё использует :)
Немного хейтим jQuery, выявляем минусы. При этом осмысливаем, почему некоторые её до сих пор активно использую...
Дмитрий Лаврик
Немецкий язык: теоретическая грамматика. Лекция 2. Части речи в немецком языке
1. Морфология и синтаксис как разделы теоретической грамматики. 2. Грамматическая форма и грамматическое...
Образование для всех
6 вопросов с собеседований Ч2 | Чайные вечера C#
https://planeta.ru/campaigns/csharp-book - ПОДДЕРЖИТЕ МОЮ КНИГУ Комментировать здесь - http://sakutin.ru/ijunior/free/29may/ ...
Роман Сакутин - GameDev
Речевая безопасность. Урок 6.6. Компонентное выражение социального статуса человека. Часть 1
Технология речевой безопасности. Язык социального статуса. Владимир Базылев. Образование для всех. Первый...
Образование для всех
Горбатов В.В. Онтологический аргумент в свете двумерной семантики
Доклад на конференции "Трансцендентное в современной философии: направления и методы" (ВШЭ, 6 июня 2013)
Виктор Горбатов
Лекториум "Среда Мышления". Алексей Кислов, Многообразие логики.
Лекториум "Среда Мышления". Алексей Кислов, Многообразие логики: как рассуждают люди, ангелы и роботы? Проек...
Точка кипения Медиацентр
Лекция 2 | Введение в модальную логику | Даниил Рогозин | Лекториум
Лекция 2 | Автор: Даниил Рогозин | Курс: Введение в модальную логику | Организаторы: Computer Science Club при ПОМИ РАН...
Лекториум
Рыбаков М.Н. Алгоритмическая выразительность предикатных модальных логик (05.12.2018)
Заседание 05.12.2018. Докладчик: Рыбаков Михаил Николаевич (Тверской государственный университет) Тема: Алгорит...
НИС по математической логике
Платформенный UI и бизнес-логика на C++ / Евгений Шаповалов (Яндекс)
Saint AppsConf 2019 21 и 22 октября 2019, Санкт-Петербург Подробности и билеты на сайте https://appsconf.ru/spb/2019 AppsConf 2018 Зал «Зал...
Mobile Channel
Acceptance testing и BDD с помощью Cucumber — Андрей Михайлов, Kaliber5
BDD позволяет убить двух зайцев: обеспечить качественное покрытие кода тестами и вплести тестирование в...
AvitoTech
Грамматические правила и их изменения
О правилах в английском и других языках - отличия во взглядах лингвиста и "обывателя". Грамматические прави...
Languages, etc.
16.03.2020 г. Лекция А.М. Карапетьянца «Функциональная грамматика китайского языка». Часть I.
16 марта 2020 г. в Институте Конфуция РГГУ прошла первая лекция профессора, доктора филологических наук Артеми...
Институт Конфуция РГГУ
Референция и существование. Научный семинар Центра исследования сознания
Этот семинар посвящен книге "Референция и существование" Сола Крипке, одного из главных философских гениев...
Moscow Center for Consciousness Studies
NLP #1: Word vector representations
Our first topic: word vector representations. Welcome, Alexey Sorokin, DeepPavlov researcher and NLP expert. Presentation: https://bit.ly/2WQRtSR Word Vector ...
DeepPavlov
Лекция 2 | Онтология и представление знаний | Борис Конев | Лекториум
Лекция 2 | Курс: Онтология и представление знаний | Лектор: Борис Конев | Организатор: Computer Science клуб при ПОМИ...
Лекториум
Китайский язык / Урок 8 / Моя семья
В этом уроке мы разберем названия близких родственников, слова родители, дети, пожилые люди, девочка, мальчи...
Alina Vaskova
English To Learn: HAVE or HAVE GOT?
Помочь выходу новых видеороликов: Patreon: https://www.patreon.com/skjold_skefsson Donationalerts: http://www.donationalerts.ru/r/skjold_skefsson Группа ...
Skjold Skefsson
Repozitorro #35 - Сильное портфолио для Джуниора
ityoutubersru #YauhenK #webdev #Repozitorro Всех приветствую в 35-м выпуске видео-каста "Repozitorro". Где мы рассматриваем портфолио...
webDev
Идея компиляции структуры Крипке по программе
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/ Проверка корректност...
Irina Shoshmina
D3 + MALEVICH = SPA ( FrontTalks - 23 ноября )
Любительская съемка В докладе я раскажу о D3, его основах и о паттерне программирования MALEVICH — смеси MVC и...
Aleksei Okhrimenko
ТВОРИТЕЛИ. Для кого эта программа? Лазарева Н.Л.
Интернет-конференция. Лазарева Н.Л. ✌Тема лекции: .""ТВОРИТЕЛИ. Для кого эта программа? Подходит ли она...
Планета Регионов КФС Кольцова
Аксельрод А.Е. 2019-07-18 «Программа «ТВОРИТЕЛИ» #кфскольцова
18.07.2019 Четверг 14.00 – 16.00 Аксельрод А.Е. Золотой директор, лектор Компании Семинар в зале с трансляцией в интер...
КФС Кольцова
III заседание дискуссионного клуба Центра философских коммуникаций Института философии РАН
26 марта Центр философских коммуникаций Института философии РАН совместно с Советом молодых ученых проводи...
Институт Философии РАН
Подкаст. Метаэтика. Когнитивизм и нон-когнитивизм
Объясняем, что такое метаэтика и чем она занимается, рассматриваем различные метаэтические концепции:...
Лаки Страйк
История Логики. Часть 1
Xandr Reardenius
Полный курс немецкой грамматики модуль 2 урок 1
В этом видео уроке я рассказываю о грамматических категориях глаголов и видах немецких глаголов. Посмотрет...
Светлана Экман
Горбатов В.В. Модальности в онтологии Трактата
Горбатов В.В. Модальности в онтологии Трактата: "следы" субъекта в пространстве фактов. Выступление на семин...
Виктор Горбатов
Методические особенности использования ИКТ для обучения грамматике в начальной школе
Лекторы: к.п.н. Конобеев Носенко О.В.
Englishteachersru
MadFM, Опять про Витгенштейна
uebermarginal
Как оценивать происходящие события с позиции гражданских ценностей? // Игорь Гибелев
Применение универсальных ценностей как практического инструмента гражданской активности наиболее эффект...
Университет КГИ
Васюков В.Л. Онтология недостижимых миров (часть 2)
Васюков В.Л. Онтология недостижимых миров, или как возможна алетическая модальная логика (часть 2). Совместн...
Виктор Горбатов
Разбор ошибок по Markup-2018q3
Task https://github.com/rolling-scopes-school/tasks/blob/2018-Q3/tasks/markup-2018q3.md OUR SOCIAL MEDIA: telegram channel: https://goo.gl/MG5TYY ...
The Rolling Scopes
Немецкий язык и Германия. Урок 1.4. Региональные различия
Немецкий язык и Германия. Владимир Базылев. Образование для всех. Первый образовательный канал. © Телекомпа...
Образование для всех