Najnowsze pliki
Skocz do:
nawigacji
,
wyszukiwania
Na tej stronie specjalnej prezentowane są ostatnio przesłane pliki.
Filtruj
Nazwa pliku (lub jej fragment)
(Pokaż boty)
UlotkaLogikaAlgorytmic...
AnastasiiaSadlovska
00:43, 6 mar 2024
382 KB
UlotkaLoglan.pdf
AnastasiiaSadlovska
00:40, 6 mar 2024
374 KB
Ukrainian language.png
AnastasiiaSadlovska
18:18, 3 mar 2024
8 KB
CollatzConjecturebecom...
AndrzejSalwicki
12:25, 20 lis 2023
578 KB
StratDrzewoCollatza.png
AndrzejSalwicki
19:31, 11 sie 2023
39 KB
CollatzConjecturebecom...
AndrzejSalwicki
15:54, 11 sie 2023
669 KB
MonStandardModel.png
AndrzejSalwicki
05:47, 27 wrz 2022
49 KB
HotelCollatza.pdf
AndrzejSalwicki
10:46, 5 wrz 2022
493 KB
MainPointsProofCollatz...
AndrzejSalwicki
08:03, 3 wrz 2022
260 KB
SwiatlyProgramista II.pdf
AndrzejSalwicki
06:41, 24 cze 2022
1,71 MB
SwiatlyProgramista I.pdf
AndrzejSalwicki
06:40, 24 cze 2022
1,2 MB
Collatz-algorithms- an...
AndrzejSalwicki
20:11, 28 paź 2021
268 KB
On-Collatz-thm-11-10-2...
AndrzejSalwicki
15:50, 11 paź 2021
422 KB
On-Collatz-thm-7-10-21...
AndrzejSalwicki
20:46, 7 paź 2021
421 KB
On-Collatz-thm-27-09-2...
AndrzejSalwicki
12:49, 27 wrz 2021
517 KB
Algorytmy-bliskie-Coll...
AndrzejSalwicki
18:39, 26 wrz 2021
282 KB
On-Collatz-thm23-09-21...
AndrzejSalwicki
08:32, 23 wrz 2021
517 KB
On-Collatz-thm17-09-21...
AndrzejSalwicki
15:31, 21 wrz 2021
505 KB
On-Collatz-thm-3-09-21...
AndrzejSalwicki
12:29, 4 wrz 2021
494 KB
Na twierdzenie Collatz...
AndrzejSalwicki
14:16, 27 lip 2021
337 KB
ExamplesPrograms.pdf
AndrzejSalwicki
11:10, 8 wrz 2020
208 KB
SlajdyPawel26maj.pdf
AndrzejSalwicki
12:51, 26 maj 2020
532 KB
SlajdyPawel.pdf
AndrzejSalwicki
12:47, 26 maj 2020
532 KB
NPawel.pdf
AndrzejSalwicki
14:24, 13 maj 2020
306 KB
OdDamianaeuclide.pdf
AndrzejSalwicki
09:52, 21 kwi 2020
172 KB
LeafletAlgorithmicLogi...
AndrzejSalwicki
08:37, 2 maj 2019
191 KB
WDnonprog.pdf
AndrzejSalwicki
11:39, 1 maj 2019
1,77 MB
DowodStopu-29-12-2018.pdf
AndrzejSalwicki
08:38, 29 gru 2018
234 KB
DowódStopu-29-12-2018...
AndrzejSalwicki
08:37, 29 gru 2018
234 KB
DowodStopu-28-12-2018.pdf
AndrzejSalwicki
08:31, 29 gru 2018
234 KB
DowodStopu-21-12-2018.pdf
AndrzejSalwicki
08:31, 21 gru 2018
222 KB
DowodStopu-20-12-2018.pdf
AndrzejSalwicki
15:08, 20 gru 2018
221 KB
DowódStopu-17-12-2018...
AndrzejSalwicki
22:05, 17 gru 2018
211 KB
Grzegorczyk4Informatic...
AndrzejSalwicki
09:28, 22 lis 2018
224 KB
Na twierdzenie Collatz...
AndrzejSalwicki
16:10, 21 lis 2018
193 KB
Na twierdzenie Collatz...
AndrzejSalwicki
12:59, 20 lis 2018
191 KB
Na twierdzenie Collatz...
AndrzejSalwicki
17:31, 18 lis 2018
191 KB
Na twierdzenie Collatz...
AndrzejSalwicki
10:05, 18 lis 2018
190 KB
DowódStopu-17-11-2018...
AndrzejSalwicki
14:33, 17 lis 2018
186 KB
DowódStopu-16-11-18.pdf
AndrzejSalwicki
09:08, 16 lis 2018
181 KB
DowódStopu.pdf
AndrzejSalwicki
09:05, 16 lis 2018
181 KB
NaTwierdzenieCollatza.pdf
AndrzejSalwicki
08:59, 16 lis 2018
323 KB
OnCollatzTheorem14Sep2...
AndrzejSalwicki
15:42, 14 wrz 2018
315 KB
OnCollatzTheorem.pdf
AndrzejSalwicki
06:52, 13 wrz 2018
314 KB
OnCollatzTheorem13Sep2...
AndrzejSalwicki
06:33, 13 wrz 2018
314 KB
OnCollatzTheorem--12Se...
AndrzejSalwicki
15:46, 12 wrz 2018
313 KB
OnCollatzTheorem12Sep2...
AndrzejSalwicki
12:12, 12 wrz 2018
314 KB
NaTwierdzenieCollatzaN...
AndrzejSalwicki
17:39, 27 sie 2018
324 KB
1pierwszaRec.pdf
AndrzejSalwicki
15:24, 30 maj 2018
105 KB
Second-report-08.pdf
AndrzejSalwicki
15:11, 30 maj 2018
83 KB
DiscrepancyReport.pdf
AndrzejSalwicki
15:09, 30 maj 2018
78 KB
On-Euclids-algorithm-2...
AndrzejSalwicki
19:27, 2 maj 2018
368 KB
FI-On-Euclids-algorith...
AndrzejSalwicki
19:15, 2 maj 2018
368 KB
WarpechowskiTezaDokt.pdf
AndrzejSalwicki
17:59, 7 lut 2018
965 KB
LoglanMan.pdf
AndrzejSalwicki
10:09, 16 sty 2018
1,99 MB
AssigningMeanings1967.pdf
AndrzejSalwicki
19:12, 8 sie 2017
668 KB
Loglan.log
AndrzejSalwicki
13:24, 8 sie 2017
228 KB
Gen.log
AndrzejSalwicki
13:23, 8 sie 2017
31 KB
Int.log
AndrzejSalwicki
13:16, 8 sie 2017
100 KB
On-Euclids-algorithm-B...
AndrzejSalwicki
20:13, 7 sie 2017
314 KB
On-Euclids-algorithm.pdf
AndrzejSalwicki
09:26, 8 lip 2017
291 KB
Safe and effective obj...
AndrzejSalwicki
10:22, 13 lis 2016
343 KB
InferenceRules.jpg
AndrzejSalwicki
14:30, 12 paź 2016
16 KB
AxiomsFOL-AL.jpg
AndrzejSalwicki
14:29, 12 paź 2016
30 KB
AxiomPL.jpg
AndrzejSalwicki
14:29, 12 paź 2016
19 KB
4logiki.jpg
AndrzejSalwicki
13:31, 12 paź 2016
24 KB
Prezentacja27-01-2009E...
AndrzejSalwicki
13:36, 6 mar 2016
1,36 MB
SymulacjaBanku.pdf
AndrzejSalwicki
12:56, 6 mar 2016
36 KB
Swidaarticle.pdf
AndrzejSalwicki
22:14, 29 lut 2016
156 KB
DziedzictwoLoglanu2016...
AndrzejSalwicki
10:21, 17 lut 2016
1,15 MB
DziedzictwoLoglanu.pdf
AndrzejSalwicki
21:43, 16 lut 2016
49 KB
LeafletLoglan.pdf
AndrzejSalwicki
20:00, 5 sty 2016
102 KB
Swap.pdf
AndrzejSalwicki
20:21, 25 lis 2015
105 KB
Kalfa.jpg
AndrzejSalwicki
13:31, 24 lis 2015
10 KB
4lanlogics.jpg
AndrzejSalwicki
12:14, 24 lis 2015
19 KB
4logics.jpg
AndrzejSalwicki
12:09, 24 lis 2015
22 KB
4lanlogics.pdf
AndrzejSalwicki
11:01, 24 lis 2015
21 KB
4logics.pdf
AndrzejSalwicki
11:00, 24 lis 2015
11 KB
On certain-PAL-propert...
AndrzejSalwicki
17:54, 23 lis 2015
685 KB
On Formalized-Mirk.pdf
AndrzejSalwicki
17:47, 23 lis 2015
1,71 MB
Concatenation.pdf
AndrzejSalwicki
17:41, 23 lis 2015
4,8 MB
ProvingSimulation.pdf
AndrzejSalwicki
19:36, 20 lis 2015
218 KB
SimClassWersja10.pdf
AndrzejSalwicki
16:58, 20 lis 2015
45 KB
SimClassWersja9.pdf
AndrzejSalwicki
16:58, 20 lis 2015
45 KB
SimClassWersja8.pdf
AndrzejSalwicki
16:57, 20 lis 2015
45 KB
SimClassWersja7.pdf
AndrzejSalwicki
16:57, 20 lis 2015
43 KB
SimClassWersja6.pdf
AndrzejSalwicki
16:56, 20 lis 2015
44 KB
SimClassWersja5.pdf
AndrzejSalwicki
16:56, 20 lis 2015
43 KB
SimClassWersja4.pdf
AndrzejSalwicki
16:55, 20 lis 2015
43 KB
SimClassWersja3.pdf
AndrzejSalwicki
16:55, 20 lis 2015
35 KB
SimClassWersja2.pdf
AndrzejSalwicki
16:54, 20 lis 2015
26 KB
SimClassWersja1.pdf
AndrzejSalwicki
16:53, 20 lis 2015
48 KB
AL+SpecVer.pdf
AndrzejSalwicki
16:42, 20 lis 2015
384 KB
Experimenting Proving.pdf
AndrzejSalwicki
16:09, 20 lis 2015
503 KB
ProgramdDeallocatn-II.pdf
AndrzejSalwicki
11:32, 20 lis 2015
432 KB
A-Biela.pdf
AndrzejSalwicki
18:33, 9 lis 2015
4,88 MB
Verifying-a-class.pdf
AndrzejSalwicki
12:58, 29 paź 2015
503 KB
Bericht8410.pdf
AndrzejSalwicki
20:14, 21 paź 2015
8,52 MB
AxMAX.pdf
AndrzejSalwicki
19:56, 21 paź 2015
4,93 MB
4autorow.pdf
AndrzejSalwicki
19:46, 21 paź 2015
6,8 MB
(od najświeższych |
od najstarszych
) Zobacz (100 nowszych |
100 starszych
) (
20
|
50
|
100
|
250
|
500
)
Menu nawigacyjne
Osobiste
Logowanie i rejestracja
Przestrzenie nazw
Strona specjalna
Warianty
Widok
Działania
Szukaj
Nawigacja
Strona główna
Ostatnie zmiany
Losowa strona
Pomoc
Narzędzia
Strony specjalne
Wersja do druku