Comments 30
Вообще то говоря, программист это очень абстрактное понятие, так же как, например, инженер. Инженеры есть разные, от инженеров человеческих душ до… В зависимости от поставленной задачи и инженеры нужны разные. Также и с программистами. И для этого не надо (если не хочется) "скакать на лошади" и т.д. Но вот что должен знать прекрасно программист, так это логику, исчисление предикатов и иже с ними.
Теперь ваш постулат:
если, скажем, в античные времена программирование уже существовало бы
Без всякого если, программирование существовало всегда с момента появления "homo sapiens" (человека разумноо). Почитайте великолепную книгу "От абака до компьютера", многого интересного откроете для себя.
Замечательный пример!
Что касается необходимости математики для программистов, то есть области, где без ее знания, из самых разных разделов, никак не обойтись. Например, в ПО связанным с постановкой экспериментов в научных исследования, и обработки их результатов. Более того, в некоторых случаях приходится разрабатывать, или развивать существующие мат. методы, чтобы решить возникающие задачи, если имеющихся методов не достаточно для решения.
Исчисление предикатов? Обязательно? Вы точно знаете, что это такое? Может за многие годы я подзабыл. Расскажите как вы его используете в работе?
Логика первого порядка Логика первого порядка, называемая иногда логикой или исчислением предикатов — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов.
Исчисление предикатов расширяет логику высказываний. В свою очередь является частным случаем логики высших порядков.
Если вы подзабыли, значит давно не программировали. А без логики какое программирование. Кодирование в лучшем случае.
Это мне напоминает проектирование реляционной базы данных без понимания того, что такое третья нормальная форма.
Я думаю для программиста не зазорно быть знакомым с трудами Никола́ Бурбаки́.
Согласен, тем более работа работе рознь, то бишь программирование
Хотя я и не на хаскеле всякие околоматанные вещи пишу
И на чем пишется машинное обучение?
Машинное обучение писать на C++? Чему же машинный человек обучает? На скриптах быстрей и эффективней писать.
Проблема производительности и памяти — давно не слыхал. Есть проблема денег, это другое дело.
А таки можно с пяток примеров из обычного промышленного программирования, где логика осознанно нужна на чуть более высоком уровне, чем школьная булева алгебра?
Конечно можно!
— Разработка систем моделирования и проектирования в машиностроении.
— Программирование всяких спутников и ракет.
— Занятия всевозможными системами распознавания изображения и звука. Обработки мультимедийной информации.
— Тонны всяческих разработок для естественных наук.
— Хранение и обработка данных в хайлоаде.
Тонна всего еще!
И это все, с чем сталкивается каждый разработчик ежедневно!
На самом деле областей множество. В том числе и тех, где не требуется знание математики выше уровня средних классов школы. Или мы фуллстек веберов, которые сайты пишут за программистов считать не будем? Разные автоматизаторы так же символописатели?
P.S. Не примите в укор — это сообщение я писал в поддержку вашей мысли, но решил ответить именно вам :)
Да, если бы не этот способ бэкапа, то не известно где бы еще были! И популярность этой программы не падает!
Насколько программист должен знать математику?