Thuluviel közreműködései
Megjelenés
918 szerkesztéssel rendelkező felhasználó. Fiók létrehozva: 2008. január 11.
2013. január 12.
- 09:182013. január 12., 09:18 eltér történet +419 Vita:Peano-aritmetika →Jelölések aktuális
2010. szeptember 26.
- 21:102010. szeptember 26., 21:10 eltér történet +383 Ú Vita:Ekvivalenciareláció reláció mint halmazelméleti cucc
2010. július 11.
- 20:462010. július 11., 20:46 eltér történet +9 084 Logikai kalkulus →Gentzen típusú szekvenskalkulus: dualitás, intuicionizmus, 4 példa
- 17:362010. július 11., 17:36 eltér történet +703 Logikai kalkulus →Természetes levezetés: példa
- 15:252010. július 11., 15:25 eltér történet +363 Ú Vita:Logikai kalkulus boole aktuális
2010. július 10.
- 10:082010. július 10., 10:08 eltér történet +101 a Logikai kalkulus →Gentzen típusú szekvenskalkulus: szebb táblázat
- 09:572010. július 10., 09:57 eltér történet +2 a Logikai kalkulus →Az intuicionista logika kalkulusai
- 09:562010. július 10., 09:56 eltér történet +160 a Logikai kalkulus →Az intuicionista logika kalkulusai
- 09:532010. július 10., 09:53 eltér történet +782 a Logikai kalkulus →Az intuicionista logika kalkulusai: helykitöltésként még egy példa
- 09:212010. július 10., 09:21 eltér történet +303 a Logikai kalkulus →Az intuicionista logika kalkulusai
- 08:582010. július 10., 08:58 eltér történet +2 353 Logikai kalkulus →Frege-Hilbert típusú kalkulus: két példa
2010. július 9.
- 21:102010. július 9., 21:10 eltér történet +1 a Logikai kalkulus →Az intuicionista logika kalkulusai
- 21:082010. július 9., 21:08 eltér történet +1 983 Logikai kalkulus →Gentzen típusú szekvenskalkulus
- 19:442010. július 9., 19:44 eltér történet +2 892 Logikai kalkulus →Gentzen típusú szekvenskalkulus: félkész táblázat, mindjárt befejezem Címke: HTML-sortörés
- 17:542010. július 9., 17:54 eltér történet −22 a Logikai kalkulus →Klasszikus logika kalkulusai
- 17:542010. július 9., 17:54 eltér történet −22 a Logikai kalkulus →Az intuicionista logika kalkulusai
- 17:482010. július 9., 17:48 eltér történet −46 Logikai kalkulus már nem csonk az egész
- 17:472010. július 9., 17:47 eltér történet 0 a Logikai kalkulus Nincs szerkesztési összefoglaló
- 17:462010. július 9., 17:46 eltér történet +1 a Logikai kalkulus →Jegyzetek
- 17:462010. július 9., 17:46 eltér történet +10 Logikai kalkulus Nincs szerkesztési összefoglaló
- 17:432010. július 9., 17:43 eltér történet −1 166 Logikai kalkulus →Az intuicionista logika kalkulusai: jobb táblázat
- 17:362010. július 9., 17:36 eltér történet +1 a Logikai kalkulus →Klasszikus logika kalkulusai
- 17:352010. július 9., 17:35 eltér történet −749 Logikai kalkulus →Klasszikus logika kalkulusai: jobbratéve a táblázat
- 17:122010. július 9., 17:12 eltér történet +5 464 Logikai kalkulus →Természetes levezetés: megírva, még kell példa Címke: HTML-sortörés
- 16:162010. július 9., 16:16 eltér történet +814 Vita:Modális logika →Modalitás a nyelvben: én ezt nem olvasom el
- 14:152010. július 9., 14:15 eltér történet +1 a Logikai kalkulus →Helyesség, teljesség, adekvátság
- 14:052010. július 9., 14:05 eltér történet +226 Wikipédia:Kocsmafal (kezdőknek) →Cikk mint forrás
- 12:552010. július 9., 12:55 eltér történet +15 131 Logikai kalkulus források és Frege-Hilbert kalkulus Címke: HTML-sortörés
- 12:512010. július 9., 12:51 eltér történet +54 a Modális logika →Irodalom: szerkesztők
- 12:492010. július 9., 12:49 eltér történet +27 a Modális logika →Irodalom: elírás
- 10:222010. július 9., 10:22 eltér történet +128 Wikipédia:Kocsmafal (kezdőknek) →Cikk mint forrás
- 09:252010. július 9., 09:25 eltér történet +311 Wikipédia:Kocsmafal (kezdőknek) cite article?
2010. július 5.
- 22:292010. július 5., 22:29 eltér történet +24 a Logikai kalkulus angol interwiki
- 22:252010. július 5., 22:25 eltér történet +280 Logikai kalkulus interwiki
- 22:142010. július 5., 22:14 eltér történet +2 353 Ú Logikai kalkulus Létrehozva
- 20:282010. július 5., 20:28 eltér történet +416 Vita:Fogalomírás →Frege-axiómarsz. függetlensége stb.: 3. axióma
- 20:212010. július 5., 20:21 eltér történet 0 Fogalomírás →A Hilbert-kalkulus: 3. axióma hibás volt
2010. július 3.
- 15:022010. július 3., 15:02 eltér történet −2 a Wikipédia:Matematikai műhely/Tagjaink Nincs szerkesztési összefoglaló
2010. május 3.
- 13:532010. május 3., 13:53 eltér történet +44 Modális logika →S5: opcit
- 13:452010. május 3., 13:45 eltér történet −1 a Modális logika →B
- 13:442010. május 3., 13:44 eltér történet +99 Modális logika →B: opcit
- 13:402010. május 3., 13:40 eltér történet −306 Modális logika →S4: opcit
- 13:232010. május 3., 13:23 eltér történet +2 a Modális logika →Irodalom
- 13:222010. május 3., 13:22 eltér történet +9 a Modális logika →Irodalom
- 13:212010. május 3., 13:21 eltér történet +225 Modális logika →Irodalom: gödel
- 13:212010. május 3., 13:21 eltér történet +187 Modális logika →S4: opcit
- 13:122010. május 3., 13:12 eltér történet +11 a Modális logika →K4
- 13:112010. május 3., 13:11 eltér történet +634 Modális logika →K4: porolgatás, HBL-kritériumok
- 12:512010. május 3., 12:51 eltér történet −125 Modális logika →T: porolgatok
- 12:472010. május 3., 12:47 eltér történet +105 Modális logika →Normális modális rendszer (K): porolgatok