ツダ
Сильно хочу
Size: a a a
2021 November 10
s
Хм. Надо написать методичку по формальным доказательствам.
ツダ
Также сильно хочу понять английский язык
ツダ
Попробую обратиться в универ за помощью к учителям английского языка
s
Я знаком с Lean и Isabelle, а @hacklex мог бы добавить что-то про F*.
a
Раз проинтерпретировал правильно — очень может быть, что укладывается.
ツダ
У меня сомнения все равно есть, ибо я не знаю как справляться с этой интерпретацией для решения упражнений по теории пределов
ツダ
Хочу изучить программирование и теорию алгоритмов
ツダ
Изучить линукс
a
Ну а может это, нафиг пределы тогда?
ツダ
Мне нужно численно решать систему нелинейных диффуров в частных производных в дипломе. Мне нужно знать функан
ツダ
Чтобы знать функан, нужно знать матан и алгебру
ツダ
Должен вывести расчетную схему, которая гарантированно даст устойчивое и сходящееся численное решение, после запрограммировать схему для получения и анализа результатов
ツダ
Пользуюсь убунту и библиотеками для вычислений Numpy, Scipy и Sympy и для построения графиков Matplotlib на питоне
ツダ
Пользуюсь ноутбуками jupyter на питоне в jupyter lab
ツダ
Сейчас меня интересуют языки си, фортран и питон и система линукс
ツダ
Хочу быть грамотным
ツダ
Хочу понимать всё
ツダ
Но я безуспешен
BV
я бы сказал что ты больше языком тут мелешь чем решаешь хотя бы свои проблемы