[Допсем] Матлогика 2. Пропозициональные формулы
Дата: 23 сентября 2023
Преподаватель: Калинин Иван
Видео [Допсем] Матлогика 2. Пропозициональные формулы канала Лекторий ФПМИ
Преподаватель: Калинин Иван
Видео [Допсем] Матлогика 2. Пропозициональные формулы канала Лекторий ФПМИ
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Математическая логика и теория алгоритмов 10. Универсальные вычислимые функции
Теория групп 11. Конечно порождённые абелевы группы
Случайные процессы 6 Свойства корреляционной функции стационарных процессов
Транспортные потоки. Лекция 4. Гасников А.В.
Аналитическая механика 15. Нормальные формы и периодические решения.
Многомерный анализ, интегралы и ряды 14. Признаки Дирихле и Абеля
ТФСиА 15. Теоремы Тарского и Гёделя.
Теория колец и полей 3. Евклидовы кольца
Функциональный анализ 7. Предкомпактные множества. Линейные нормированные пространства
ТФКП 15. Регулярные ветви многозначных функций.
ОКТЧ 22. Диофантовы приближения. Цепные дроби
Concurrecy(семинар) 5. Трамплины. Fault injection. Mutex на 3-х состояниях.
Алгоритмы (базовый поток) 13. Потоки-2
C++ 7. Виртуальные таблицы и Шаблоны
Введение в машинное обучение - семинары, SVM, PCA. (4 курс, осень 2022)
Введение в математический анализ 3 (1 курс, осень 2022) Предел последовательности
Презентация кафедры вычислительных технологий и моделирования в геофизике и биоматематике (ИВМ РАН)
Гармонический анализ 10. L2-теория рядов Фурье
ТПиАК 10. Процессы в операционных системах
Случайные процессы 4. Винеровские и пуассоновские процессы
Дискретный анализ 5. Жадные алгоритмы раскраски графов