Функциональное программирование. Шаг первый.
Мини-курс по функциональному программированию. Преподаватель - Иванов Андрей Чат для общения - https://t.me/joinchat/...
Компьютерная Академия Шаг
Кузнецов С.Л. Coq: построение и проверка математических доказательств на компьютере (22.04.2020)
В докладе дается обзор системы Coq — средства для полуавтоматического построения и автоматической проверки...
НИС по математической логике
Топ вопросы на собеседовании по JavaScript: 7) Каррирование (currying).
Объясняю каррирование на кирпиче. Смотрите также: Другие вопросы на...
Prog Blog
Виталий Брагилевский — Монады - не приговор
Виталий Брагилевский на митапе Tver.io Pure Meetup 25 июля. Слайды: http://tver.io/meetup/2019/07-pure-meetup/bragilevsky-monads.pdf.
TverIO
Семинар 10. Разное (Алгоритмы и структуры данных, часть 1)
Сжатие координат: простой пример задачи, идея метода. Реализация: сортировка + бин. поиск или использование...
Computer Science Center
Иван Дашкевич — Yield и async-await: как оно все устроено внутри и как этим воспользоваться
Ближайшая конференция — DotNext 2020 Piter 15-18 июня, Online Подробности и билеты: https://bit.ly/dotnext2020piter . Методы с yield return...
DotNext
Какой у тебя стиль ПРОГРАММИРОВАНИЯ? 2 важных принципа!
Telegram-канал: https://t.me/rahim_muratov Instagram: https://www.instagram.com/rahim.muratov Сайт: http://marlindev.ru Привет, в этом видео я расскажу ...
Marlin
Виталий Брагилевский — JavaScript на службе у теоретической информатики
Ближайшая конференция — HolyJS 2020 Piter 22-25 июня, Online Подробности и билеты: https://bit.ly/hollyJS2020 . При изучении теорет...
HolyJS
Алгоритмы на JS #2: рекурсия (часть 1)
Реку́рсия — определение, описание, изображение какого-либо объекта или процесса внутри самого этого объек...
MakeWeb.me
#1 Лямбда-выражения / Java Lambdas / Source Code
Подпишись, чтобы быть в курсе всех обновлений на канале: YouTube: http://bit.ly/2QgrUsD GitHub: http://bit.ly/2vq9Zs7 Telegram: http://bit.ly/2TU...
Source Code
Алгоритмы на Python 3. Лекция №9
курс: Информатика. Алгоритмы и структуры данных на Python 3. сайт: http://judge.mipt.ru/mipt_cs_on_python3/ лектор: Хирьянов Тимофе...
Тимофей Хирьянов
Лев Беклемишев - Беседы о логике. Часть 2 из 2. Беседует Николай Андреев
Беседы о логике. Часть 2 из 2. Какую роль сыграла логика в создании компьютеров и языков программирования?...
НаукаPRO
#10 Группировка данных / Java Lambdas / Source Code
Подпишись, чтобы быть в курсе всех обновлений на канале: YouTube: http://bit.ly/2QgrUsD GitHub: http://bit.ly/2vq9Zs7 Telegram: http://bit.ly/2TU...
Source Code
Александр Чичигин. В ПОИСКАХ КОРРЕКТНЫХ ТРАНСФОРМАЦИЙ
Доклад для бывалых функциональных программистов, заинтересованных в формальной верификации программ....
Fp Conf
Лекция №1
Цикл лекций "Дискретная оптимизация" Преподаватель - кандидат физико-математических наук, доцент кафедры...
Лекторий ФИВТ
#6 Фильтрация, перебор элементов и их отображение / Java Lambdas / Source Code
Подпишись, чтобы быть в курсе всех обновлений на канале: YouTube: http://bit.ly/2QgrUsD GitHub: http://bit.ly/2vq9Zs7 Telegram: http://bit.ly/2TU...
Source Code
Основы программирования и структура кода на примере языков Pascal и Cи
Кто такой программист? Что нужно знать программисту, какими знаниями обладать? Что такое программирование...
SpecialistTV
005. Малый ШАД - Зачем автомобилю будущего компьютерное зрение? - Антон Слесарев, Андрей Василевский
Антон Слесарев, Яндекс Андрей Василевский, Яндекс Компьютерное зрение позволяет компьютеру различать...
Для школьников
Как я выводил проект из крутого пике
soer #влог #влогпрограммиста Чат для программистов - https://discordapp.com/invite/3UVJWAs Спонсорская помощь - https://www.patreon.com/soer...
S0ER
C++ Russia 2017: Антон Бикинеев, Reflection in C++Next
Ближайшая конференция — C++ Russia 2020 Moscow 29 июня - 2 июля, Online Подробности и билеты: https://bit.ly/cpprussiamoscow .
C++ User Group
Структуры данных в JavaScript | OdessaFrontend Meetup #13
Алгоритмы и структуры данных — это фундаментальные основы в программировании. Но, при изучении JavaScript, на...
OdessaFrontend Community
Этюды о буферизации. Вадим Винник ➠ CoreHard Autumn 2019
Этюды о буферизации: асинхронные оповещения, репликация обновлений, объединение ожидающих запросов. Прак...
corehard
ПЛК110 и MasterSCADA 4D. Обзор интерфейса.
Видео-урок №1 В этом видео рассмотрим: — Как создается новый проект для ПЛК110. — Какие основные элементы...
ОВЕН. Производственное Объединение
Кластерные решения Windows Server с использованием сетей хранения данных
ИТ Кино Гаджеты Железо Софт Игры
Алгоритмы решения задачи о булевой выполнимости (SAT) и их применение в криптоанализе
Доклад посвящен применению алгоритмов решения проблемы булевой выполнимости (SAT) к задачам криптоанализа....
Positive Technologies
Эллиптическая криптография - Денис Ковалев
Разберем основы криптографии на эллиптических кривых. Посмотрим преимущества перед аналогами. Денис Кова...
Deep Refactoring
CustJS #0, создание своего игрового движка на JavaScript. Как создать движок для игры?
Побочка: https://skanersoft.ru - - - - - - - - - Друзья, поддерживать канал и скачивать исходники вы можете на сервисе по...
Godot 3D Russia
Машинное обучение: шаг в цифровую экономику. Константин Воронцов.
Физтех-школа прикладной математики и инфораматики МФТИ запускает открытые семинары по искусственному...
МФТИ — Физтех
Цифровая трансформация юристов компании Мегафон: программы для юристов - Мария Юсупова
В этом видео Мария Юсупова, спикер форума для юристов и адвокатов 4LEGAL, поделится опытом компании Мегафон,...
Сообщество для юристов и адвокатов 4LEGAL
Лекция 1 | Квантовые алгоритмы: возможности и ограничения | Лекториум
Лекция 1 | Курс: Квантовые алгоритмы: возможности и ограничения | Лектор: Михаил Вялый | Организатор: Computer...
Лекториум
Углубленное программирование на С С++ Лекция 25
Курс "Углубленное программирование на С С++" Для начинающих программистов, владеющих основами языков C и...
Технострим Mail.Ru Group
Абрамов С. А. - Сложность алгоритмов - Алгоритмы и задачи проектирования, интегральные схемы
00:00:10 1. Интегральная схема и ее производство 00:12:15 2. Уровни абстракции при проектировании 00:14:56 3. Системный...
teach-in
Практика реализации генетических алгоритмов
Естественный отбор в искуственной среде компьютерных технологий... Максим Рубцов делится примерами примен...
Fox Devs
014. Программист и математика: счастливы вместе? - Иван Бибилов
Женаты? Всё сложно? В активном поиске? Какие отношения складываются у программистов с математикой? Как част...
Разработка
Объекты, классы и пакеты в Java
Основы ООП. Класс, интерфейс, перечисление. Аннотации. Модификаторы доступа. Вложенные классы. Наследование...
Computer Science Center
Рекурсия. Полная теория. Часть 1
Полная теория о том, как с нуля, не зная ничего, понять рекурсию. Если видео наберет 1000 лайков, появится и...
Cronis Academy
Лекция 2: Введение в Пролог и логическое программирование
Устройство пролог системы.Деревья. Примеры. Лекция и тесты в НОУ "ИНТУИТ" http://www.intuit.ru/studies/courses/558/414/lecture/9499.
НОУ ИНТУИТ
Всеволод Родионов - Math driven development
KharkivJS Community
Введение в нейронные сети на базе Microsoft Cognitive Toolkit, Дмитрий Сошников
Open Data Science December Meetup – 20.12.2017 Партнеры митапа – Юрий Мельничек, компании Microsoft и Mapbox. Microsoft Cognitive Toolkit (CNTK) ...
SPACE
Технологии программирования Лекция 5. Набиев Р.Р.
для групп 7291-11, 12.
Факультет дизайна и программной инженерии КНИТУ
Болтовня про IT-бизнес
Стрим Александра Григорина о том, как зарабатывать на программировании. Так планировал. А получилось, как...
Александр Григорин
013. Обобщающая способность. Методы отбора признаков — К. В. Воронцов
Курс "Машинное обучение" является одним из основных курсов Школы, поэтому он является обязательным для...
Компьютерные науки