Мастер-класс "Между data и capta: проблемы датафикации гуманитарных исследований"
Запись мастер-класса Володина А.Ю. (МГУ им. Ломоносова) "Между data и capta: проблемы датафикации гуманитарных исследований", прошедшего в ...
DH School
Витгенштейн, Людвиг
Витгенштейн, Людвиг Лю́двиг Йо́зеф Иога́нн Витгенште́йн , Вена — 29 апреля 1951, Кембридж) — австрийский философ и логик, представитель ...
Wikitube Ru
Теория алгоритмов
Теория алгоритмов Тео́рия алгори́тмов — наука, находящаяся на стыке математики и информатики, изучающая общие свойства и закономерности ...
Wikitube Ru
Дедукция 6. Формальные символические языки
Даётся пример построения формального языка на примере языка логики суждений. Выделяются основные этапы построения синтаксиса языка: ...
вячеслав моисеев
Проблема адекватности формализации на примере задачи Кислера
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/
Irina Shoshmina
123. ВВЕДЕНИЕ В ФИЛОСОФИЮ. Язык и мир, язык и сознание
123. ВВЕДЕНИЕ В ФИЛОСОФИЮ. Язык и мир, язык и сознание.
Guido Fawkes
Лекция 8: Формальные грамматики
В лекции рассматриваются и строго определяются такие понятия как формальный язык, грамматика языка, язык грамматики. Приводится ...
НОУ ИНТУИТ
Лекция 14: F-Logic и объектно-ориентированное логическое программирование
Объектно-ориентированное программирование. Парадигмы программирования и представления данных. Основные подходы применительно к логике ...
НОУ ИНТУИТ
Какой AGI нам нужен: нейросетевой, символьный или гибридный — круглый стол - Семинар сообщества AGI
Какой AGI нам нужен: нейросетевой, символьный или гибридный — круглый стол - Сергей Марков, Евгений Витяев и Антон Колонин, модератор ...
siberai
Алексей Кислов "О потенциале неклассических логик в современных когнитивных исследованиях"
Развитие логики в прошлом веке было обусловлено, во-первых, математизацией логических теорий и, во-вторых, деуниверсализацией классической ...
Клубы Мышления
Лекция 22: Формальная семантика языков функционального программирования
Классификация формальных семантик.Теория доменов. Теорема о неподвижной точке. Семантика для простейшего языка. Лекция и тесты в НОУ ...
НОУ ИНТУИТ
21-ое заседание теоретического семинара «Философские проблемы творчества»
25 января 2021 года в 15:00 сектор философских проблем творчества Института философии РАН проводит 21-е заседание теоретического семинара ...
Институт Философии РАН
Матлогика 1. Теория формальных языков.
00:07 начало вводной части 13:32 теорема о корректности 28:07 конец вводной части 28:51 начало лекции 31:32 цепочка определений (символ, ...
Лекторий ФПМИ
Миварный подход. Создание логики с минимумом программного кода [GeekBrains]
Миварные вычисления как научное направление начали развиваться еще в 80-х годах XX века. Перед разработчиками стояла задача за счет ...
GeekBrains
"Высказывания и Типы" — Кудасов Николай (15 мая 2016)
Соответствие высказываний логики и типов в языках программирования — глубокая идея, у которой много имён и много истоков. Это соответствие ...
Nickolay Kudasov
Долгоруков В. В. "Динамические эпистемические модели для агентов с бюджетными ограничениями"
Выступление Долгорукова В. В. на Московском логическом семинаре 30 мая 2020. Аннотация. Под бюджетными ограничениями понимается ...
Смирновские чтения по логике
Паничева П.В. об анализе семантической связности, Корпусная лингвистика — 2019
Паничева П.В. Анализ семантической связности в корпусах текстов для задач лингвистики и смежных областей. Корпусная лингвистика — 2019 ...
Математика и лингвистика, ИПМИ КарНЦ РАН
Формальная система
Формальная система Форма́льная систе́ма — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов ...
Wikitube Ru
Анализ сложности реализации и верификации средств защиты инф … ных архитектурах защищенных ОС Linux
Анализ сложности реализации и верификации средств защиты информации в различных архитектурах защищенных ОС Linux (OSDAY-2018) ...
Stas Fomin
База Знаний Браво - Применение Рекомедательной систем в образовании. Принятие решений для ВУЗ
База Знаний это инструмент для создания интеллектуальных и экспертных систем. Доклад на рабочей группе МАДИ "Применение Рекомедательный ...
БазаЗнанийБраво
Вячеслав Осипов. НИИ «МИВАР»: РОБОРАЗУМ - Система принятия решений
Выступление Вячеслава Осипова, заместителя директора НИИ «МИВАР», на обсуждении предложений по функционированию крупнейшего ...
JsonTV
Скучно и о математике - лекция Артема Гуреева
14.03.2019, ГЦСИ Москва.
Центр новой философии
ТФСиА 1 Семантика. Системы доказательств
00:00:00 Введение 00:05:01 Семантическое следствие 00:08:41 Формулы 00:20:01 Дерево разбора формулы 00:24:01 Вычисление значения формулы ...
Лекторий ФПМИ
Родин А. Категорная логика и гегелевская диалектика 5
Родин А. Категорная логика и гегелевская диалектика Часть (5/5): Дискуссия Доклад на семинаре "Формальная философия" (22 февраля 2013)
Виктор Горбатов
Лекция Ольги Шпилько «Программируемая архитектура Леонардо Моссо»
Историк искусства Ольга Шпилько проведет онлайн-лекцию о выставочной и общественной архитектуре итальянского архитектора, художника и ...
GARAGEMCA
Тема 1. Математический инструментарий системных наук. Часть 1
Высшая инженерная школа УрФУ
Философско-методологический анализ цифровизации. Пролегомены. Часть 1
Семинар «Философско-методологический анализ цифровизации. Пролегомены» в рамках проекта «Новейшие тенденции развития наук о человеке и ...
Институт Философии РАН
Родин Андрей Вячеславович
Диссертация на соискание ученой степени доктора философских наук Специальность 09.00.08 — Философия науки и техники Тема: «Аксиоматическая ...
Защиты диссертаций в СПбГУ
Вархотов Т. А. - История науки - Траектории формирования рационального мышления
0:00:10 1. Отличия мифологической культуры от рациональной 0:27:31 2. Траектории возникновения рациональности 1:03:32 3. Комплекс проблем и ...
teach-in
Машинный перевод
РодныеЯзыкиРоссии #centersot Лекция Александра Пиперски "Машинный перевод". Пиперски Александр Чедович - кандидат филологических наук.
Языки народов России
neomatherialism
Алла Митрофанова: философия неоматериализма. Лекция в Порядке слов, февраль 2019.
ALLA MITROFANOVA
Рыбаков М.Н. Логика (майнор) 3 курс Лекция 1 17.09.2020
Mathematics at HSE
Долгоруков В. В. "Динамические эпистемические модели для агентов с бюджетными ограничениями"
Выступление Долгорукова В.В. на московском семинаре по логике Logic.RU 30.05.2020. Аннотация: Под бюджетными ограничениями понимается ...
Формальная философия
15 Алексей Лустин ВебФронт = Новый ВебПриложение
INFOSTART.RU
Чусов А. В. - Философия физики и математики - Семиотические основания научных моделей
0:00:10 1. Смысловая структура эпистемологических вопросов 0:14:49 2. Семиотические основания научных моделей 0:26:30 3. Концепция семиотики Ч.
teach-in
КИИ-2008. Рубашкин В.Ш.
Одиннадцатая национальная конференция по искусственному интеллекту КИИ-2008 Дубна, 29 сентября - 3 октября 2008 года Рубашкин В.Ш.
РАИИ
Александр Бердичевский. Корпусы, векторы, модели: вычислительные подходы к лингвистической типологии
Пленарный доклад на Международной конференции «Лингвистический форум 2020: Язык и искусственный интеллект» (13.11.2020) ...
Институт языкознания РАН
Оберон-день в России 2014: Пётр Михайлович Кушнир
Встреча поклонников языков программирования семейства Оберон. Доклад №5: Троичная логика и её реализация на Обероне Презентация: ...
Ivan Denisov
Теория распределённых вычислений 8. Формальные методы. TLA+
Лектор: Роман Липовский.
Студсовет ФПМИ МФТИ
Апресян, Юрий Дереникович
Апресян, Юрий Дереникович Ю́рий Дерени́кович Апреся́н — российский лингвист, академик РАН , иностранный член Национальной академии наук ...
Wikitube Ru
PRO Наука в КФУ. Math 4 IT. Лекция Михаила Абрамского
PRO Наука в КФУ. Math 4 IT. Лекция Михаила Абрамского Лекция руководителя образовательной программы, старшего преподавателя Высшей школы ...
UNIVER TV
Лекция 1: Программа как модель предметной области
В лекции рассматриваются вопросы представления предметной области в виде моделей применительно к процедурной и объектно-ориентированной ...
НОУ ИНТУИТ
