Metody dokazatel'stva v informatike

V sovremennom mire informatika i komp'juternaya tehnika razvivajutsya ochen' stremitel'no. I u mnogih studentov voznikaet vopros: 'A nuzhny li algoritmy v programmirovanii voobshhe kak takovye ' Oni podnimajut jeto vopros na osnovanii togo, chto bystrodejstvie sovremennyh komp'juterov ochen' veliko, pamyat' predostatochno, a samo komp'juternoe vremya ochen' deshevoe. Im kazhetsya, chto raznye zadachi mozhno reshit' pereborom. A tak li jeto na samom dele Prochitav jetu knigu vy smozhete priblizitsya k otvetu na jetot vopros. I sdelat' vyvody v kakom napravlenii nuzhno razvivat'sya.