1,3K прочтений · 2 года назад
Парадоксы формализации. Возможна ли математика Всего?
Метод формализации является одним из основополагающих теоретических методов в математическом и естественно-научном знании. В математике он базируется на аксиомах, в физике на идеях, принципах и общих понятиях. Под формализацией понимается особый подход в научном познании, который заключается в использовании специальной символики, позволяющей отвлечься от изучения реальных объектов, от содержания описывающих их теоретических положений и оперировать вместо этого некоторым множеством символом (знаков)...
281 прочтение · 1 год назад
Формализация задач для IT-специалистов: почему ваша команда еще не читает ваши мысли
Евгений, руководитель проектов 1С Каждый опытный руководитель проекта сталкивается с ситуацией, когда поставленная задача воспринимается исполнителями не так, как он задумывал. С одной стороны, можно думать, что все в вашей команде экстрасенсы. Но, увы, телепатия до сих пор не является стандартом в IT-индустрии. Поэтому давайте поговорим о важности формализации задач. О чем идет речь Как я понимаю, формализованная задача — это задача, представленная в структурированном и четко определенном виде, которая исключает двусмысленность, неопределенность или возможность разных интерпретаций...