Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>Всё было не так. Я это не изучаю и не изучал (что в общем-то видно по теме).
ЭФ>У меня вопрос — а почему это вообще изучают
ЭФ>(применительно к программистам, и доказательству корректности ПО в курсе Матлогики)

ЭФ>Если это будет изучено, какие бонусы это даст,
ЭФ>и какие новые потенциальные достижения сделает доступными (заанлочит)?

Математику уже затем учить следует, что она ум в порядок приводит

Расслабьтесь, прикладного значения заинтересовавшие Вас почему-то вопросы не имеют. Как впрочем и деятельность по доказательству корректности программ )))