00:08 Общие сведения о курсе
04:24 Основные понятия теории множеств
15:35 Парадокс Рассела
17:26 Разрешение парадокса Рассела
19:11 Транзитивность
20:02 Пустые множества
24:36 Операции над множествами
32:01 Законы Де-Моргана
33:45 А как доказать?
42:45 Упорядоченные пары
45:10 Определение Куратовского для упорядоченной пары
50:39 Кортежи
54:18 Альтернативное определение пары
55:38 Декартово произведение
56:35 Декартова степень
1:02:15 Конкатенация кортежей
1:06:50 Свойства декартовой степени
Лектор: Мусатов Д.В.
Дата лекции: 06.09.2019
Снимала: Шкатова Мария
Монтировал: Старцев Дмитрий
. Ближайшая конференция — DotNext 2020 Piter
15-18 июня, Online
Подробности и билеты: bit.ly/dotnext2020piter
. Настоящий хардкор от техлида в Rider и главный по многопоточности во всем JetBrains.
В докладе речь пойдет об алгоритмах, стоящих за коллекциями в System.Collections.Concurrent. Пошагово, с примерами объясним сложные алгоритмы. Также рассмотрим дизайн API многопоточной коллекции. Ознакомимся с теорией неблокирующей синхронизации.
Важно: для понимания доклада необходимо знать основы параллельного программирования, включая Monitors, Semaphores, read-write locks, атомарные операции (Interlocked) и т.д.
Инструменты Chrome DevTools очень полезны для веб-разработчика. В этом видео мы поговорим о том, чем именно вам помогут эти инструменты, посмотрим на основные возможности веб-инспектора и консоли разработчика.
00:00 Обзор Chrome DevTools
03:10 Elements. Работа с DOM и стилями.
05:49 Network. Анализ загрузки страницы.
09:39 Console. Примеры работы основных методов консоли.
13:46 Source. Файловая структура проекта.
14:56 Timeline.
15:28 Profiles. Анализ нагрузки на устройство.
16:13 Aplication. Обзор доступных хранилищ.
16:43 Security. Безопасность подключения.
16:51 Audits. Аудит страницы на ошибки, советы к оптимизации.
Модель Open Systems Interconnection (OSI) – это скелет, фундамент и база всех сетевых сущностей. Модель определяет сетевые протоколы, распределяя их на 7 логических уровней.
00:00 — Опивание курса по Компьютерным сетям
00:52 — Почему сложно изучать компьютерные сети
02:05 — Эффективный подход к изучению компьютерных сетей
03:42 — Возможные проблемы при изучении курса
04:25 — Ожидаемые результаты курса
05:03 — Практические занятия по курсу
Курс по компьютерным сетям начального уровня.
Цель курса: кратко рассказать об основных понятиях компьютерных сетей.
Целевая аудитория: программисты, начинающие системные и сетевые администраторы, а также все, кто интересуется компьютерными сетями.
Лекции рекомендуется смотреть последовательно, как они расположены в плейлисте. В каждой лекции вводятся новые понятия, которые используют материал предыдущих лекций.
Результат освоения курса: способность самостоятельно разбираться с материалами по компьютерным сетям: книгами, курсами и статьями в интернет.
Рекомендуемая литература:
1. Э.Таненбаум, Д.Уэзеролл. Компьютерные сети.
2. В. Г. Олифер, Н. А. Олифер. Компьютерные сети. Принципы, технологии, протоколы.
17 декабря в 20:00 по МСК поговорим о применении функционального программирования и Haskell. В гостях Александр Вершилов, ведущий разработчик в проекте Сириус.Курсы, кандидат физико-математических наук.
Мы поговорим о том, как конкретизировать применение ФП так, чтобы было интересно и полезно, о применении Haskell и ответим на вопросы слушателей.
Вопросы к спикеру и обсуждение — в slack-комьюнити Хекслета в канале generalю
курс: Информатика. Алгоритмы и структуры данных на Python 3.
прочитана 12.09.2017
лектор: Хирьянов Тимофей Фёдорович
Темы, рассмотренные на лекции №2:
— Основы алгебры логики.
— Таблицы истинности и логически законы.
— Дизъюнктивная нормальная форма.
— Тип данных bool. Константы True, False. Логические операции в Python.
— Проверка последовательности на наличие числа x==0.
— Проверка последовательности на то, что все числа делятся на 10.
— Последовательные и вложенные условные инструкции.
— Каскадные условные инструкции, оператор elif.
