Разбор задачи 627 acmp.ru Игра в слова. Решение на C++
Теги: O((n1+n2)*log(n1)),sort,binary_search,неточное условие,Игорь Андрианов О проекте "3.5 задачи в неделю": разбор олимпиадных задач по ...
3.5 задачи в неделю
Николай Андреев - Площадь круга
Помните ли вы формулу для вычисления площади круга? Наверняка помните. А задумывались, каким образом можно продемонстрировать её ...
НаукаPRO
Карты Карно
Упрощение булевых функций четырех переменных.
Kirsanov2011
А.М. Зубков, А.А. Серов. Простое доказательство универсальных неравенств для функции...
Научная сессия МИАН, посвященная подведению итогов 2013 г. А.М. Зубков, А.А. Серов. Простое доказательство универсальных неравенств для ...
МЦМУ МИАН
MATLAB 01 Начало работы
Тренинг "MATLAB для профессионалов" https://exponenta.ru/MLBE Приобрести MATLAB https://exponenta.ru/matlab Базовые функции MATLAB, ...
MATLABinRussia
Евгений Горский -- Алгебра Карлссона-Меллита (лекция №4)
Недавно Эрик Карлссон и Антон Меллит ввели новую интересную алгебру и доказали с ее помощью так называемую “Шаффл-гипотезу” Хаглунда, ...
Mathematics at HSE
В.А. Садовничий. Теория следов операторов
26.04.2007 16:00 Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова РАН: В.А. Садовничий, ...
МЦМУ МИАН
В.С. Анашин. Неархимедов анализ, компьютеры и криптография
17.11.2005 16:00 Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова РАН: В.С. Анашин, ...
МЦМУ МИАН
Лекция первая по математической статистике
Лектор — доц. И.В. Родионов 0:00 - Введение 22:17 - Вероятностно-статистическая модель 36:00 - Построение модели 41:00 - Выборка, бесконечная ...
Лекторий ФПМИ
Виталий Брагилевский — Монады - не приговор
Виталий Брагилевский на митапе Tver.io Pure Meetup 25 июля. Слайды: http://tver.io/meetup/2019/07-pure-meetup/bragilevsky-monads.pdf.
TverIO
Lower Bounds for Unrestricted Boolean Circuits: Open Problems
Sasha Kulikov (St. Petersburg Department of Steklov Institute of Mathematics) https://simons.berkeley.edu/talks/tbd-12 Boolean Devices.
Simons Institute
Автоматизированная генерация спецификаций квантовых цепей на основе полиномов Рида-Маллера
http://0x1.tv/20191115DC Автоматизированная генерация спецификаций квантовых цепей на основе полиномов Рида-Маллера (Виталий Калмычков, ...
Stas Fomin
В.Ж. Сакбаев. Случайные операторы и квантовая механика
Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук 21 ноября 2019 г ...
МЦМУ МИАН
[Коллоквиум]: Семантические технологии: новая жизнь для математической логики
Докладчики: Михаил Захарьящев, НИУ ВШЭ / Birkbeck, University of London Станислав Кикоть, ИППИ РАН / Birkbeck, University of London Общая цель ...
ФКН ВШЭ
Кузнецов С. Л. - Математическая логика - Арифметика Пеано
0:00:17 1. Арифметика Пеано 0:32:25 2. Определение функции, доказуемо-тотальные функции 0:39:14 3. Теорема Гёделя 0:52:56 4. Теорема: Всякая ...
teach-in
Выразительная сила типов высшего порядка и недетерминизма
Хорошо известно, различные особенности функциональных языков программирования, такие как наличие функций высшего или только первого ...
JetBrains Research Rus
Виталий Брагилевский — JavaScript на службе у теоретической информатики
Ближайшая конференция — HolyJS 2020 Moscow 25-28 ноября, Online Подробности и билеты: https://holyjs-moscow.ru/ . При изучении теоретической ...
HolyJS
Задачный подход к искусственному интеллекту
Сравнительный анализ подходов, cемантическое моделирование и его математические основы Спикер: Свириденко Дмитрий Иванович Доктор ...
Точка кипения Медиацентр
Математическая логика. Лекция 2
Теория предикатов первого порядка. Формализация высказываний в логике предикатов. Лектор - Татьяна Таран. Образование для всех.
Образование для всех
Кузнецов С.Л. Coq: построение и проверка математических доказательств на компьютере (22.04.2020)
В докладе дается обзор системы Coq — средства для полуавтоматического построения и автоматической проверки доказательств на компьютере.
Кафедра матем. логики
Аппроксимативные свойства некоторых методов суммирования рядов и интегралов Фурье. Котова Ольга
Аппроксимативные свойства некоторых методов суммирования рядов и интегралов Фурье. Котова Ольга Викторовна Научный руководитель: доктор ...
TVREPORT.org
В.Н. Чубариков. Простые числа, дзета-функция Римана и тригонометрические суммы
16.06.2011 16:00 Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова РАН: В.Н. Чубариков, ...
МЦМУ МИАН
Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление...
Лекционные курсы Научно-образовательного центра МИАН Вычислительная теория доказательств и лямбда-исчисление. Лекция 1. Л.Д. Беклемишев ...
МЦМУ МИАН
Лекция вторая. Теория представлений
Лектор - Ильинский Дмитрий Геннадиевич, преподаватель кафедры дискретной математики МФТИ.
Лекторий ФПМИ
А.А. Муравлёв. Марковское представление для фрактального броуновского движения
Научная сессия МИАН, посвященная подведению итогов 2013 г. А.А. Муравлёв. Марковское представление для фрактального броуновского движения ...
МЦМУ МИАН
[Коллоквиум]: Расширение well-designed SPARQL
Докладчик: Егор Костылев, University of Oxford SPARQL — это стандартный язык запросов для RDF-данных. Одной из важнейших особенностей этого ...
ФКН ВШЭ
А.В. Зотов. Спектральные дуальности в интегрируемых системах
Научная сессия МИАН, посвященная подведению итогов 2013 г. А.В. Зотов. Спектральные дуальности в интегрируемых системах 20 ноября 2013 г, ...
МЦМУ МИАН
Информатика - 19.05.2020
Саяно-Шушенский филиал СФУ
Соответствия Галуа | Сергей Кузнецов | Лекториум
Соответствия Галуа для представления и обработки зависимостей в базах данных | Конференция: Машинное обучение и анализ алгоритмов | Лектор: ...
Лекториум
9 3 Парадокс Банаха - Тарского
Теорему Банаха - Тарского называют парадоксом, поскольку она феноменально противоречит интуиции. Теорема утверждает, что сферу можно ...
Vi Opoytsev
Лекция 2 | Аменабельные группы и парадокс Банаха-Тарского | М. Вербицкий | Лекториум
Лекция 2 | Курс: Аналитические, вероятностные и алгебраические методы в математической физике | Лектор: М. Вербицкий | Организатор: ...
Лекториум
И. А. Тайманов. Магнитные геодезические потоки: задачи интегрирования и квантования
Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук 18 июня 2020 г.
МЦМУ МИАН
Лекция 3 | Квантовые алгоритмы: возможности и ограничения | Лекториум
Лекция 3 | Курс: Квантовые алгоритмы: возможности и ограничения | Лектор: Михаил Вялый | Организатор: Computer Science клуб при ПОМИ РАН ...
Лекториум
Обзорный курс по теоретической информатике, лекция 3 | Computer Science Club
Курс "Обзорный курс по теоретической информатике" в CS клубе. Лектор: Д.М. Ицыксон (ПОМИ РАН) Подробнее о курсе: ...
St. Petersburg Computer Science Club
012. Криптография, шифрование (часть 1) - Владимир Иванов
Краткое введение в криптографическую теорию: симметричные и асимметричные алгоритмы шифрования, хеш-функции, алгоритмы выработки ...
Системное администрирование, безопасность, сети
001.Модель скоринга заказов и ее применение – Евгений Гапон
Академия Яндекса
Кредитный скоринг на Python разбор задачи с ML Boot Camp, часть 1 подготовка данных
Айрат Галямов
Смешанная задача на отрезке. Метод Фурье
На данный момент ведётся работа над созданием конспектов по проведённым консультациям. Все уже созданные конспекты можно найти по ссылкам: ...
mathbotan
Обзор систем скоринга и андеррайтинга для МФО 2017
Мой facebook - http://bit.ly/2jCrvhQ Мой vk - http://bit.ly/2m7SG4D.
Finansist Su
[secsem][seccourse] Глава 1. Криптография. Введение
Видео в оригинальном разрешении: http://esyr.name/video/security/security_11_09_27.raw.ogv http://esyr.name/video/security/security_11_09_27.raw.webm ...
evgSyr
Логика для чайников
Описание механизмов логики Аристотеля простыми словами. В изображении использованы круги Эйлера.
Pavel Tavankov
Математически обоснованое программирование. Лекция 4. Введение в теорию категорий
The lecture was read by Sergii Grechko (https://www.linkedin.com/in/sergii-grechko-590b06148) If you want to join lectures or fellowship - our channel in ...
cSharp.Company