Metody Dokazatel'stva V Informatike

V sovremennom mire informatika i komp'yuternaya tekhnika razvivayutsya ochen' stremitel'no. I u mnogikh studentov voznikaet vopros: «A nuzhny li algoritmy v programmirovanii voobshche kak takovye?» Oni podnimayut eto vopros na osnovanii togo, chto bystrodeystvie sovremennykh komp'yuterov ochen' veliko, pamyat' predostatochno, a samo komp'yuternoe vremya ochen' deshevoe. Im kazhetsya, chto raznye zadachi mozhno reshit' pereborom. A tak li eto na samom dele? Prochitav etu knigu vy smozhete priblizitsya k otvetu na etot vopros. I sdelat' vyvody v kakom napravlenii nuzhno razvivat'sya.