Теория вычислимости Машины Тьюринга, разрешимость, сводимости Другие названия: Вычислимость и разрешимость 1 запись лекций, около 13 часов Записи лекций Лекториум — Вычислимость и логика, 11 лекций Что нужно знать заранее Математическая логика Область знаний Логика Информатика Карта знаний