Oℕ
тру ебанатика
Size: a a a
2020 May 01
Oℕ
так, что ты доказываешь. Теорему Риса или следствие?
λ
я доказываю следующее утверждение, что если изъять из континууального множества счётное кол-во точек, то все эти разрывы будут утсранимы
λ
для этого я просто говорю, что нельзя найти такие две точки (и изъять их) между которыми не было бы других точек
Oℕ
То, что ты доказываешь, не относится к обсуждаемым утверждениям
λ
а может быть.. я просто на это отвечал
Oℕ
а может быть.. я просто на это отвечал
Ограниченной вариации
Oℕ
А вот теоркат
Oℕ
Теоркат - это логический фреймворк для изучения фреймворков
Oℕ
Прикладной Теоркат - фреймворк для построения фреймворков
R
кто добавил етсетственное преобразование в скала 6
Oℕ
Так же как, чтобы написать приложение на жаве ты можешь пользоваться спрингом, а можешь не пользоваться, а можешь только на полшишки.
Чтобы написать либу, ты можешь использовать теоркатные построения для ядра библиотеки, для отдельных конструкций, или вообще без них обойтись
Чтобы написать либу, ты можешь использовать теоркатные построения для ядра библиотеки, для отдельных конструкций, или вообще без них обойтись
Oℕ
Бесполезно спрашивать теорию на собесе