1. Как со школьной математикой? Есть задачник за авторством Сканави - если не сможешь решить из каждой темы 90% примеров - читай школьный учебник. Затем переходи к п.2
2. Из вузовского - часто связано с предметной областью. Пишешь программы под VR - грызть топологию и алгебру. Программные вычисления - матан и численные методы.
Из общего - обязательно придется освоить "Исскуство программирования" Дональда Кнута.

Проиграл с пика

>>839308
>Кнута
А у него не треснет?

>>839474
Ну для взрослых же просили, нет?

>>839306 (OP)
> Посоветуйте учебник для взрослого человека дабы достаточно быстро нарастить математическую базу.
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20II.pdf
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf

>>839308
Зачем если есть Кормен, для которого не надо учить выдуманный ассемблер? А дял Кормена много математики не нужно, все основы есть в самой книге.

подозрительный форс матаноблядей, хм...
>>839306 (OP)
>проблемы со сложными вычислениями
нука приведи примерчик

>>839308
Этот троллит по всем пунктам, неумело и толсто.
Основа сложных вычислений в программировании лежит в алгоритмах и структурах данных - все это есть в Кормене, там же есть вся необходимая для этого дела математика. Причем структуры данных с сопутствующими им алгоритмам знать и понимать обязательно, так как они используются повсеместно. А всякие специфические алгоритмы можно осваивать по мере необходимости.

>>839505
Двачую. Без понимания доказательства abc-теоремы невозможно достаточно быстро нарастить математическую базу.

>>839549
>Кормене
твой кормен для теоретических питухов, для ппактиков он нахуй нинужен

>>839553
>Без понимания доказательства abc-теоремы невозможно достаточно быстро нарастить математическую базу
толстиш

>>839558
А что нужно для практиков?

>>839559
Вдруг ОП сможет верифицировать доказательство, которое не понимает современное математическое сообщество?

>>839560
> для практиков
практика жеж. начни с хэлоуворда, потом сделай себе няшу-чатбота, затем прикрути ей распознование звука и кофеварку. короче реализуй свои идеи.

>>839563
Не факт, что ты сможешь сделать это оптимально, или так, как изначально задумывал.

>>839561
>не понимает современное математическое сообщество
а это сообшество вообще что нибудь из реального мира понимает? ебутся только со своими апельсинами в пятимерном пространстве.

>>839566
>что ты сможешь сделать это оптимально
ты глупенький? как ты мне докажешь, что это не оптимально? лол. своими маняфантазиями про большое О?

>>839567
Глупо измерять полезность и нужность науки по тем результатам, которые она дает здесь и сейчас.

>>839568
Я не докажу тебе, что это САМОЕ оптимальное решение, но я смогу доказать тебе, что есть решение более оптимальное, которое, возможно, лучше соответствует решению задачи.

>>839569
ты матаноблядство к науке то не примазывай.

>>839571
лол, мне нужно решение, а не доказательство того, что где то есть лучшее. ферштейн?

>>839572
Но ведь это язык описания природы, которым пользуется вся естественная наука.

>>839573
Теперь я тебя понял. В принципе, подход верный, если говорить о продакшне.

>>839575
значит ты мне без проблем опишешь человеческий интеллект, какими структурами он оперирует, как он работает, что такое жизнь, почему делятся клетки и происходят некие события. давай

>>839577
>если говорить о продакшне
а о кукаретике? ты школотрон чтоли?

>>839579
Описал тебе за щеку.
При чем тут то, что сами естественные науки еще не постигли?

>>839597
ваот и уебуй от сюда матаноблядь в /b

>>839560

помнить наизусть несколько тысяч разных методов, понимать минимум пару сотен паттернов, уметь в оо и функциональную парадигму. Возможно, хотя бы поверхностно знать еще пару языков программирования или ссаных диалектов (т.е. синтаксического сахара типа coffeescript)

>>839644
То есть ты думаешь, что можно удерживать столько информации и качественно осуществлять композицию, то есть быть хорошим программистом, в голове, не понимая математические абстракции и ограничиваясь тупым зазубреванием паттернов и фреймворков?

