Alexander
лекции с постами очень близко шли
Alexander
но я не знаю ТК
Alexander
т.е. есть какая-то интуиция, но я не знаю как нормально проверить что прав или нет
Anonymous
не сказал бы что "очень"
Anonymous
по моему опыту примеры намного сильнее в постах
Aliester
стоит изучать SICP?
Alexander
когда в книжках читаешь задачи, я не могу убедить себя правильно или нет я доказал
Leonid 🦇
@acrawley там особо нечего изучать, это же введение
Leonid 🦇
но вообще норм
Aliester
просто я тут оканчиваю ВУЗ как информатик и понимаю что в общем мои знания или практика без крепкой теории, или теория без вменяемой практики
Aliester
до того чтобы называть себя инженером еще расти и расти, но чтобы расти нужно видеть путь которым идешь и знать что изучать
Vladislav
Хаскель уже изучил?
Anonymous
sicp это первый курс
Aliester
пока учу ОС, сети и алгоритмы с соответсвующей математикой, но Хаскель уже на подходе
sherzod
соответсвтующая математика это O оценка?
Aliester
это статистика, дискретная математика, линейная алгебра
sherzod
аа понял
sherzod
кстати, подскажите, может кто знает, есть ли здесь сообщества по математике?
Aliester
потому что открываешь такой Introduction to Algorithms а там полстраницы уравнений, которые смутно напоминают то что ты учил на первом курсе, но вспомнить суть изученного уже сложно
Евгений
кстати, подскажите, может кто знает, есть ли здесь сообщества по математике?
Есть чат по теории категории, который ждёт пока в него набегут и он станет популярным
sherzod
можно ссылку?
Евгений
https://t.me/ru_catheory
Aliester
Aliester
Обложка мне уже нравится
Евгений
😆
Aliester
теория категорий может привести к падение метеорита и смерти всего нашего вида?
Maxim
Maxim
а почему не почитать "теорию категорий для программиста"?
Maxim
у меня пдфка есть, могу скинуть, если хотите
Maxim
там побольше глав
Aliester
в личку плз
Anonymous
https://github.com/hmemcpy/milewski-ctfp-pdf/releases/download/v0.4.1/category-theory-for-programmers.pdf
Aliester
Aliester
еще лучше
adam
Anonymous
unironically хорошее
Aliester
я думал что теория категорий это высшая математика, а эти иллюстрации напоминают демонологию
Anonymous
> высшая > математика
Евгений
Там в чатике есть в закреплённых
Влод
кстати кто-нибудь может примерно сказать что такое высшая математика?
просто сложилось впечатление что так называют матан (тоже не особо ясный термин) на экономических факультетах
Aliester
Высшая математика включает обычно аналитическую геометрию, элементы высшей и линейной алгебры, дифференциальное и интегральное исчисления, дифференциальные уравнения, теорию множеств, теорию вероятностей и элементы математической статистики.
Влод
хм, ну есть пересечение с тем что у нас матаном называлось
Влод
видимо просто рандом
Aliester
вышматом традиционно называют все из математики что учат в университете
Влод
причём множества рассказывали на дискретной. это была отдельная дисциплина. ну различие прослеживалось: в матане преймущественно про непрерывные функции рассказывали
Евгений
Вышматом называют математику, изучаемую в высшей школе. Ваш КО
parket
Нам на дискретке булеву алгебру давали :/
Антон
О, а тут Брагилевский. Ожидаемо, но всё равно внезапно
Aliester
последним из дискретки я помню краткое введение в криптографию
Антон
Хотя бы до СКНФ/СДНФ доходили?
Влод
Нам на дискретке булеву алгебру давали :/
ну да было такое. на самом деле оно дало некоторую интуицию над теоркатовскими тайпклассами. ну там конечно их не было.
были всякие решётки, свойства эквивалентности, но они как бы были отрешены от какой-либо предметной области и ты оставался наедине с этим вопросом - зачем оно. зачем давать свойства и не использовать их
parket
ну да было такое. на самом деле оно дало некоторую интуицию над теоркатовскими тайпклассами. ну там конечно их не было.
были всякие решётки, свойства эквивалентности, но они как бы были отрешены от какой-либо предметной области и ты оставался наедине с этим вопросом - зачем оно. зачем давать свойства и не использовать их
Именно. Нам это давали применительно к цифровой электронике, скорее. 2И-НЕ, карты Карно, вот это всё...
Aliester
меня в свое время позабавило как нас заставляли умножать матрицы на листочке
Aliester
и ставили за это оценки
parket
меня в свое время позабавило как нас заставляли умножать матрицы на листочке
Тю, ну а что такого? Все так делали. И миноры считали, тож на листочке
Влод
так и дифуры на листочке решали
Aliester
не люблю работать вычислитилем, у меня плохо получается держать в уме десятки чисел за раз
parket
не люблю работать вычислитилем, у меня плохо получается держать в уме десятки чисел за раз
А листочек тебе зачем? 😂
Влод
это как бы на самом деле помогает. то есть я будучи недостаточно усердным не мог усвоить ничего кроме того что на практике закрепляли (практика это когда задачки порешал)
Aliester
дифуры и матан ладно - я хотя бы могу работать построчно и вычислять то что нужно, а тут в глазах от чисел рябит и гнетет невыносимая бессмысленность происходящего
parket
это как бы на самом деле помогает. то есть я будучи недостаточно усердным не мог усвоить ничего кроме того что на практике закрепляли (практика это когда задачки порешал)
У меня наоборот. Теорию послушал, и хватит
Влод
ну ладно с матрицами нудно на самом деле было
Aliester
так что дальше я просто получал на руки методы решения задач и автоматизировал то что можно было внятно автоматизировать через какие-никакие численные методы
Влод
не ну численные методы это читы
Aliester
потом подходил к преподам, показывал что накодил, почему оно работает, давал потестить и они как правило ставили зачет или допуск
Alexander
числа не нужны
Aliester
а что нужно?
Alexander
вроде ж нигде кроме линейной алгебры и т.п. тонн чисел не возникает
Anonymous
в работе с текстом
Anonymous
ыы
Alexander
а везде функции и буковы всякие
Alexander
где ты руками с текстом работаешь?
Влод
ну да. ну там интегралы на заданном промежутке
хотя всё равно можно выдать с буквами задание
Alexander
ну я не знаю за всё время обучения в универе много цифр было в очень редких предметах, которые были на первых курсах
Антон
Тю, ну а что такого? Все так делали. И миноры считали, тож на листочке
У нас препод учил находить собственные числа маленьких матриц методом пристального взгляда