Kombinatorna logika: Povijest izmjena

Dodatni alati:

Izbor inačica za usporedbu: označite kružiće pokraj dviju inačica koje želite usporediti i pritisnite »Enter« ili tipku »Usporedi izabrane inačice«.
Tumač oznaka: (sad) = razlika u odnosu na sadašnju inačicu, (pret) = razlika u odnosu na prethodnu inačicu, m = manja izmjena.

sadpret 14:1414:14, 9. lipnja 2023.‎ Croxyz razgovor doprinosi‎ 31.786 bajtova −12‎ →‎CLK nasuprot CLI računu ukloni ovu izmjenu
sadpret 14:1314:13, 9. lipnja 2023.‎ Croxyz razgovor doprinosi‎ 31.798 bajtova −12‎ →‎Potpunost S-K baze ukloni ovu izmjenu

sadpret 01:2201:22, 1. siječnja 2022.‎ PonoRoboT razgovor doprinosi‎ 31.810 bajtova +26‎ RpA: WP:NI, WP:HRV ukloni ovu izmjenu Oznaka: PAWS [2.1]

sadpret 09:4009:40, 4. rujna 2021.‎ InternetArchiveBot razgovor doprinosi‎ 31.784 bajta +444‎ Broj spašenih izvora: 3; broj poveznica koje su označene kao mrtve: 0) #IABot (v2.0.8 ukloni ovu izmjenu

sadpret 04:5504:55, 14. srpnja 2021.‎ PonoRoboT razgovor doprinosi‎ m 31.340 bajtova −83‎ coauthors→last,first ukloni ovu izmjenu

sadpret 01:2501:25, 28. ožujka 2021.‎ NeptuneBot razgovor doprinosi‎ m 31.423 bajta +1‎ →‎Sažetak lambda računa: pravopis ukloni ovu izmjenu Oznaka: AutoWikiBrowser

sadpret 13:3313:33, 2. listopada 2020.‎ Croxyz razgovor doprinosi‎ 31.422 bajta −4‎ Nema sažetka uređivanja ukloni ovu izmjenu

sadpret 13:2413:24, 2. veljače 2020.‎ HmxBot razgovor doprinosi‎ m 31.426 bajtova −3‎ zamjena čarobnih ISBN poveznica predlošcima (mw:Requests for comment/Future of magic links) i/ili općeniti ispravci ukloni ovu izmjenu

sadpret 23:4623:46, 1. prosinca 2016.‎ Ivi104 razgovor doprinosi‎ m 31.429 bajtova +3‎ pravopis ukloni ovu izmjenu

sadpret 10:4910:49, 24. svibnja 2015.‎ MaGa razgovor doprinosi‎ m 31.426 bajtova +2‎ uklonjena promjena suradnika MaGaBot (razgovor), vraćeno na posljednju inačicu suradnika Addbot ukloni ovu izmjenu
sadpret 10:4710:47, 24. svibnja 2015.‎ MaGaBot razgovor doprinosi‎ m 31.424 bajta −2‎ lektura ukloni ovu izmjenu

sadpret 00:4700:47, 12. ožujka 2013.‎ Addbot razgovor doprinosi‎ m 31.426 bajtova −358‎ Bot: brisanje 12 međuwiki poveznica premještenih u stranicu d:q1481571 na Wikidati ukloni ovu izmjenu

