4 kontakty: C.A.R. Hoare, Dowód poprawności algorytmu, Kod, 1969.
C.A.R. Hoare
Charles Antony Richard Hoare (Tony Hoare, ur. 11 stycznia 1934 w Kolombo, Sri Lanka) – brytyjski informatyk, znany jako twórca algorytmu sortowania quicksort.
Nowy!!: Logika Hoare’a i C.A.R. Hoare · Zobacz więcej »
Dowód poprawności algorytmu
Dowód poprawności algorytmu – rozumowanie matematyczne prowadzące do formalnego wykazania, że dany algorytm przy poprawnych danych wejściowych da nam wynik spełniający wymagania, np.
Nowy!!: Logika Hoare’a i Dowód poprawności algorytmu · Zobacz więcej »
Kod
Kod (łac. codex), spis – ciąg składników sygnału (kombinacji sygnałów elementarnych, np. kropek i kresek, impulsów prądu, symboli) oraz reguła ich przyporządkowania składnikom wiadomości (np. znakom pisma).
Nowy!!: Logika Hoare’a i Kod · Zobacz więcej »
1969
Bez opisu.
Nowy!!: Logika Hoare’a i 1969 · Zobacz więcej »