Teoria da Computação 41 - Máquinas de Turing, Linguagens Recursivas e Recursivamente Enumeráveis

Teoria da Computação 1 - Introdução a TOC e AFD's - Autômatos Finitos Determinísticos

Compiladores 3 - Gramáticas ambíguas e como remover ambiguidade de gramáticas

Tristes Trópicos - A Jornada

MÁQUINAS DE TURING e o Problema da Parada

Introdução a máquinas de Turing

Как повторить любой кадр из кино: Лекция Олега Хорошавина

Compiladores 4 - Eliminação de recursão a esquerda e fatoração a esquerda de gramáticas - exemplos.

Как работала машина "Энигма"?

МФТИ — как учат ГЕНИЕВ? Полнометражный фильм

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман

Теория приближений — Алексей Савватеев / ПостНаука

Основные теоремы в теории игр — Алексей Савватеев на ПостНауке

Визуализация всех возможных пифагоровых троек [3Blue1Brown]

O Computador de Turing e Von Neumann | Por que calculadoras não são computadores?

Теорема Байеса, геометрия изменения убеждений

«Эффект Цекало»: как создать «русский Netflix», но остаться в тени? | Портреты

Запомните! Все болезни из за ЗАСТОЕВ в лимфе! Как разогнать лимфу? 5 убийц вашей лимфы. Е. Козлов

ДНК создал Бог? Самые свежие научные данные о строении. Как работает информация для жизни организмов

физтех отжигает на псевдонаучке ФизФака МГУ Full HD

Но что такое нейронная сеть? | Глава 1. Глубокое обучение