Lista plików

Na tej stronie specjalnej prezentowane są wszystkie przesłane pliki.

Data	Nazwa	Wielkość	Użytkownik	Opis	Wersje
16:24, 30 maj 2018	1pierwszaRec.pdf (plik)	105 KB	AndrzejSalwicki		1
13:34, 20 mar 2013	22px-English language.svg.png (plik)	714 B	AndrzejSalwicki	flaga j. angielskiego	1
20:46, 21 paź 2015	4autorow.pdf (plik)	6,8 MB	AndrzejSalwicki		1
13:14, 24 lis 2015	4lanlogics.jpg (plik)	19 KB	AndrzejSalwicki		1
12:01, 24 lis 2015	4lanlogics.pdf (plik)	21 KB	AndrzejSalwicki		1
13:09, 24 lis 2015	4logics.jpg (plik)	22 KB	AndrzejSalwicki		1
12:00, 24 lis 2015	4logics.pdf (plik)	11 KB	AndrzejSalwicki		1
14:31, 12 paź 2016	4logiki.jpg (plik)	24 KB	AndrzejSalwicki		1
19:33, 9 lis 2015	A-Biela.pdf (plik)	4,88 MB	AndrzejSalwicki		1
17:42, 20 lis 2015	AL+SpecVer.pdf (plik)	384 KB	AndrzejSalwicki		1
19:02, 3 maj 2014	AlgoLogic.pdf (plik)	646 KB	AndrzejSalwicki	a	1
12:37, 17 cze 2014	Algorithmic Logic.pdf (plik)	14,86 MB	AndrzejSalwicki		1
19:39, 26 wrz 2021	Algorytmy-bliskie-Collatzowi.pdf (plik)	282 KB	AndrzejSalwicki		1
12:23, 21 lis 2014	AlienCall.pdf (plik)	463 KB	AndrzejSalwicki		1
10:21, 3 paź 2015	ArtBolkaCiesielskiego1988.pdf (plik)	152 KB	AndrzejSalwicki		1
20:12, 8 sie 2017	AssigningMeanings1967.pdf (plik)	668 KB	AndrzejSalwicki		1
20:56, 21 paź 2015	AxMAX.pdf (plik)	4,93 MB	AndrzejSalwicki		1
15:29, 12 paź 2016	AxiomPL.jpg (plik)	19 KB	AndrzejSalwicki		1
15:29, 12 paź 2016	AxiomsFOL-AL.jpg (plik)	30 KB	AndrzejSalwicki		1
12:37, 3 kwi 2013	BST-Próba-dowodu.pdf (plik)	283 KB	AndrzejSalwicki		1
12:45, 22 cze 2015	BanI-93-119.pdf (plik)	8,19 MB	AndrzejSalwicki		1
09:41, 23 cze 2015	Banachowski-II-167-193.pdf (plik)	7,94 MB	AndrzejSalwicki		1
12:41, 28 lip 2015	BanachowskiDataStruct.pdf (plik)	4,55 MB	AndrzejSalwicki		1
17:13, 11 cze 2015	Bcp211.pdf (plik)	13,01 MB	AndrzejSalwicki	praca wspólna z Rasiową, Antkiem i Leszkiem	1
21:14, 21 paź 2015	Bericht8410.pdf (plik)	8,52 MB	AndrzejSalwicki		1
12:29, 21 lis 2014	Bolek1988.pdf (plik)	103 KB	AndrzejSalwicki		1
20:33, 21 paź 2015	Burkhard.pdf (plik)	2,41 MB	AndrzejSalwicki		1
20:30, 21 lis 2014	C3149.pdf (plik)	452 KB	AndrzejSalwicki		1
07:57, 13 cze 2015	CalculuswIterationQuantifiers.pdf (plik)	1,92 MB	AndrzejSalwicki		1
21:11, 28 paź 2021	Collatz-algorithms- and -friends.pdf (plik)	268 KB	AndrzejSalwicki		1
16:54, 11 sie 2023	CollatzConjecturebecomesTheorem11Aug23.pdf (plik)	669 KB	AndrzejSalwicki		1
13:25, 20 lis 2023	CollatzConjecturebecomesTheorem20Nov23.pdf (plik)	578 KB	AndrzejSalwicki		1
02:13, 3 lut 2013	ComparinObjectLanguages.pdf (plik)	53 KB	AndrzejSalwicki	Comparison of object oriented languages	1
18:41, 23 lis 2015	Concatenation.pdf (plik)	4,8 MB	AndrzejSalwicki		1
16:09, 30 maj 2018	DiscrepancyReport.pdf (plik)	78 KB	AndrzejSalwicki		1
16:08, 20 gru 2018	DowodStopu-20-12-2018.pdf (plik)	221 KB	AndrzejSalwicki		1
09:31, 21 gru 2018	DowodStopu-21-12-2018.pdf (plik)	222 KB	AndrzejSalwicki		1
09:31, 29 gru 2018	DowodStopu-28-12-2018.pdf (plik)	234 KB	AndrzejSalwicki		2
09:38, 29 gru 2018	DowodStopu-29-12-2018.pdf (plik)	234 KB	AndrzejSalwicki	popr 29 XII	1
10:08, 16 lis 2018	DowódStopu-16-11-18.pdf (plik)	181 KB	AndrzejSalwicki	raport z 16 listopada 2018	1
15:33, 17 lis 2018	DowódStopu-17-11-2018.pdf (plik)	186 KB	AndrzejSalwicki		1
23:05, 17 gru 2018	DowódStopu-17-12-2018.pdf (plik)	211 KB	AndrzejSalwicki		1
09:37, 29 gru 2018	DowódStopu-29-12-2018.pdf (plik)	234 KB	AndrzejSalwicki	poprawiono 29 grudnia	1
10:05, 16 lis 2018	DowódStopu.pdf (plik)	181 KB	AndrzejSalwicki		3
22:43, 16 lut 2016	DziedzictwoLoglanu.pdf (plik)	49 KB	AndrzejSalwicki		1
11:21, 17 lut 2016	DziedzictwoLoglanu2016wyk1.pdf (plik)	1,15 MB	AndrzejSalwicki		1
12:10, 8 wrz 2020	ExamplesPrograms.pdf (plik)	208 KB	AndrzejSalwicki	Set of programs. Examples from 1983 Zaborow Summer School.	1
17:09, 20 lis 2015	Experimenting Proving.pdf (plik)	503 KB	AndrzejSalwicki		1
20:15, 2 maj 2018	FI-On-Euclids-algorithm.pdf (plik)	368 KB	AndrzejSalwicki		8
14:06, 20 mar 2013	Flag of Poland.svg.png (plik)	112 B	AndrzejSalwicki		1