И как ты будешь "уметь" в функциональную парадигму без хорошей математической базы?

>>839619
Пиздец какой-то. Ты как здесь оказался?

>>839649
> То есть ты думаешь, что можно
можно.

> И как ты будешь "уметь" в функциональную парадигму без хорошей математической базы?

Буду как рыба в воде плать в определениях используемых в среде программирования заданных для данной парадигмы и являющихся проекцией математической базы. При этом раз в сто лет спускаясь до самой базы, чтобы запилить какую-то редкую фичу, или же уточнить знания для формулирования правильного вопроса в гугл.

Математическа база нахуй не нужна примерно 99% времени. Математика как вторичный навык развивающий абстрактное мышление, может быть полезен в программировании, а может и не быть.

>>839660
Это называется - не видеть леса за деревьями.

>>839661

нет, это естественный путь обучения. Вот это выражение, применительно к математике

> быть хорошим программистом, в голове, не понимая математические абстракции и ограничиваясь тупым зазубреванием паттернов и фреймворков

можно перефразировать так, что нельзя стать хорошим математиком зубря топологию, дискертку и т.п. штуки Только очевидно что это неправда, сначала ты учишь простые вещи, и с опытом и углублением знаний приходит умение осуществлять композицию. Это работает как в программировании, так и в математике.

Тезис в том, что хорошая математическая база в программировании тебе нахуй не нужна 99% времени, а вот вторичный навык в виде абстрактного мышления, что дает эта база полезен, да. Только его можно развить и другими путями, например через решение сложных (для тебя) задач связанных с программированием.

>>839664
Ну звучит разумно, согласен, но если даже посмотреть на теорию алгоритмов, это же суть математика и структуры данных тоже суть математика, я про то, что для более глубокого понимания стоит таки познакомиться с первоисточником, а математику по аналогии стоит ознакомиться с философией, из которой проистекали многие математические идеи. НУ а философу с религиями.

>>839673
Ну

fixed

>>839664
>>839673
>опологию, дискертку
>теорию алгоритмов
>опологию, дискертку
уебуйте в /b со своей парашей

>>839306 (OP)
http://interneturok.ru/
По этому сайту я учусь математики, по видео уроках охуено объясняют так что даже тупая макака поймет. Любая математическая литература по сравнению с этим сайтом это непонятная поебота.

>>839700
>алгоритмы
>дискретка
>темы белых людей

олимпиадный опущь совсем охуел
олсо, хули ты делаешь в этом разделе, клован? это доска про программирование, а не про рандомных ноулайферов, которым нечем заняться, но мозгов хватает только на задраивание всяких этюдов-хуюдов, ха ха, пиздуй нахуй аутист гнилозубый

>>839724
какое отношение твой картофан имеет отношение как математике?

>>839727
define картофан , на петушином не говорю.

>>839700
>тут обсуждают темы белых людей
белый человек, приведет примеры где математика сдвинула прогресс человечества хоть на миллиметр?
>М.В. Ломоносов
михалыча не трожь, математика 18 века это не та параша в кторую ее скатили и продолжают скатывать последователи.

>>839737
Математика и не обязаны двигать прогресс, это наука о выявлении взаимосвязей на самом высшем уровне, о нахождении новых слоев реальности, чистейшая из наук, не замутненная земной суетой и при этом поставляющая идеи и инструменты всем остальным наукам.

>>839742
ясно, примите галоперидольчика

>>839731
пошел нахуй, нюфак ёбаный

>>839737
пошёл нахуй, утилитарист картофан ёбаный

>>839737
Шифрование в твоем браузере. Кодирование и сжатие информации для передачи (теория чисел, абстрактная алгебра) - чистейшая математика.

>>839768
ясно, уебуй в /b

>>839771
А по делу есть что возразить, пес?

курс дифференциального и интегрального исчисления Фихтенгольца

