Цитата:
|
Сообщение от ank
Ну вот собственно и ответ на твой вопрос.
Дается представление и о том, что доказано и о том, как теоремы называются (они далеко не всегда называются именами тех, кто их доказал, пример тому известная теорема Стокса, о которой Стокс был ни сном ни духом), когда доказаны, как связаны с другими разделами..
И самое главное - доказательство наизусть, прививается умение выводить из теоремы следствия и получать нужные модификации доказательства, определять существенность для доказательства начальных условий..
|
ИМХО, здесь вполне неплохо освоили специлизацию образования. Не следует ожидать от программиста умение доказывать теоремы высшей математики. Точно также, как метематик врядли сможет сравниться с программистом в написании программ. Главное, что бы и тот и другой знали о поле деятельности груг-груга достаточно для продуктивного сотрудничества.
Цитата:
|
Если ты считаешь, что для программирования это совершенно не важно, то я готов постепенно доказывать тебе обратное.
|
Что именно? Логическое мышление?
-----------------
-=*=-
|
