Proč je třeba algoritmy dokazovat, jak si vůbec algoritmy zapisovat nějak nezávisle na programovacím jazyce a přitom dostatečně blízce programům a podobně...