>>839896
Лол, картофан совсем охуел.
> это дискретка ("Алгоритмы" Кормена, вот это все).
Этот кал нахуй ненужен вообще-то. Ты или олимпиадный опущь, или байтодятел какой-то, или просто студентик с фантазиями, это объяснило бы полное непонимание тобой, что нужно в повседневном программировании. Настоящее программирование это прикладная алгебра, логика и теория категорий. Операторный дрочь значками можешь в жопу себе засунуть, процедурный деградант.

>>839901
логика - раздел дискретки.

>Теория категорий
>прикладная алгебра
>повседневное программирование

Прокисший борщ съел ?

>>839901
В шаде и mit тоже картофан да?)

http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/


chrome-extension://oemmndcbldboiebfnladdacbdfmadadm/https://cache-mskm901.cdn.yandex.net/download.cdn.yandex.net/shad/program.pdf

>>839901
Давай примеры прикладных задач, где нужна твоя ебаная алгебра и теория катягорий, петухандрий.

Какие же дауны тут сидят

>>839924
Там это говно тоже нахуй не упало.

>>839924

>примеры прикладных задач

Давай поконкретней, вот есть задача, как в ее решении поможет теория категорий, и в чем именно поможет. И про алгебру тоже. Давай ссылки на статьи, книги, ты же понимаешь, что сам под себя серишь и что твоя алгебра с манятеорией катагорий нужно только математикам (очень узкому кругу) и парочке борщехлебов, которые пытаются примазаться к математикам.

>>839918
А в говняшной нет дискретной математики, тем не менее олимпиадные опущи говорят что её нужно учить. Теоркат нужен для овладения майндсетом из которого все ФП языки с системой типов черпали свои идеи. В основе ТК лежит суперпозиция функций, ну так блять и программирование это сплошная суперпозиция функций.

>>839929
Вся информатика построена на дискретной математике, любые структуры данных, алгоритмы, скажи, что ты тралишь, серьезно, нельзя быть настолько тупым. Посмотри чему учат в топовых вузах на факах comuter science и не позорься уже.

>>839926
Да, там уже есть такой-то abstractsingletonproxyfactorybean. Просто пройди под шконарь, дубинушка.

>>839927
Хули мне тебе светить, простак? Сходу видно что ты говнарь, любитель синтетических задачек на скорость и вообще разделом ошибся, так как эта доска про программирование, а не про аутистов с их манясортировками от нехуй делать.

> Давай ссылки на статьи, книги
Охуеть, а что тебе ещё сделать? Может просто в твоё предвзятое ебало поссать, чепуш? Если тема интересует - сам с ней разбирайся, литературы в сети навалом, на этом форуме с картинками тебе никто ничего не должен.

>>839930
Там учат хуете для самых маленьких. Перекладывать кирпичики и оперировать значками. Когда такой вот штудентик заежает в настоящую разработку - закономерно обсирается, потому что все манясортировки которые он учил оказываются уже в готовых либах, а задачи решать нужно совершенно другие. Например, писать легко модифицируемый и расширяемый код, поддерживать старый, хуярить абстракции, композиции, обощённые блять библиотеки, только вот этому нихуя не учили, учили дрочить указатели и графы обходить на синтетических задачках.

>>839933
Ясно, слился.

>>839306 (OP)
Если ты собрался на джаве писать для телефона приложения или на сишарпе писать сайты то тебе не нужна математика. Если ты будешь писать на низком уровне для процессоров, расчитывать алгоритмы может там тебе где-то, что-то один раз пригодится. Я не думаю что ты там собрался быть невротъебенным программистом который разрабатывает новые архитектуры, или рассчитывает межпланетные полеты.

>>839936
>>839933

То есть по делу ничего не будет? Ясно. Люблю такие дискуссии, читать чье-то субъективное мнение, подкрепленное маняфантазиями - это бесценно.

>>839936
Хорошо посмотри чем вообще занимается теоретическая информатика

https://en.wikipedia.org/wiki/Theoretical_computer_science

Посмотри их чего состоит теория информатики и узри, что теория категорий - это малюсенький кусочек, который в реальных задачах не применим и которая интересна только исключительно в академических целях.

И ведь ты даже не математик, и не программист, просто клоун, который выучил 10 слов, нахуй короче иди.

