Dynamic logic: Historia wersji

Skocz do: nawigacji, wyszukiwania

Wybór porównania – zaznacz kropeczkami dwie wersje do porównania i wciśnij enter lub przycisk Porównaj wybrane wersje.
Legenda: (bież.) – pokaż zmiany od tej wersji do bieżącej, (poprz.) – pokaż zmiany od wersji poprzedzającej, m – mała (drobna) zmiana

  • (bież. | poprz.) 19:32, 8 sie 2017‎ AndrzejSalwicki (dyskusja | edycje)‎ . . (3162 bajty) (+3162)‎ . . (Utworzono nową stronę "=== ''Co z logiką dynamiczną? Słyszałem, że teraz nie logika algorytmiczna lecz logika dynamiczna się liczy''.=== :1. Autorzy książki Dynamic Logic uważają, ż...")
Źródło „http://lem12.uksw.edu.pl/wiki/Dynamic_logic”