Синус 30 равен 0,5 это не определение, а значение синуса для 30 градусов. Определение нельзя доказать, оно задаёт смысл понятия! Вот допустим школьное определение синуса угла это отношение противолежащего катета к гипотэнузе. Это всё равно что доказывать, что стул это стул.
Давай-ка не путай очевидное и определение. Вся суть "А ты докажи" в том, что бы ты таки знал доказательства. А не верил умным дядечкам на слово, а своей головой думать мог. Тут совсем иная история.
Мне аж обидно стало за ваше невежество.
Вот вам несколько простых примеров:
1. Любой полёт в космос — как расчёт траекторий, так и расчёт нагрузок, проектирование ракет (привет мобильная связь, GPS)
2. Гугл. Поисковые алгоритмы.
3. Шифрование.
Вот кстати далеко не факт, что тренируется. Я в первом классе мог заучивать большие массивы текста (рассказы, не стихи), просто прочитав один раз. Несколько листов рассказать слово в слово было как нефиг делать. Несмотря на то, что нас постоянно дрочили пересказами и заучиваниями, к пятому классу стало значительно хуже, хотя для рассказа заданного на дом стихотворения всё ещё было достаточно прочитать его один раз, пока у доски отдувались стоящие ранее по списку. К концу школы от всего это и следа не осталось, память была чуть ли не ниже среднего.
Так что имхо польза заучиваний для памяти мнимая. А вот математика и правда мозг развивает.
Если хоть когда то занимался робототехникой, распознованием образов или машинным обучением, то должен был пользоваться библиотекой openCV, которая в этой конторе и разрабатывается.
И не забываеим о алгебре отношений( да, это не математика в обычном понимании, но хотела бы я посмотреть на базы данных, которые без неё обходятся, нет не-относительные не показывать, они не в счёт)
Это подраздел теории множеств таки. Так что совсем математика в обычном понимании. А если для кого-то математика - лишь арифметика с геометрией, то и хуй с ними.
Есть области программирования, где математика нужна, но этих областей - меньшинство. Доказательства эффективности алгоритмов обычно нужны только на собеседованиях, а реально никто не будет выяснять что и как ты написал, пока оно не тормозит, не глючит и выполняет поставленные задачи. Проблема обычно в том чтобы вообще работало, а не в том, чтобы работало максимально эффективно.
А вот когда будет тормозить, то вы будете как придумывать нетормозящую замену? Перебором?
Или вы ни разу не дописали до того момента, когда оно уже таки работает, но могло бы работать быстрее?
Когда тормозит обычно улучшают sql-запросы или уменьшают количество запросов по сети. Ввиду того, что вклад в тормоза от этих двух факторов в сотни раз превышает вклад от не оптимальных алгоритмов сортировки массивов и прочей мелкой фигни - почти всегда этого более чем достаточно. А в большинстве остальных случаев проблема решается эвристическими методами, что тоже в разы эффективнее чем оптимизация циклов.
Проблемы, возникающие при разработке бизнес-приложений, почти всегда крутятся вокруг оптимизации трудозатрат разработки и анализа бизнес-процессов, а не вокруг оптимизации алгоритмов.
Сразу видно, вы никогда не занимались задачами, для решения которых выжимают все соки из железа. Сейчас это расчеты графония и физики, обработка сигналов, различные научные расчеты и симуляции.
Я не спорю, что для бизнеса частенько нужно быстренько "наклепать", лишь бы без багов особо, а запас производительности железок еще 99%. Но я считаю, что это очень плохо. Современный настольный компьютер во много-много раз мощнее такового из 90х например, а программы как лагали, так и лагают. Так и будут лагать. Потому что нет предела тому, как неэффективно можно использовать ресурсы.
Дык я об этом сразу написал. Большинство вакансий программистских - они для бизнеса. Я даже собеседовался, помню, в фирму занимающуюся, в частности, распознаванием номеров на машинах с видео. У них отдельные вакансии для программистов и для математиков, придумывающих алгоритмы распознавания.
В моей старой фирме матанщики писали отличные алгоритмы распознования, но вот о производительности они могли думать лишь в терминах сложности алгоритма. О локальности данных, использовании simd инструкций, качественной синхронизации, да об уменьшении константы на которую множится этот `n log n`. Они узнали от писателей серваков, спустя много лет разработки.
Вы по-диагонали прочли? Я же перечислил то, что помогает в оптимизации и то, что они не учитывали. Пока не оказалось, что 32х ядерный проц не справляется и анализом 8 фуллхд потоков видео, а по их же оценке должен был тянуть легко
вы перечислили, да. И это, по-моему, не математика. По этому то, что вы сказали, по-моему, согласуется с моим утверждением, что для программирования и, в частности, для оптимизации программ математика мало полезна.
По-вашему это может быть хоть литература, конечно... Но по сути математика. А мне кажется, что все те вещи, которые в программировании кажутся вам не математикой являются логикой. А логика - раздел математики. Да, не интегралы решаем большую часть времени.
Раньше тоже думал, что ресурсы используются не эффективно. Но нет. Теперь просто стали писать код, который потом можно прочесть и доработать. Читабельность, зачастую, ценнее эффективности, т.к. сейчас программы пишутся не одним-двумя программистами и внутренних конфликтов в коде сейчас гораздо больше. Старыми методами современные программы просто не напишешь за обозримые сроки.
Это норм погромисты пишут, теряя в производительности, в угоду стабильности, расширяемости, понятности etc. А вот большинство пишет просто хуево. Могут даже пытаться прикрыться вышеперечисленными благами. Но, взглянув на их код, все становится понятно сразу.
Я работал уже в 5 разных фирмах, и везде одно и то же: предлагаешь заняться оптимизацией или исправлением потенциальных ошибок - говорят "когда время будет". Так что ваш друг может устраиваться куда угодно.
Это так кажется. У моей знакомой не давались производные сложных функций (f(g(x)))'=f'(g(x))*g'(x). Так вот она не понимает и в программировании, когда я ей объяснял, как вложенные функции работают и классы между собой взаимодействуют. Математическая логика развивается за счёт производных и интегралов, а за счёт этого начинаешь понимать как функции между собой взаимодействуют. Это не чувствуется, так как логические связи создаются параллельно.
это влияет, да. Но у меня нет высшего технческого, из-за чего я слабоват в высшей математике, но это у меня вызвало проблему лишь однажды - когда я попытался разобраться в функции применения цветового фильтра к картинкам, а там на вход надо передавать какую-то матрицу, которая будет умножаться на какую-то другую матрицу и пшш-пшшш-пшшшшш... И то я думаю это в основном потому что я не понимаю в преобразованиях картинок.
Я никогда не пытался разобраться в математике преобразованиях картинок, т.к. на практике мне она никогда не была нужна. Я интересовался вышеупомянутой функцией ради домашнего проекта компьютерной игры, и быстро выяснил - это была не та функция, которая бы могла мне помочь и я вообще не тот графический модуль пытался использовать. Рисованием графики напрямую сейчас занимаются в основном разработчики графических движков и библиотек визуализации.
Иногда я поражаюсь людям которые умеют такое решать. У меня профа не по математике пошла, и каждый раз когда я вижу этот кошмар, в голове отдает воспоминанием что когда-то я такое понимал, а сейчас туп как пень.
Некотрые комментирующие не только не увидели этого в заголовке, но и не увидили этого в самом примере. Не знаю, что хуже: невнимательность или тупость. Но некоторые таки невнимательные тупицы.
Андрей Коняев
@а_копуаеу
Я бы вообще запретил математику для детей. Чтоб учебники 18+, чтобы продавалась только в специальных магазинах. Пару блогеров посадить за пропаганду математики среди несовершеннолетних
Вот тогда дети математикой заинтересуются. А пока это так все, полумеры
Как же меня в Геометрии бесили подобные задачи, докажите синус 30 равен 0.5, Решение: да я тебе верю на слово, ты мужик умный.
"Мамой клянусь!"
Вот вам несколько простых примеров:
1. Любой полёт в космос — как расчёт траекторий, так и расчёт нагрузок, проектирование ракет (привет мобильная связь, GPS)
2. Гугл. Поисковые алгоритмы.
3. Шифрование.
а вообще это тупо развивает мозг. знание стихов наизусть тоже по идее нахер не сдалось, однако ж память тренируется.
Так что имхо польза заучиваний для памяти мнимая. А вот математика и правда мозг развивает.
Главное чтобы смишные картинки были
Или вы ни разу не дописали до того момента, когда оно уже таки работает, но могло бы работать быстрее?
Проблемы, возникающие при разработке бизнес-приложений, почти всегда крутятся вокруг оптимизации трудозатрат разработки и анализа бизнес-процессов, а не вокруг оптимизации алгоритмов.
Я не спорю, что для бизнеса частенько нужно быстренько "наклепать", лишь бы без багов особо, а запас производительности железок еще 99%. Но я считаю, что это очень плохо. Современный настольный компьютер во много-много раз мощнее такового из 90х например, а программы как лагали, так и лагают. Так и будут лагать. Потому что нет предела тому, как неэффективно можно использовать ресурсы.