>>839929
>В основе ТК лежит суперпозиция функций, ну так блять и программирование это сплошная суперпозиция функций.
Тогда уж MLTT, а не эта ебулда без задач со стрелочками.

матаноблядям нассали в ротешник, найс

>>840212
зачем ты покрасил ногти черным лаком? поехавшая матаноблядь.

>>839306 (OP)
ru.khanacademy.org

Хера се вы тут устроили... Съездил на пару дней на страйкбол. Вернулся а в треде всю мебель переломали и в углу насрали.

>2016
>матан

>>839946
>базар за софтваре инженигринг
>приносит теор. комп сцанс
Так мы про программирование говорим, или про CS, ты определись уже. Но даже если так, где там твои маняалгоритмики, дебил? Алгоритмы, автоматы, теория вычислений, и та напополам с функаном, на этом всё.
А так берём первые попавшиеся под руку:
Distributed computation, (туда же сoncurrent) - абстрактные модели, в основном logic-based. Pi-calculi, CCS, CSP, Actor Model, темпоральная логика, алгебра Клини, и т.д.
Parallel computation - абстрактные модели, почти все logic-based. Process algebras: ambient calculus, PEPA, fusion calculus, join-calculus. Всё построено на логике и универсальной алгебре.
Cryptography - теория групп, теория чисел, универсальная алгебра.
Symbolic computation - алгебра, теория групп, логика.
Formal methods - ТК, логика, когомологии.
Data structures - смотря что именно рассматривать. Если всякое лоулевел петушение, то да, вполне говнарское направление для олимпиадного быдла с дискреточкой. Если что-то более абстрактное: теории типов, ТК, абстрактные мат. модели.
Quantum computation - первый (и последний) вменяемая язык для квантового программирования оказался Quipper, основанный на Haskell. Не спроста.

>>840353
https://en.wikipedia.org/wiki/Software_engineering

Найдешь тут упоминая об алгебре или теории типов, приходи или жду ссылки на статьи.

>>840378
>Software engineering -> Software design -> Abstraction->Abstract data type ->
на этом достаточно.

А вот эти матанопидоры как всегда примазались:
Algebraic structure -> Abstract algebra

>>839901
Толсто )))

>>839910
>логика - раздел дискретки.
Логика и основания математики это ведущий раздел первого уровня (03 по MSC), как он может быть разделом дискретки, еблан?

>>842890
Дискретная математика — часть математики, изучающая дискретные математические структуры, такие, как графы и утверждения в логике

>утверждения в логике

https://ru.wikipedia.org/wiki/%D0%94%D0%B8%D1%81%D0%BA%D1%80%D0%B5%D1%82%D0%BD%D0%B0%D1%8F_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0


>В широком смысле, дискретной математикой могут считаться охваченными значительные части алгебры, теории чисел, математической логики


Пошел на хуй.

>>842953
Проиграл с кругозора и математической культуры уровня мухосранского быдловуза, кафедры программирования на аякс.
Дискретка - это набор рецептов для даунов-быдлокодеров.

>>842953
Какой же ты даун, просто пиздец. Я прямо знал что ты попиздуешь на вики и принесёшь эту цитату, не понимая в чём суть. То что дискретка охватывает какой-то манюсенький раздел логики, это не значит что логика является разделом дискретки, дебик.

Ладно, ты же бот, который реагирует только на статьи с вики. Вот математическая предметная классификация: https://goo.gl/X51QFB
Как видишь, математическая логика и основания математики - самостоятельный раздел верхнего уровня. А где твоя дискретная математика? А нет её, потому что это нихуя не раздел, это просто набор говна для слесарей, как высшая математика в совковых инженерных ВУЗах.

Но даже если под разделом подразумевать специальность или учебную дисциплину, то даже в пидорашке матлогику четко отделяют от дискретной сцанины: https://goo.gl/Q5kp1o

>>843123
>Вот математическая предметная классификация
ебать, они даже это говно проклассифицировали... какая теперь из этой хуйнь царыца наук на которую вздарачивают прыщавые ботаны?

