Ĺadny brzuch
Witam, szukam materiałów na temat reguł dowodzenia algorytmów. Bardziej od definicji interesują mnie przykłady z rozwiązaniami. Będę wdzięczny za każdego linka (darujcie sobie www.google.com <_< )
Nie rozumiem o co dokladnie chodzi... Jak mozna dowodzic algorytmy? Algorytm to przepis na wykonanie czegos, od najprostszych zadan po te trudne... Jak mozna dowiesc cos takiego?! Jak chcesz wiedziec wiecej o algorytmach polecam ksiazke Niklaus'a Wirth'a 'Algorytmy + struktury danych = programy'... Bardzo dobra ksiazka napisana zrozumialym jezykiem... Albo jeszcze lepsza bedzie 'Rzecz o istocie informatyki - Algorytmika' David'a Harel'a...
Użytkownik Marek_ edytował ten post 21 styczeń 2006, 14:55
Nie rozumiem o co dokladnie chodzi... Jak mozna dowodzic algorytmy? Algorytm to przepis na wykonanie czegos, od najprostszych zadan po te trudne... Jak mozna dowiesc cos takiego?! Jak chcesz wiedziec wiecej o algorytmach polecam ksiazke Niklaus'a Wirth'a 'Algorytmy + struktury danych = programy'... Bardzo dobra ksiazka napisana zrozumialym jezykiem... Albo jeszcze lepsza bedzie 'Rzecz o istocie informatyki - Algorytmika' David'a Harel'a...
Nie rozumiem o co dokladnie chodzi... Jak mozna dowodzic algorytmy? Algorytm to przepis na wykonanie czegos, od najprostszych zadan po te trudne... Jak mozna dowiesc cos takiego?! Jak chcesz wiedziec wiecej o algorytmach polecam ksiazke Niklaus'a Wirth'a 'Algorytmy + struktury danych = programy'... Bardzo dobra ksiazka napisana zrozumialym jezykiem... Albo jeszcze lepsza bedzie 'Rzecz o istocie informatyki - Algorytmika' David'a Harel'a...
Na studiach jest taki przedmiot jak "Algorytmy i struktury danych", ale wy chyba informatyki nie studiujecie? Dlatego prosiłbym o głos raczej tych, którzy są w temacie, może kapturek coś wie ;) ?
//Edit:
OK, to może jakiś przykład:
Udowodnij, że
{(x > 0) ^ (y > 0)}
spec
z <- 0;
u <- x;
repeat
z <-z + y;
u <- u - 1;
until u = 0
endspec
{z <- x*y}
Dobra, metod dowodzenia jest tyle, ile jest problemow, albo i wiecej :)
Warto zapoznac sie z niezmiennikami petli (np. w ksiazce "Matematyka dyskretna"), przeczytac dowody z Cormena itp. Do dowodzenia przydaje sie:
+ normalna matematyka
+ kombinatoryka, teoria grafow
+ blyskotliwosc i pomyslowosc :)
zanotowane.pl doc.pisz.pl pdf.pisz.pl zsf.htw.pl
Nie rozumiem o co dokladnie chodzi... Jak mozna dowodzic algorytmy? Algorytm to przepis na wykonanie czegos, od najprostszych zadan po te trudne... Jak mozna dowiesc cos takiego?! Jak chcesz wiedziec wiecej o algorytmach polecam ksiazke Niklaus'a Wirth'a 'Algorytmy + struktury danych = programy'... Bardzo dobra ksiazka napisana zrozumialym jezykiem... Albo jeszcze lepsza bedzie 'Rzecz o istocie informatyki - Algorytmika' David'a Harel'a...
Użytkownik Marek_ edytował ten post 21 styczeń 2006, 14:55
Nie rozumiem o co dokladnie chodzi... Jak mozna dowodzic algorytmy? Algorytm to przepis na wykonanie czegos, od najprostszych zadan po te trudne... Jak mozna dowiesc cos takiego?! Jak chcesz wiedziec wiecej o algorytmach polecam ksiazke Niklaus'a Wirth'a 'Algorytmy + struktury danych = programy'... Bardzo dobra ksiazka napisana zrozumialym jezykiem... Albo jeszcze lepsza bedzie 'Rzecz o istocie informatyki - Algorytmika' David'a Harel'a...
Nie rozumiem o co dokladnie chodzi... Jak mozna dowodzic algorytmy? Algorytm to przepis na wykonanie czegos, od najprostszych zadan po te trudne... Jak mozna dowiesc cos takiego?! Jak chcesz wiedziec wiecej o algorytmach polecam ksiazke Niklaus'a Wirth'a 'Algorytmy + struktury danych = programy'... Bardzo dobra ksiazka napisana zrozumialym jezykiem... Albo jeszcze lepsza bedzie 'Rzecz o istocie informatyki - Algorytmika' David'a Harel'a...
Na studiach jest taki przedmiot jak "Algorytmy i struktury danych", ale wy chyba informatyki nie studiujecie? Dlatego prosiłbym o głos raczej tych, którzy są w temacie, może kapturek coś wie ;) ?
//Edit:
OK, to może jakiś przykład:
Udowodnij, że
{(x > 0) ^ (y > 0)}
spec
z <- 0;
u <- x;
repeat
z <-z + y;
u <- u - 1;
until u = 0
endspec
{z <- x*y}
Dobra, metod dowodzenia jest tyle, ile jest problemow, albo i wiecej :)
Warto zapoznac sie z niezmiennikami petli (np. w ksiazce "Matematyka dyskretna"), przeczytac dowody z Cormena itp. Do dowodzenia przydaje sie:
+ normalna matematyka
+ kombinatoryka, teoria grafow
+ blyskotliwosc i pomyslowosc :)