Metody dokazatel'stva v informatike [Russian]

By Sergey Apanasevich

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.

• Format: Paperback
• Language: Russian
• ISBN: 3659663204
• ISBN13: 9783659663208
• Release Date: January 2015
• Publisher: LAP Lambert Academic Publishing
• Length: 100 Pages
• Weight: 0.35 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"