>>843125
>этот делирий слесаря
Иди проспись.

>>843128
слесарь хоть приносит пользу, в отличии от бездельников матаноблядей

кстати, какого хуя они биологию, информатику, геофизику себе приписали? охуели, пидоры.

>>843134
Двощую!
Запретить топологию!
Одумайтесь, пока ещё не поздно!
Хватит разбазаривать народные деньги! Мы - за узкую специализацию в образовании!
Завод! Троллейбус! Лекало! Таблица квадратных уравнений!!!

>>843141
http://ban-topology.livejournal.com/608.html?thread=8032

>>843141
>топологию
Гомеоморфность бублика очень важна для всего человечества, это же вам не рокетсайенс какой то.

>>843141
>Лекало! Таблица квадратных уравнений!!!
сейчас у тебя есть кампутеры и 97 различных видов математической хуиты, а толку то?

>>843141
Ну и как эта ваша топология повысит производство спичек и увеличит надои молока, м? То-то же.

Вся эта ваша логика, топология и хаскели - это то что происходит, когда в математику и кодинг вместо аутистов попадают клёвые ребята.
Поймите, и математика и кодинг - вещи чисто утилитарные, их цели - "надои молока" и прочее "производство спичек".
Оставьте это аутистам. Они должны обслуживать общество, а клёвые ребята должны жить в кайф.

>>843123

Хорошо, вижу, что ты не понимаешь, логика, утверждения в логики - это дискретные объекты, их можно посчитать они конечны, как , значит - это автоматически входит в дискретную математику. И вообще нет строгого определения, что такое дискретная математика, все понимают под этим просто разделы, изучающие конечные объекты, автоматы, графы и логика сюда тоже входет мамкин копротивленец.

>>843272
> утверждения в логики - это дискретные объекты, их можно посчитать

Ты еще скажи, что все логические утверждения в программировании либо истинны, либо ложны кек.

>>839306 (OP)
Вот тебе минимум:
1. Анализ до функциональных рядов включительно (любой вузовский учебник).
2. Алгебра до теории групп включительно (любой вузовский учебник).
3. Основы теорвера и статистики (любой вузовский учебник).
4. Основы комбинаторики (википедия и гугл).
5. Вычислительные методы (любой вузовский учебник).
6. Логика, основания математики и доказательства (Клини, "Введение в метаматематику")
6. Теория автоматов и языков ("Введение в теорию автоматов, языков и вычислений").
5. Теория вычислений более подробно, в т.ч. лямбда -исчисление и комбинаторная логика (Вольфенгаген, "Комбинаторная логика в программировании"; Барендрегт, "Лямбда-исчисление").
6. Теория типов ("Типы в языках программирования", "Programming in Martin-Löf's Type Theory").
7. Теория процессов.
8. Теория алгоритмов (тут без Кнута не обойтись, благо, изучив вышеперечисленное, ты без труда освоишь его "Искусство программирования"; также хорошо зайдет "Алгоритмы: построение и анализ" Кормена).
Для начала, думаю, хватит. Если будешь заниматься по 2 часа в будни и по 5-6 в выходные, за пару лет справишься.

>>839567
>а это сообшество вообще что нибудь из реального мира понимает? ебутся только со своими апельсинами в пятимерном пространстве.
Например, занимаются формальной верификацией существующих программ, в том числе тех, которые управляют спутниками, электростанциями и медицинским оборудованием. Также работают над теорией типов, которую потом используют создатели языков и компиляторов.

>>839644
>помнить наизусть несколько тысяч разных методов
Ты в нано код пишешь? Зачем помнить сигнатуры методов, когда IDE их показывает? Я уж не говорю про документацию, в том числе, встроенную.
>понимать минимум пару сотен паттернов
Математика, в числе прочего, - это средство формального описания паттернов и доказательства их корректности.
>функциональную парадигму
Без знания лямбда-исчисления и теории типов? Ну лел же.
>Возможно, хотя бы поверхностно знать еще пару языков программирования
Если ты знаешь теорию вычислений, то без проблем разберешься с любым языком программирования.

