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
01:43, 6 mar 2024
382 KB
UlotkaLoglan.pdf
AnastasiiaSadlovska
01:40, 6 mar 2024
374 KB
Ukrainian language.png
AnastasiiaSadlovska
19:18, 3 mar 2024
8 KB
CollatzConjecturebecom...
AndrzejSalwicki
13:25, 20 lis 2023
578 KB
StratDrzewoCollatza.png
AndrzejSalwicki
20:31, 11 sie 2023
39 KB
CollatzConjecturebecom...
AndrzejSalwicki
16:54, 11 sie 2023
669 KB
MonStandardModel.png
AndrzejSalwicki
06:47, 27 wrz 2022
49 KB
HotelCollatza.pdf
AndrzejSalwicki
11:46, 5 wrz 2022
493 KB
MainPointsProofCollatz...
AndrzejSalwicki
09:03, 3 wrz 2022
260 KB
SwiatlyProgramista II.pdf
AndrzejSalwicki
07:41, 24 cze 2022
1,71 MB
SwiatlyProgramista I.pdf
AndrzejSalwicki
07:40, 24 cze 2022
1,2 MB
Collatz-algorithms- an...
AndrzejSalwicki
21:11, 28 paź 2021
268 KB
On-Collatz-thm-11-10-2...
AndrzejSalwicki
16:50, 11 paź 2021
422 KB
On-Collatz-thm-7-10-21...
AndrzejSalwicki
21:46, 7 paź 2021
421 KB
On-Collatz-thm-27-09-2...
AndrzejSalwicki
13:49, 27 wrz 2021
517 KB
Algorytmy-bliskie-Coll...
AndrzejSalwicki
19:39, 26 wrz 2021
282 KB
On-Collatz-thm23-09-21...
AndrzejSalwicki
09:32, 23 wrz 2021
517 KB
On-Collatz-thm17-09-21...
AndrzejSalwicki
16:31, 21 wrz 2021
505 KB
On-Collatz-thm-3-09-21...
AndrzejSalwicki
13:29, 4 wrz 2021
494 KB
Na twierdzenie Collatz...
AndrzejSalwicki
15:16, 27 lip 2021
337 KB
ExamplesPrograms.pdf
AndrzejSalwicki
12:10, 8 wrz 2020
208 KB
SlajdyPawel26maj.pdf
AndrzejSalwicki
13:51, 26 maj 2020
532 KB
SlajdyPawel.pdf
AndrzejSalwicki
13:47, 26 maj 2020
532 KB
NPawel.pdf
AndrzejSalwicki
15:24, 13 maj 2020
306 KB
OdDamianaeuclide.pdf
AndrzejSalwicki
10:52, 21 kwi 2020
172 KB
LeafletAlgorithmicLogi...
AndrzejSalwicki
09:37, 2 maj 2019
191 KB
WDnonprog.pdf
AndrzejSalwicki
12:39, 1 maj 2019
1,77 MB
DowodStopu-29-12-2018.pdf
AndrzejSalwicki
09:38, 29 gru 2018
234 KB
DowódStopu-29-12-2018...
AndrzejSalwicki
09:37, 29 gru 2018
234 KB
DowodStopu-28-12-2018.pdf
AndrzejSalwicki
09:31, 29 gru 2018
234 KB
DowodStopu-21-12-2018.pdf
AndrzejSalwicki
09:31, 21 gru 2018
222 KB
DowodStopu-20-12-2018.pdf
AndrzejSalwicki
16:08, 20 gru 2018
221 KB
DowódStopu-17-12-2018...
AndrzejSalwicki
23:05, 17 gru 2018
211 KB
Grzegorczyk4Informatic...
AndrzejSalwicki
10:28, 22 lis 2018
224 KB
Na twierdzenie Collatz...
AndrzejSalwicki
17:10, 21 lis 2018
193 KB
Na twierdzenie Collatz...
AndrzejSalwicki
13:59, 20 lis 2018
191 KB
Na twierdzenie Collatz...
AndrzejSalwicki
18:31, 18 lis 2018
191 KB
Na twierdzenie Collatz...
AndrzejSalwicki
11:05, 18 lis 2018
190 KB
DowódStopu-17-11-2018...
AndrzejSalwicki
15:33, 17 lis 2018
186 KB
DowódStopu-16-11-18.pdf
AndrzejSalwicki
10:08, 16 lis 2018
181 KB
DowódStopu.pdf
AndrzejSalwicki
10:05, 16 lis 2018
181 KB
NaTwierdzenieCollatza.pdf
AndrzejSalwicki
09:59, 16 lis 2018
323 KB
OnCollatzTheorem14Sep2...
AndrzejSalwicki
16:42, 14 wrz 2018
315 KB
OnCollatzTheorem.pdf
AndrzejSalwicki
07:52, 13 wrz 2018
314 KB
OnCollatzTheorem13Sep2...
AndrzejSalwicki
07:33, 13 wrz 2018
314 KB
OnCollatzTheorem--12Se...
AndrzejSalwicki
16:46, 12 wrz 2018
313 KB
OnCollatzTheorem12Sep2...
AndrzejSalwicki
13:12, 12 wrz 2018
314 KB
NaTwierdzenieCollatzaN...
AndrzejSalwicki
18:39, 27 sie 2018
324 KB
1pierwszaRec.pdf
AndrzejSalwicki
16:24, 30 maj 2018
105 KB
Second-report-08.pdf
AndrzejSalwicki
16:11, 30 maj 2018
83 KB
DiscrepancyReport.pdf
AndrzejSalwicki
16:09, 30 maj 2018
78 KB
On-Euclids-algorithm-2...
AndrzejSalwicki
20:27, 2 maj 2018
368 KB
FI-On-Euclids-algorith...
AndrzejSalwicki
20:15, 2 maj 2018
368 KB
WarpechowskiTezaDokt.pdf
AndrzejSalwicki
18:59, 7 lut 2018
965 KB
LoglanMan.pdf
AndrzejSalwicki
11:09, 16 sty 2018
1,99 MB
AssigningMeanings1967.pdf
AndrzejSalwicki
20:12, 8 sie 2017
668 KB
Loglan.log
AndrzejSalwicki
14:24, 8 sie 2017
228 KB
Gen.log
AndrzejSalwicki
14:23, 8 sie 2017
31 KB
Int.log
AndrzejSalwicki
14:16, 8 sie 2017
100 KB
On-Euclids-algorithm-B...
AndrzejSalwicki
21:13, 7 sie 2017
314 KB
On-Euclids-algorithm.pdf
AndrzejSalwicki
10:26, 8 lip 2017
291 KB
Safe and effective obj...
AndrzejSalwicki
11:22, 13 lis 2016
343 KB
InferenceRules.jpg
AndrzejSalwicki
15:30, 12 paź 2016
16 KB
AxiomsFOL-AL.jpg
AndrzejSalwicki
15:29, 12 paź 2016
30 KB
AxiomPL.jpg
AndrzejSalwicki
15:29, 12 paź 2016
19 KB
4logiki.jpg
AndrzejSalwicki
14:31, 12 paź 2016
24 KB
Prezentacja27-01-2009E...
AndrzejSalwicki
14:36, 6 mar 2016
1,36 MB
SymulacjaBanku.pdf
AndrzejSalwicki
13:56, 6 mar 2016
36 KB
Swidaarticle.pdf
AndrzejSalwicki
23:14, 29 lut 2016
156 KB
DziedzictwoLoglanu2016...
AndrzejSalwicki
11:21, 17 lut 2016
1,15 MB
DziedzictwoLoglanu.pdf
AndrzejSalwicki
22:43, 16 lut 2016
49 KB
LeafletLoglan.pdf
AndrzejSalwicki
21:00, 5 sty 2016
102 KB
Swap.pdf
AndrzejSalwicki
21:21, 25 lis 2015
105 KB
Kalfa.jpg
AndrzejSalwicki
14:31, 24 lis 2015
10 KB
4lanlogics.jpg
AndrzejSalwicki
13:14, 24 lis 2015
19 KB
4logics.jpg
AndrzejSalwicki
13:09, 24 lis 2015
22 KB
4lanlogics.pdf
AndrzejSalwicki
12:01, 24 lis 2015
21 KB
4logics.pdf
AndrzejSalwicki
12:00, 24 lis 2015
11 KB
On certain-PAL-propert...
AndrzejSalwicki
18:54, 23 lis 2015
685 KB
On Formalized-Mirk.pdf
AndrzejSalwicki
18:47, 23 lis 2015
1,71 MB
Concatenation.pdf
AndrzejSalwicki
18:41, 23 lis 2015
4,8 MB
ProvingSimulation.pdf
AndrzejSalwicki
20:36, 20 lis 2015
218 KB
SimClassWersja10.pdf
AndrzejSalwicki
17:58, 20 lis 2015
45 KB
SimClassWersja9.pdf
AndrzejSalwicki
17:58, 20 lis 2015
45 KB
SimClassWersja8.pdf
AndrzejSalwicki
17:57, 20 lis 2015
45 KB
SimClassWersja7.pdf
AndrzejSalwicki
17:57, 20 lis 2015
43 KB
SimClassWersja6.pdf
AndrzejSalwicki
17:56, 20 lis 2015
44 KB
SimClassWersja5.pdf
AndrzejSalwicki
17:56, 20 lis 2015
43 KB
SimClassWersja4.pdf
AndrzejSalwicki
17:55, 20 lis 2015
43 KB
SimClassWersja3.pdf
AndrzejSalwicki
17:55, 20 lis 2015
35 KB
SimClassWersja2.pdf
AndrzejSalwicki
17:54, 20 lis 2015
26 KB
SimClassWersja1.pdf
AndrzejSalwicki
17:53, 20 lis 2015
48 KB
AL+SpecVer.pdf
AndrzejSalwicki
17:42, 20 lis 2015
384 KB
Experimenting Proving.pdf
AndrzejSalwicki
17:09, 20 lis 2015
503 KB
ProgramdDeallocatn-II.pdf
AndrzejSalwicki
12:32, 20 lis 2015
432 KB
A-Biela.pdf
AndrzejSalwicki
19:33, 9 lis 2015
4,88 MB
Verifying-a-class.pdf
AndrzejSalwicki
13:58, 29 paź 2015
503 KB
Bericht8410.pdf
AndrzejSalwicki
21:14, 21 paź 2015
8,52 MB
AxMAX.pdf
AndrzejSalwicki
20:56, 21 paź 2015
4,93 MB
4autorow.pdf
AndrzejSalwicki
20:46, 21 paź 2015
6,8 MB
Burkhard.pdf
AndrzejSalwicki
20:33, 21 paź 2015
2,41 MB
LBan1980.pdf
AndrzejSalwicki
20:27, 21 paź 2015
13,4 MB
ProgrammedDeallocation...
AndrzejSalwicki
17:42, 20 paź 2015
354 KB
IPET-09-2Nov.pdf
AndrzejSalwicki
16:36, 14 paź 2015
648 KB
ArtBolkaCiesielskiego1...
AndrzejSalwicki
10:21, 3 paź 2015
152 KB
BanachowskiDataStruct.pdf
AndrzejSalwicki
12:41, 28 lip 2015
4,55 MB
Kreczmar-Efficiency-pr...
AndrzejSalwicki
12:17, 24 cze 2015
4,08 MB
Kreczmar-Program-Field...
AndrzejSalwicki
09:49, 23 cze 2015
11,28 MB
Banachowski-II-167-193...
AndrzejSalwicki
09:41, 23 cze 2015
7,94 MB
BanI-93-119.pdf
AndrzejSalwicki
12:45, 22 cze 2015
8,19 MB
Mirkowska-II-147-165.pdf
AndrzejSalwicki
10:20, 13 cze 2015
7,2 MB
CalculuswIterationQuan...
AndrzejSalwicki
07:57, 13 cze 2015
1,92 MB
Bcp211.pdf
AndrzejSalwicki
17:13, 11 cze 2015
13,01 MB
MirkowskaI-1-17.pdf
AndrzejSalwicki
15:48, 11 cze 2015
5,43 MB
Programmed-deallocatio...
AndrzejSalwicki
00:05, 15 mar 2015
172 KB
MgrBolek.pdf
AndrzejSalwicki
12:57, 20 lut 2015
3,86 MB
KreczmarMuldner-Corout...
AndrzejSalwicki
19:44, 21 sty 2015
673 KB
TOWHANC.pdf
AndrzejSalwicki
18:09, 5 sty 2015
38 KB
Heapsort.pdf
AndrzejSalwicki
13:29, 4 sty 2015
137 KB
HEAPSORT.odt
AndrzejSalwicki
18:38, 3 sty 2015
24 KB
Loglan3.pdf
AndrzejSalwicki
19:23, 19 gru 2014
13,24 MB
Loglan2.pdf
AndrzejSalwicki
17:25, 19 gru 2014
18,21 MB
Loglan1.pdf
AndrzejSalwicki
10:45, 19 gru 2014
18,71 MB
GMP1970.pdf
AndrzejSalwicki
16:35, 25 lis 2014
2,31 MB
PracaFI22.10.2007.pdf
AndrzejSalwicki
20:45, 21 lis 2014
194 KB
C3149.pdf
AndrzejSalwicki
20:30, 21 lis 2014
452 KB
Bolek1988.pdf
AndrzejSalwicki
12:29, 21 lis 2014
103 KB
AlienCall.pdf
AndrzejSalwicki
12:23, 21 lis 2014
463 KB
Algorithmic Logic.pdf
AndrzejSalwicki
12:37, 17 cze 2014
14,86 MB
LogikaAlgorytmiczna 2z...
AndrzejSalwicki
11:02, 28 maj 2014
17,16 MB
LogikaAlgorytmiczna 1z...
AndrzejSalwicki
11:02, 28 maj 2014
16,81 MB
AlgoLogic.pdf
AndrzejSalwicki
19:02, 3 maj 2014
646 KB
Loglan82-white-book.pdf
AndrzejSalwicki
06:16, 4 kwi 2014
134 KB
Instaluj Loglan na- Wi...
AndrzejSalwicki
12:42, 9 mar 2014
780 KB
Loglan.g4.odt
AndrzejSalwicki
12:58, 18 cze 2013
13 KB
BST-Próba-dowodu.pdf
AndrzejSalwicki
12:37, 3 kwi 2013
283 KB
Flag of Poland.svg.png
AndrzejSalwicki
14:06, 20 mar 2013
112 B
22px-English language....
AndrzejSalwicki
13:34, 20 mar 2013
714 B
Próba-dowodu.pdf
AndrzejSalwicki
21:55, 21 lut 2013
282 KB
Winograd.pdf
AndrzejSalwicki
23:44, 9 lut 2013
186 KB
Instalacja wtyczki do...
AndrzejSalwicki
23:52, 6 lut 2013
36 KB
TREEGEN.pdf
AndrzejSalwicki
18:43, 6 lut 2013
54 KB
MERGE.pdf
AndrzejSalwicki
18:20, 6 lut 2013
28 KB
MERGE.odt
AndrzejSalwicki
17:21, 6 lut 2013
19 KB
MERGE.DOC
AndrzejSalwicki
16:30, 6 lut 2013
6 KB
Zaproszenie-do-wspolpr...
AndrzejSalwicki
13:23, 6 lut 2013
633 KB
Seminarium9XII2009.pdf
AndrzejSalwicki
13:17, 6 lut 2013
656 KB
SeminariumPoznan.pdf
AndrzejSalwicki
13:08, 6 lut 2013
1,81 MB
INSTALL VLP.pdf
AndrzejSalwicki
12:57, 6 lut 2013
45 KB
Loglanmi.pdf
AndrzejSalwicki
12:45, 6 lut 2013
190 KB
Userman2W.pdf
AndrzejSalwicki
12:42, 6 lut 2013
270 KB
Report82.pdf
AndrzejSalwicki
12:29, 6 lut 2013
554 KB
Quickref.pdf
AndrzejSalwicki
11:11, 6 lut 2013
85 KB
ComparinObjectLanguage...
AndrzejSalwicki
02:13, 3 lut 2013
53 KB
SoftDiagram.jpg
AndrzejSalwicki
14:56, 2 lut 2013
29 KB
LemLogo.png
Amz
03:01, 2 lut 2013
11 KB
Menu nawigacyjne
Osobiste
18.221.184.72
Dyskusja tego IP
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