[Коллоквиум]: Линейная логика и функциональное программирование
                        
                        Долкадчик: Степан Кузнецов (МИАН/НИУ ВШЭ) Линейная логика (Жирар, 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