sadpret 09:1109:11, 8. srpnja 2012.‎ ZéroBot razgovor doprinosi‎ m 31.784 bajta +32‎ r2.7.1) (robot Dodaje: ja:コンビネータ論理 ukloni ovu izmjenu

sadpret 14:1414:14, 14. svibnja 2010.‎ Luckas-bot razgovor doprinosi‎ m 31.752 bajta +29‎ robot Dodaje: ca:Lògica combinatòria ukloni ovu izmjenu

sadpret 00:5600:56, 18. studenoga 2009.‎ Xqbot razgovor doprinosi‎ m 31.723 bajta +3‎ robot Mijenja: nl:Combinatorische logica ukloni ovu izmjenu

sadpret 23:3623:36, 4. kolovoza 2009.‎ TXiKiBoT razgovor doprinosi‎ m 31.720 bajtova +27‎ robot Dodaje: sh:Kombinatorna logika ukloni ovu izmjenu

sadpret 23:2223:22, 20. srpnja 2009.‎ Alexbot razgovor doprinosi‎ m 31.693 bajta +27‎ robot Dodaje: nl:Combinatoire logica ukloni ovu izmjenu

sadpret 23:4323:43, 5. lipnja 2009.‎ SpeedyBot razgovor doprinosi‎ m 31.666 bajtova −3‎ pravopis ukloni ovu izmjenu

sadpret 00:4600:46, 25. svibnja 2009.‎ SieBot razgovor doprinosi‎ m 31.669 bajtova +29‎ robot Dodaje: pt:Lógica combinatória ukloni ovu izmjenu

sadpret 16:1716:17, 26. studenoga 2008.‎ Ptbotgourou razgovor doprinosi‎ m 31.640 bajtova +30‎ robot Dodaje: pl:Rachunek kombinatorów ukloni ovu izmjenu

sadpret 01:0301:03, 30. siječnja 2008.‎ BodhisattvaBot razgovor doprinosi‎ m 31.610 bajtova +2‎ Bot: ispravak iz main u glavni ukloni ovu izmjenu

sadpret 09:5409:54, 3. srpnja 2007.‎ Ivan Štambuk razgovor doprinosi‎ m 31.608 bajtova +35‎ →‎Kombinatori B, C ukloni ovu izmjenu

sadpret 21:4121:41, 2. srpnja 2007.‎ Ivan Štambuk razgovor doprinosi‎ m 31.573 bajta +8‎ →‎Konverzija lambda termina u ekvivalentan kombinatorni termin ukloni ovu izmjenu
sadpret 21:4121:41, 2. srpnja 2007.‎ Ivan Štambuk razgovor doprinosi‎ m 31.565 bajtova +64‎ →‎Konverzija lambda termina u ekvivalentan kombinatorni termin ukloni ovu izmjenu

sadpret 20:0420:04, 1. srpnja 2007.‎ Ivan Štambuk razgovor doprinosi‎ m 31.501 bajt +175‎ Nema sažetka uređivanja ukloni ovu izmjenu
sadpret 19:1419:14, 1. srpnja 2007.‎ Ivan Štambuk razgovor doprinosi‎ m 31.326 bajtova +12‎ →‎Neodlučivost kombinatornog računa ukloni ovu izmjenu
sadpret 18:5718:57, 1. srpnja 2007.‎ Ivan Štambuk razgovor doprinosi‎ m 31.314 bajtova +9.316‎ Nema sažetka uređivanja ukloni ovu izmjenu
sadpret 18:5218:52, 1. srpnja 2007.‎ Ivan Štambuk razgovor doprinosi‎ 21.998 bajtova −105‎ Nema sažetka uređivanja ukloni ovu izmjenu

sadpret 20:1020:10, 29. lipnja 2007.‎ Ivan Štambuk razgovor doprinosi‎ 7.597 bajtova +3.664‎ == Sažetak lambda računa == ukloni ovu izmjenu
sadpret 14:1914:19, 29. lipnja 2007.‎ Ivan Štambuk razgovor doprinosi‎ 3.933 bajta +1.669‎ Nema sažetka uređivanja ukloni ovu izmjenu

sadpret 04:3304:33, 12. lipnja 2007.‎ Ivan Štambuk razgovor doprinosi‎ 2.264 bajta −1‎ čišćenje (AWB) ukloni ovu izmjenu

sadpret 17:1217:12, 9. lipnja 2007.‎ Ivan Štambuk razgovor doprinosi‎ m 2.265 bajtova −9‎ Kategorija:Lambda račun ukloni ovu izmjenu
sadpret 16:3416:34, 9. lipnja 2007.‎ Ivan Štambuk razgovor doprinosi‎ m 2.274 bajta 0‎ Nema sažetka uređivanja ukloni ovu izmjenu
sadpret 16:3316:33, 9. lipnja 2007.‎ Ivan Štambuk razgovor doprinosi‎ 2.274 bajta +26‎ Kategorija:Matematika ukloni ovu izmjenu
sadpret 16:3216:32, 9. lipnja 2007.‎ Ivan Štambuk razgovor doprinosi‎ 2.248 bajtova +2.248‎ Nova stranica: '''Kombinatorna logika''' je notacija koju su uveli Moses Schönfinkel i Haskell Curry kako bi eliminirali potrebu za varijablama u [[matematička logika|matematičkoj log...

Kombinatorna logika: Povijest izmjena

9. lipnja 2023.

1. siječnja 2022.

4. rujna 2021.

14. srpnja 2021.

28. ožujka 2021.

2. listopada 2020.

2. veljače 2020.

1. prosinca 2016.

24. svibnja 2015.

12. ožujka 2013.

8. srpnja 2012.

14. svibnja 2010.

18. studenoga 2009.

4. kolovoza 2009.

20. srpnja 2009.

5. lipnja 2009.

25. svibnja 2009.

26. studenoga 2008.

30. siječnja 2008.

3. srpnja 2007.

2. srpnja 2007.

1. srpnja 2007.

30. lipnja 2007.

29. lipnja 2007.

12. lipnja 2007.

9. lipnja 2007.