[Коллоквиум]: Линейная логика и функциональное программирование
Долкадчик: Степан Кузнецов (МИАН/НИУ ВШЭ) Линейная логика (Жирар, 1987) — это система, в которой логические формулы воспринимаются не как ...
ФКН ВШЭ
Введение в язык программирования Rust
https://compscicenter.ru/ Открытая лекция CS центра Лектор: Алексей Кладов На сайте CS центра: https://compscicenter.ru/videos/rust/ Полный курс по ...
Computer Science Center
Функциональное программирование как предмет и метод теоретической информатики
Виталий Брагилевский | офис компании BIOCAD | 30 марта 2018 года Формирование принципов функционального программирования и разработка ...
BIOCAD
Rust вместо Си для программирования ARM Cortex-M/Евгений Пономарев
InoThings++ 2019 Малый зал 4 апреля, 17:00 Тезисы и презентация: http://inothings.ru/2019/abstracts/4832 В докладе рассмотрим, чем Rust лучше Си, ...
IoT Channel
Семантика для циников, Вадим Макеев
Окей, Гугл: зачем мне семантика и теги, кроме div? Мне пофиг на спеки и нет дела до «правильного», веб-стандарты в руках сумасшедших, а CSS для ...
Веб-стандарты
Семантика для циников, Вадим Макеев
Окей, Гугл: зачем мне семантика и теги, кроме div? Мне пофиг на спеки и нет дела до «правильного», веб-стандарты в руках сумасшедших, а CSS для ...
Веб-стандарты
Лекция 4: Функциональное программирование в реальной жизни
Построение множества Мандельброта. Функциональное программирование в реальной жизни. Пример визуализации на F#. Рекомендуемая ...
НОУ ИНТУИТ
Арто Мустайоки о своей книге "Теория функционального синтаксиса"
Арто Мустайоки рассказывает о своей книге "Теория функционального синтаксиса: от семантических средств к языковым структурам" (М., 2006; 2-е ...
Издательский дом ЯСК
Семантика Языка Программирования C++ || Урок №0 || Обзор Курса
ProgerGuide
DC17 Management Кирилл Мокевнин Ментальное программирование 2 0
DevConf
2020-09-10 — Про функциональное программирование вообще и Haskell в частности
Алексей Пирогов, программист и преподаватель, рассказывает о функциональном программировании и языке Haskell. Душкин Р.В. Функциональное ...
Московский клуб программистов
УРОК 2. Языки программирования (10 класс)
Олег Трашков
Лекция 14: Введение в л-исчисление
Основные модели вычислений. Синтаксис л-исчисления. Чистое и прикладное л-исчисление. Преобразования л-выражений. Редукция. Бетта-редукция ...
НОУ ИНТУИТ
Лекция 8: Формальные грамматики
В лекции рассматриваются и строго определяются такие понятия как формальный язык, грамматика языка, язык грамматики. Приводится ...
НОУ ИНТУИТ
Лекция 7. О новых направлениях в синтаксисе XX в. (Часть 1: формальные идеи)
В этой лекции мы поговорим о некоторых ярких формальных синтаксических идеях XX в. Заодно будут обсуждаться темы антропоцентризма, ...
Alexey Belov
Лекция 10: Нестандартные интерпретаторы
Курс в НОУ "ИНТУИТ": http://www.intuit.ru/studies/courses/3478/720/info.
НОУ ИНТУИТ
Гипотетико-дедуктивная модель научной теории: семантика
Даётся определение семантики формальной теории, по Тарскому, когда в качестве семантики подбирается подходящая математическая структура, ...
вячеслав моисеев
Семантический аспект изучения синтаксиса. Часть 3. Концептоцентрический подход
Морфология современного русского языка Семантический аспект изучения синтаксиса Концептоцентрический подход с опорой на логику отношений.
Глазарий языка
[общая семантика] Анализ высказывания
Группа в vk: https://vk.com/generalsemantics Блог: https://gs-rus.blogspot.com/
GS RUS
Понятие сложного синтаксического целого. Часть 3. Структурно-семантическая организация
Синтаксис современного русского языка Понятие сложного синтаксического целого Семантическая (структурно-семантическая) организация сложного ...
Глазарий языка
Семинар: Базовый синтаксис языка JavaScript
Timur Shemsedinov
«HowdoesITwork?»: структура та архітектура програмних систем
Спікер: Тимур Шемседінов, архітектор технологічного стеку та лідер спільноти Метархія, викладач КПІ, 2й у Github рейтингу розробників України, ...
Ukrainian Bar Association
[Мини-курс]: Программирование. Idris. Лекция 1
Мини-курс В.Н. Брагилевского: «Функциональное программирование с зависимыми типами на языке Idris» Язык программирования Idris — это ...
ФКН ВШЭ
Строгие функции
Курс в НОУ ИНТУИТ: https://www.intuit.ru/studies/courses/3652/894/info.
НОУ ИНТУИТ
5. Языки веб-программирования. Особенности использования языка Ruby | Технострим
Слайды лекции: https://goo.gl/gWY7Wj Лектор - Самарев Роман Другие лекции курса: https://goo.gl/pnXeMK СОДЕРЖАНИЕ ЛЕКЦИИ: - Функциональный ...
Технострим Mail.Ru Group
Андрей Давыдов — Концепты: упрощаем реализацию классов std utility
Появляющиеся в C++20 концепты — давно и широко обсуждаемая тема. Несмотря на избыток материала, накопившегося за годы (в т. ч. выступления ...
C++ User Group
"Деревья синтаксиса модификация исходного кода в 2019-м", Кирилл Борисов (Booking.com)
Разработка
Лекция 24: Реализация функциональных языков. Eval-Apply-интерпретаторы
Реализация функциональных языков. Eval-Apply-интерпретаторы. Лекция и тесты в НОУ "ИНТУИТ" ...
НОУ ИНТУИТ
012. Доступность интерфейсов — Дмитрий Батогов
Что такое доступность интерфейсов? Для кого она важна и зачем к ней нужно стремиться? Каковы основные приёмы, которые делают интерфейс ...
Фронтенд
НАТИВ / Про Frontend и не только / JS REACT NATIVE / Алексей Астафьев
teachmeskills #ityoutubersru #frontend #react #войтивайти Сегодня вечером поговорим со славным парнем, Software Engineer из компании EPAM Systems ...
TeachMeSkills Школа программирования
Управление состоянием #5: Effector
Группа, где вы можете задать вопросы или обсудить Effector: https://t.me/effector_ru --- Видео создано благодаря подписчикам проекта на Patreon ...
JavaScript.Ninja
Гипотетико-дедуктивная модель научной теории: семантика термов
Определяется семантика термов в рамках индуктивного определения: даётся семантика базисных термов и констант, затем функциональных термов ...
вячеслав моисеев
Введение в программирование (1 часть)
Слайды: https://www.slideshare.net/tshemsedinov/1-168855278 Канал: https://t.me/HowProgrammingWorks Группа: https://t.me/Programming_IP9X Курс ...
Timur Shemsedinov
C++ 24. Лямбда-функции
В первый раз когда Илья рассказал про захват const ссылок, он ошибся, далее в лекции он исправится. Правильно следующее: по умолчанию по ссылке ...
Лекторий ФПМИ
Кузнецов С. Д. - Базы данных - Проектирование реляционных баз на основе функциональных зависимостей
0:00:09 1. Реляционное исчисление кортежей 0:33:49 2. Реляционное исчисление доменов 0:51:20 3. Проектирование реляционных и ...
teach-in
К.А. Михайлов о логической семантике
Выступление во время круглого стола на 6-х Смирновских чтениях (19 июня 2009)
Виктор Горбатов
Матлог 9. Формулы с кванторами. Языки I-го порядка.
05:00 - как строятся формулы; 08:36 - сигнатура; 15:07 - алфавит; 20:15 - термы; 30:13 - интерпретация и оценка; 36:09 - определение значения терма ...
Лекторий ФПМИ
Сергей Ткаченко. OOP FOR BRAVE AND TRUE
В последнее время очень часто поднимается тема битвы методологий ООП и ФП. Но на самом деле эти две методологии были созданы с одной и той ...
Fp Conf
С.Л. Кузнецов. Спецкурс «Лямбда-исчисление, или вычислительная теория доказательств»
Лекции и семинары Научно-образовательного центра Математического института им. В.А. Стеклова Российской академии наук. С.Л. Кузнецов.
МЦМУ МИАН
Лекция №3 - Лень - Двигатель Прогресса
Vladimir Solovjev
Лекция 9: Типизация в логических языках
Возникновение типизации. Классификация языков. Система типов. Многослойная логика предикатов. Классы конкретизации. Детерминизм. Предикаты ...
НОУ ИНТУИТ
Функциональная грамматика русского языка/Муминов Мелс Турсунович
ADU mix