Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (100 nowszych | 100 starszych) (20 | 50 | 100 | 250 | 500)
- 11:07, 30 lip 2017 (różn. | hist.) . . (-7) . . Loglan'82 project (→Kompilatory) (ostatnia)
- 17:15, 29 lip 2017 (różn. | hist.) . . (-4) . . Logika Algorytmiczna (→Wprowadzenie)
- 14:05, 29 lip 2017 (różn. | hist.) . . (+74) . . Logika Algorytmiczna (→Wprowadzenie)
- 14:00, 29 lip 2017 (różn. | hist.) . . (+15) . . Logika Algorytmiczna (→Wprowadzenie)
- 13:44, 29 lip 2017 (różn. | hist.) . . (+69) . . Logika Algorytmiczna (→Wprowadzenie)
- 09:38, 29 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 08:37, 29 lip 2017 (różn. | hist.) . . (+1) . . Logika Algorytmiczna (→Bibliografia)
- 08:31, 29 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 08:27, 29 lip 2017 (różn. | hist.) . . (-1) . . Logika Algorytmiczna (→Bibliografia)
- 08:26, 29 lip 2017 (różn. | hist.) . . (0) . . Logika Algorytmiczna (→Bibliografia)
- 08:25, 29 lip 2017 (różn. | hist.) . . (0) . . Logika Algorytmiczna (→Bibliografia)
- 08:08, 29 lip 2017 (różn. | hist.) . . (0) . . N Plik:FI-On-Euclids-algorithm.pdf
- 07:17, 29 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 09:20, 28 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 09:18, 28 lip 2017 (różn. | hist.) . . (+14) . . Logika Algorytmiczna (→Bibliografia)
- 09:17, 28 lip 2017 (różn. | hist.) . . (-36) . . Logika Algorytmiczna (→Bibliografia)
- 09:15, 28 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 09:11, 28 lip 2017 (różn. | hist.) . . (+66) . . Logika Algorytmiczna (→Bibliografia)
- 09:06, 28 lip 2017 (różn. | hist.) . . (+129) . . m Logika Algorytmiczna (→Bibliografia)
- 08:25, 28 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 09:12, 20 lip 2017 (różn. | hist.) . . (0) . . N Plik:On-Euclids-algorithm-Black.pdf
- 10:26, 8 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“) (ostatnia)
- 07:13, 4 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“)
- 07:51, 7 kwi 2017 (różn. | hist.) . . (-179) . . Strona główna
- 10:41, 12 mar 2017 (różn. | hist.) . . (+687) . . Stosy - struktura algebraiczna (ostatnia)
- 10:23, 12 mar 2017 (różn. | hist.) . . (+4) . . Stosy - struktura algebraiczna
- 10:22, 12 mar 2017 (różn. | hist.) . . (+22) . . Stosy - struktura algebraiczna
- 10:20, 12 mar 2017 (różn. | hist.) . . (+423) . . Stosy - struktura algebraiczna
- 10:07, 12 mar 2017 (różn. | hist.) . . (+17) . . Stosy - struktura algebraiczna
- 10:04, 12 mar 2017 (różn. | hist.) . . (+77) . . Stosy - struktura algebraiczna
- 09:59, 12 mar 2017 (różn. | hist.) . . (+185) . . Stosy - struktura algebraiczna
- 09:10, 12 mar 2017 (różn. | hist.) . . (+442) . . N Stosy - struktura algebraiczna (Utworzono nową stronę "Stosy to struktura algebraiczna znajdująca wiele zastosowań w informatyce.<br /> '''Definicja'''<br /> Struktura algebraiczna <math>A = \langle E \cup S; w, u, p, e, =...")
- 09:10, 4 gru 2016 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“)
- 09:01, 4 gru 2016 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“)
- 20:32, 21 lis 2016 (różn. | hist.) . . (+2) . . Euklides (ostatnia)
- 20:31, 21 lis 2016 (różn. | hist.) . . (+25) . . Euklides
- 20:29, 21 lis 2016 (różn. | hist.) . . (+109) . . Euklides
- 20:27, 21 lis 2016 (różn. | hist.) . . (0) . . N Plik:On-Euclids-algorithm.pdf
- 20:27, 21 lis 2016 (różn. | hist.) . . (-1134) . . Euklides (UWAGA! Zastąpienie treści hasła bardzo krótkim tekstem: „Naszym celem jest analiza algorytmu Euklidesa i zbadanie jak można udowodnić jego poprawność.”)
- 11:22, 13 lis 2016 (różn. | hist.) . . (0) . . Plik:Safe and effective object management system-Sal-Zadr.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:Safe and effective object management system-Sal-Zadr.pdf“) (ostatnia)
- 17:22, 12 paź 2016 (różn. | hist.) . . (+39) . . Logika Algorytmiczna
- 17:21, 12 paź 2016 (różn. | hist.) . . (0) . . Logika Algorytmiczna
- 15:36, 12 paź 2016 (różn. | hist.) . . (-39) . . Logika Algorytmiczna
- 15:35, 12 paź 2016 (różn. | hist.) . . (-20) . . Logika Algorytmiczna
- 15:33, 12 paź 2016 (różn. | hist.) . . (+148) . . Logika Algorytmiczna
- 15:30, 12 paź 2016 (różn. | hist.) . . (0) . . N Plik:InferenceRules.jpg (ostatnia)
- 15:29, 12 paź 2016 (różn. | hist.) . . (0) . . N Plik:AxiomsFOL-AL.jpg (ostatnia)
- 15:29, 12 paź 2016 (różn. | hist.) . . (0) . . N Plik:AxiomPL.jpg (ostatnia)
- 14:35, 12 paź 2016 (różn. | hist.) . . (-12) . . Logika Algorytmiczna
- 14:32, 12 paź 2016 (różn. | hist.) . . (0) . . Logika Algorytmiczna (→Wprowadzenie)
- 14:31, 12 paź 2016 (różn. | hist.) . . (0) . . N Plik:4logiki.jpg (ostatnia)
- 18:10, 22 kwi 2016 (różn. | hist.) . . (+10) . . Fundamental research (→Bibliography)
- 18:33, 12 mar 2016 (różn. | hist.) . . (-4) . . SpecVer (→Konstruowanie i analiza oprogramowania z pomocą logiki algorytmicznej.)
- 23:36, 6 mar 2016 (różn. | hist.) . . (+7) . . SpecVer (→Algorytmiczna teoria liczb naturalnych)
- 20:45, 6 mar 2016 (różn. | hist.) . . (+112) . . SpecVer (→Algorytmiczna teoria liczb naturalnych)
- 20:43, 6 mar 2016 (różn. | hist.) . . (+6) . . SpecVer (→Algorytmiczna teoria liczb naturalnych)
- 15:42, 6 mar 2016 (różn. | hist.) . . (+4) . . SpecVer (→Przykład analizy przeprowadzonej z wykorzystaniem rachunku programów)
- 15:24, 6 mar 2016 (różn. | hist.) . . (+423) . . SpecVer (→Przykład analizy przeprowadzonej z wykorzystaniem rachunku programów)
- 14:36, 6 mar 2016 (różn. | hist.) . . (0) . . N Plik:Prezentacja27-01-2009ExperimProve.pdf (ostatnia)
- 14:23, 6 mar 2016 (różn. | hist.) . . (-112) . . SpecVer (→Przykład analizy przeprowadzonej z wykorzystaniem rachunku programów)
- 14:21, 6 mar 2016 (różn. | hist.) . . (-37) . . SpecVer (→Przykład analizy przeprowadzonej z wykorzystaniem rachunku programów)
- 14:17, 6 mar 2016 (różn. | hist.) . . (+459) . . SpecVer (→Przykład analizy)
- 14:06, 6 mar 2016 (różn. | hist.) . . (+690) . . SpecVer (→Algorytmiczna teoria stosów)
- 13:56, 6 mar 2016 (różn. | hist.) . . (0) . . N Plik:SymulacjaBanku.pdf (ostatnia)
- 04:22, 6 mar 2016 (różn. | hist.) . . (+7) . . Inference rules (→Some auxiliary (secondary) inference rules) (ostatnia)
- 04:21, 6 mar 2016 (różn. | hist.) . . (0) . . Rachunek programów (→Przykłady reguł wnioskowania)
- 04:20, 6 mar 2016 (różn. | hist.) . . (0) . . Rachunek programów (→Przykłady reguł wnioskowania)
- 04:19, 6 mar 2016 (różn. | hist.) . . (+64) . . Rachunek programów (→Przykłady reguł wnioskowania)
- 23:14, 29 lut 2016 (różn. | hist.) . . (0) . . N Plik:Swidaarticle.pdf (ostatnia)
- 20:28, 27 lut 2016 (różn. | hist.) . . (0) . . N Plik:Safe and effective object management system-Sal-Zadr.pdf
- 11:21, 17 lut 2016 (różn. | hist.) . . (0) . . N Plik:DziedzictwoLoglanu2016wyk1.pdf (ostatnia)
- 22:44, 16 lut 2016 (różn. | hist.) . . (+31) . . Strona główna
- 22:43, 16 lut 2016 (różn. | hist.) . . (0) . . N Plik:DziedzictwoLoglanu.pdf (ostatnia)
- 19:39, 13 lut 2016 (różn. | hist.) . . (+56) . . Fundamental research (→Bibliography)
- 19:37, 13 lut 2016 (różn. | hist.) . . (+12) . . Fundamental research (→Bibliography)
- 19:35, 13 lut 2016 (różn. | hist.) . . (-96) . . Fundamental research (→Bibliography)
- 19:32, 13 lut 2016 (różn. | hist.) . . (+6) . . DokumentacjaLoglanu (→Instrukcje instalowania Loglanu) (ostatnia)
- 19:31, 13 lut 2016 (różn. | hist.) . . (+61) . . DokumentacjaLoglanu (→Instrukcje instalowania Loglanu)
- 14:13, 11 lut 2016 (różn. | hist.) . . (+2) . . Dziedzictwo Loglanu (→Wykład) (ostatnia)
- 14:13, 11 lut 2016 (różn. | hist.) . . (0) . . Dziedzictwo Loglanu (→Wykład)
- 13:32, 11 lut 2016 (różn. | hist.) . . (0) . . Dziedzictwo Loglanu (→Zajęcia praktyczne)
- 13:30, 11 lut 2016 (różn. | hist.) . . (+35) . . Dziedzictwo Loglanu
- 11:16, 10 lut 2016 (różn. | hist.) . . (+142) . . Dziedzictwo Loglanu
- 11:07, 10 lut 2016 (różn. | hist.) . . (+62) . . Dziedzictwo Loglanu
- 10:58, 10 lut 2016 (różn. | hist.) . . (+1223) . . N Dziedzictwo Loglanu (Utworzono nową stronę "Andrzej Salwicki zaprasza na Wykład monograficzny <center>Dziedzictwo projektu badawczego Loglan</center> termin i miejsce: środy g. 15 , sala <do wyjaśnienia>...")
- 10:25, 10 lut 2016 (różn. | hist.) . . (+61) . . Strona główna
- 13:04, 8 sty 2016 (różn. | hist.) . . (+160) . . SpecVer (→Algorytmiczna teoria stosów)
- 21:00, 5 sty 2016 (różn. | hist.) . . (0) . . Plik:LeafletLoglan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LeafletLoglan.pdf“) (ostatnia)
- 11:46, 5 sty 2016 (różn. | hist.) . . (+85) . . Strona główna
- 11:45, 5 sty 2016 (różn. | hist.) . . (0) . . N Plik:UlotkaLogikaAlgorytmiczna.pdf
- 11:36, 5 sty 2016 (różn. | hist.) . . (+1) . . Main page
- 11:35, 5 sty 2016 (różn. | hist.) . . (0) . . N Plik:LeafletLoglan.pdf
- 11:35, 5 sty 2016 (różn. | hist.) . . (+66) . . Main page
- 11:32, 5 sty 2016 (różn. | hist.) . . (+23) . . Strona główna
- 11:30, 5 sty 2016 (różn. | hist.) . . (0) . . N Plik:UlotkaLoglan.pdf
- 11:16, 5 sty 2016 (różn. | hist.) . . (+6) . . Strona główna
- 11:15, 5 sty 2016 (różn. | hist.) . . (+31) . . Strona główna
- 13:49, 17 gru 2015 (różn. | hist.) . . (+2) . . Logika Algorytmiczna (→Co z logiką dynamiczną? Słyszałem, że teraz nie logika algorytmiczna lecz logika dynamiczna się liczy.)
- 20:55, 16 gru 2015 (różn. | hist.) . . (+351) . . N What happened (Utworzono nową stronę "The report was submitted to the Information Processing Letter.<br /> :See the decision of IPL. Next, we submitted it to the A.P. Ershov conference. :See the reviews...") (ostatnia)
- 20:50, 16 gru 2015 (różn. | hist.) . . (-10) . . Fundamental research (→Is it possible to deallocate objects in a safe and efficient way?)
(od najświeższych | od najstarszych) Zobacz (100 nowszych | 100 starszych) (20 | 50 | 100 | 250 | 500)