>>839660
>Буду как рыба в воде плать в определениях используемых в среде программирования заданных для данной парадигмы и являющихся проекцией математической базы
Математика - это и есть набор определений и правила, заданные на них.

>>839901
>Настоящее программирование это прикладная алгебра, логика и теория категорий
Вот! Единственный адекватный человек в треде.

Недавно понадобилось двоичное дерево реализовать для кайнд-оф млм-структуры. Да такое дерево, чтобы можно было указывать приоритет, на какое место попадет твой ребенок. Для математика обсчитать дерево и найти формулу для постановки ребенка не составит труда, в то время как антиматаноблядь пойдет гуглить и сделает какую-нибудь хуйню. И эта хуйня даже поработает, вот только пердолиться придется больше, при модификации вылезут проблемы и т.д.

+ матан таки нихуево вправляет мозги, чаще находишь закономерности, больше пользуешься индукцией/дедукцией для построения более элегантных функций (методов).

>>843345
Ты про дерамиду или кучу что ли, даун? При чем тут математика? Это картофан и велосипед.

>>843347
Что-то ты агрессивный какой-то

>>843347
Вербит все таки молодец, породил армия дегенератов подражателей, они даже до /pr добрались

>>843351
армию

>>843351
Маня, на бордах гоняли матаноблядей и алгоритмоопущей ещё когда ты пешком под стол ходил. Тут на каждой подобной доске презирали утилитаристов-инженегров, только в разных местах по-разному называли: слесарями, сантехниками, картофанами, аутистами. Картофан вообще отличная категория, как всегда матеша выдаёт лучшие абстракции, недаром её форс из саентачевского маттреда дошёл и сюда.

>>843365
Пиздец, если тебе больше 30.

>>843365
> алгоритмоопущей

все же будем честны, у каждого уважающего себя пограммиста, есть Секретная папка с его Любимыми Алгоритмами.

>>843365
>Тут на каждой подобной доске презирали утилитаристов-инженегров
Утилитаристы хуесосы, особенно программистишки, дрочащие на ПОЛЬЗУ. Недаром у вас нет тян и вы ноете об этом. Вы скучные тупые аутисты с суженным сознанием, вы ничем не можете быть интересны человеку, даже деньгами его не привлекаете. В одного чувака тян влюбилась потому, что он четыре дня ночевал на кладбище. Тян влюбилась даже в моего бывшего одноклассника с органическим поражением мозга, заиканием и попытками сусайда. Тян влюбляются в говнарей и гитарами. Только в утилитаристское аутичное скучмо никто не влюбится.

В компьютер сайенсе алгебраическая геометрия охуенна и уже применяется. Лучшие корректирующие коды делаются на модулярных кривых. Лучше код просто не создать. Но мало людей, разбирающихся в этом. Алсо, коды Гоппы уже сейчас применяются в новых жестких дисках.

>>843152
>увеличит надои молока
Мб и увеличит, т.к. есть применения в естественных наукахъ.

>>843376
Прими таблетки.

>>843376
>Тян влюбляются в говнарей и гитарами

До 17 лет - возможно, потом их уже интересует материальный достаток куна и тут нищие математики идут строем сосать бибу в отличае от ентерпрайз и веб господ, которые делают хорошие шевели и могут себе позволить учить и делать все, что хотят.

>>843391
шекели

fixed

И да речь разумеется не о нормальных математиках, которые работают в крупных научных центрах и тоже неплохо зарабатывают, а о вонаби математиках типо тебя

>>843392
>нормальных математиках
оксюморон

>>843427
нормальный математик тот, который является ненормальным.

ненормальный математик тот, кто является нормальным.

>>843435
сорта говн, живущих в своём манямирке.

>>843435

из определения следует что математик, находящийся в суперпозиции как минимум на половину нормален. Неплохо, неплохо. Осталось найти только такого

>>843391
>потом их уже интересует материальный достаток куна
Если ты нехаризматичное скучное говно с царскими претензиями, то да.

>>843451
>матанофизики
Алгебра > физика

>>843466
3 > 2