Citat:
chupcko:
Uostalom ko jos radi dokazivanje korektnosti programa i cita radove o tome :))).
Pa to se radi na Matematičkom fakultetu u 1. godini studija iz predmeta „Osnovi programiranja“ :-)
Naravno, ne kod svih profesora, i ne baš detaljno, ali C. A. R. Hoara su morali da znaju svi ;-)
Citat:
Preciznije me zanima da li je ono sto se izuvaca na nekim CS smerovima stvarno nauka ili samo gomila recepata kako sta i kada uraditi :).
Mislim da u uvodu knjige „A=B“, koji je napisao DEK (samo uvod, ne i celu knjigu), stoji nešto ovako (prevodim „art“ kao „veština“, i koristim tvoje izraze):
„Rešenje postaje sastavni deo ‘nauke’, a prestaje da bude ‘veština’ kada se za njega utvrdi ‘recept’“.
Opet, da bi se došlo do „nauke“ (u DEK smislu), neophodno je da se iskoristi „veština“ — zatim, „nauku“ (od „naučeno“, zar ne?) mogu koristiti i oni koji nisu „vešti“ za rešavanje problema.
I baš po ovom kriterijumu, ja mislim da je matematika najbliža „nauci“ — gomile ljudi već koriste izvode, integrale, i još mnogo šta, a da ne poseduju „veštinu“ za rad sa njima, već samo znaju „nauku“.
Znači, ja bih nauku opisao pomoću jednog uslova: „iz istih početnih uslova, uvek se dobija isti rezultat na osnovu te nauke“ — pa sad, izvolite i uklanjajte sve ostale kvazi-nauke iz spiska ;-)
Možda se moje mišljenje promenilo, ali ne i činjenica da sam u pravu.