ИПР развития разраба в тимлида: 1. Ты не идиот, а ещё ты вменяемый 2. Ты в состоянии выразить мысль более, чем 5 словами 3. Когда увидел, что 2 программиста не могут договориться, как налить кофе, ты пришёл и договорил их 4. Ты в состоянии понять, что хочет заказчик 5. Ты знаешь, как написать селект в бд и чем там в целом занимаются разрабы
Реалистичный и прагматичный ИПР. Представляю себе его обсуждение с сотрудником))
Машина Тьюринга определена через язык математики.
Машинная логика это вообще микроскопический частный случай элементарной алгебры.
Я не говорю, что для решения задач о переустановке дров надо решать систему уравнений.
Я говорю, что математика качает инженерный мозг лучше всего, потому что все инженерные дела сформулированы через математику, являются её отдалёнными правнуками. Если бы программирование включало в себя так же человеческие эмоции в неоцифрованом виде, а в чистом, и красоту музыки в чистом неоцифрованном виде (не знаю, как это возможно, но если бы), то я утверждал бы, что необходимо понимать психологию и искусства, чтобы кодить на таком франкенштейне. Не только опираться на свои опыты в прогрммировании.
Вы не понимаете, что такое математика.
Это искусственно созданный человеком инструмент описания операций над такими же искусственно созданными понятиями. Сам по себе этот инструмент выверен дОнельзя. Именно эта точность и продуманость позволяют использовать язык математики, как язык описания широчайшего круга задач и феноменов в реальном мире. В самом этом инструменте багов минимум. Есть проблемы в решении задач с помощью этих инструментов, когда да, человек допускает ошибку.
В программировании тоже есть абстрактные инструменты, которые сами по себе ничего не делают. Например, языки, библиотеки и т.д. С помощью этих инструментов тоже решают задачи. Но в случае программирования не только сами задачи могут содержать ошибки в решении, но и инструменты ими переполнены. Это по багам.
Теперь по доказательствам.
Так как вы плохо разбираетесь в математике и естественных науках, то не очень понимаете, что такое доказательство. Юридические доказательства мы сейчас не рассматриваем.
Математическое доказательство это цепочка рассуждений на языке математики, доказывающая математическую, то есть в терминах математики, истинность утверждения, также сформулированного на языке математики. То есть математического доказательства, связанного с программированием я привести не могу, так как программирование в используемом нами смысле не является термином математики.
Значит доказательство переходит в естественнонаучную плоскость. Естественнонаучное доказательство строится на эксперименте. Что я вам и предложил проделать. Если необходимо более весомое доказательство, то обратимся к учебному минимуму — провести эксперимент 10 раз. То есть Вам надо будет пройти курс математики 10 раз.
Конкретные примеры связи мат подготовки и решения нематематических задач. Физмат школы традиционно лидируют в олимпиадах по любым направлениям знаний. Это не значит, что всегда занимают первые места, но существует корреляция, непреодолимая никаким скепсисом.
Функциональное программирование имеет настолько много общего с математикой, что является её разделом)
«Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).»
Запишитесь на курс по математике, и поймёте откуда у чего ноги растут. Вот и всё доказательство.
Хотя нет, доказательств море. Они называются баги. Они лезут из любого программного продукта в количестве, не соизмеримом с логическими проблемами математики, которые встречаются только в каких-то предельно абстрактных областях и имеют скорее концептуальный зарактер, нежели операционный. Математика не издаёт несовершенных инструментов.
При прочих равных мат подготовка позволит быстрее её решить. Особенно при первой встрече с ней. Ваши вопросы показывают, что вам плохо преподавали математику, и вы просто не понимаете её силы, вот и всё. Это не говорит плохо о вас, просто в жизни так сложилось. Я изучал и математику, и программирование, и понимаю, каково их место в жизни, и как они взаимодействуют.
Все математики, незнакомые с программированием, удивятся, почитают синтаксис и поймут.
Элементарную ОС может написать каждый. Вопрос ресурса и энтузиазма. Мат подготовка повысит эффективность работы. Полноценную современную ОС, конечно же, напишет только команда.
Логика не может быть вторичной по отношению к компьютеру, потому что не он её придумал. Логику придумал и сформулировал человек. Самый развитый логический аппарат заключён в математике, потому что это чистая абстракция, на которую практически не влияют несовершенства внешнего мира. Компьютер это всего лишь вычислительная машина, которая призвана воспроизводить некоторые алгоритмы, придуманные человеком. Она может быть спроектирована и запрограммирована более или менее хорошо, и потому не может являться мерилом верности логики.
Мы можем лишь говорить о степени доверия к её результату.
На этот счёт я могу ответить только в своём духе. Да, художник может написать и на шару. Композитор тоже может. Но делает ли им честь открытое пренебрежение академическим знанием? Если они выйдут и скажут — вся эта ваша анатомия и контрапункт — фигня, мы и так можем. Лично я бы подумал: «Гений ты, барин. Но дурак.»
Михаил, не воспринимайте на личный счёт, но это не так. Вы заблуждаетесь. Да, программирование это сплошная логика. Но логика, построенная на несовершенных инструментах. Математика — логика в чистом виде.
Математика это универсальная описательная система для всех инженерных направлений и наук. Даже психология описывает свой мир статистикой, а не стихами. Если Вы правильно изучали математику, программирование для вас — вопрос изучения синтаксисов и библиотек, вся логика и модели уже есть в голове. Алгоритмы — набор частных случаев. Такая вот магия. Обратно это не сработает, потому что в программировании и близко нет таких описательных систем. Иначе уже был бы один сверхъязык, на котором было бы удобнее всего работать. Люди и мосты научились строить без сопромата, но надо ли этим хвастаться?
Вы пытаетесь отменить понятие кульура. Поэтому мне сначала надо Вам доказать её смысл и значение вообще, а потом уже перейти к роли культуры в производственной деятельности. Стоит начинать?
ИПР развития разраба в тимлида:
1. Ты не идиот, а ещё ты вменяемый
2. Ты в состоянии выразить мысль более, чем 5 словами
3. Когда увидел, что 2 программиста не могут договориться, как налить кофе, ты пришёл и договорил их
4. Ты в состоянии понять, что хочет заказчик
5. Ты знаешь, как написать селект в бд и чем там в целом занимаются разрабы
Реалистичный и прагматичный ИПР. Представляю себе его обсуждение с сотрудником))
И ссылки открываться в новом окне.
Машинная логика это вообще микроскопический частный случай элементарной алгебры.
Я не говорю, что для решения задач о переустановке дров надо решать систему уравнений.
Я говорю, что математика качает инженерный мозг лучше всего, потому что все инженерные дела сформулированы через математику, являются её отдалёнными правнуками. Если бы программирование включало в себя так же человеческие эмоции в неоцифрованом виде, а в чистом, и красоту музыки в чистом неоцифрованном виде (не знаю, как это возможно, но если бы), то я утверждал бы, что необходимо понимать психологию и искусства, чтобы кодить на таком франкенштейне. Не только опираться на свои опыты в прогрммировании.
Это искусственно созданный человеком инструмент описания операций над такими же искусственно созданными понятиями. Сам по себе этот инструмент выверен дОнельзя. Именно эта точность и продуманость позволяют использовать язык математики, как язык описания широчайшего круга задач и феноменов в реальном мире. В самом этом инструменте багов минимум. Есть проблемы в решении задач с помощью этих инструментов, когда да, человек допускает ошибку.
В программировании тоже есть абстрактные инструменты, которые сами по себе ничего не делают. Например, языки, библиотеки и т.д. С помощью этих инструментов тоже решают задачи. Но в случае программирования не только сами задачи могут содержать ошибки в решении, но и инструменты ими переполнены. Это по багам.
Теперь по доказательствам.
Так как вы плохо разбираетесь в математике и естественных науках, то не очень понимаете, что такое доказательство. Юридические доказательства мы сейчас не рассматриваем.
Математическое доказательство это цепочка рассуждений на языке математики, доказывающая математическую, то есть в терминах математики, истинность утверждения, также сформулированного на языке математики. То есть математического доказательства, связанного с программированием я привести не могу, так как программирование в используемом нами смысле не является термином математики.
Значит доказательство переходит в естественнонаучную плоскость. Естественнонаучное доказательство строится на эксперименте. Что я вам и предложил проделать. Если необходимо более весомое доказательство, то обратимся к учебному минимуму — провести эксперимент 10 раз. То есть Вам надо будет пройти курс математики 10 раз.
Конкретные примеры связи мат подготовки и решения нематематических задач. Физмат школы традиционно лидируют в олимпиадах по любым направлениям знаний. Это не значит, что всегда занимают первые места, но существует корреляция, непреодолимая никаким скепсисом.
Функциональное программирование имеет настолько много общего с математикой, что является её разделом)
«Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).»
Хотя нет, доказательств море. Они называются баги. Они лезут из любого программного продукта в количестве, не соизмеримом с логическими проблемами математики, которые встречаются только в каких-то предельно абстрактных областях и имеют скорее концептуальный зарактер, нежели операционный. Математика не издаёт несовершенных инструментов.
Элементарную ОС может написать каждый. Вопрос ресурса и энтузиазма. Мат подготовка повысит эффективность работы. Полноценную современную ОС, конечно же, напишет только команда.
Логика не может быть вторичной по отношению к компьютеру, потому что не он её придумал. Логику придумал и сформулировал человек. Самый развитый логический аппарат заключён в математике, потому что это чистая абстракция, на которую практически не влияют несовершенства внешнего мира. Компьютер это всего лишь вычислительная машина, которая призвана воспроизводить некоторые алгоритмы, придуманные человеком. Она может быть спроектирована и запрограммирована более или менее хорошо, и потому не может являться мерилом верности логики.
Мы можем лишь говорить о степени доверия к её результату.
Основная статья подверглась апдейту — всем читать!
Но сказано будет))