User contributions
From Wikiversity
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:06, 16 May 2009 (hist | diff) N Ĉapitro 1 – Senco kaj celo (origina versio de Cool kun nur etaj tajperaraj korektoj)
- 22:51, 11 May 2009 (hist | diff) Ĉapitro 0 – Enkonduko
- 22:51, 11 May 2009 (hist | diff) N Ĉapitro 0 – Enkonduko (origina versio de Cool kun nur etaj tajperaraj korektoj)
- 21:31, 11 May 2009 (hist | diff) N Relativa Divideblo (kurso de Florence Cool, republikata laŭ lia permeso; ĉiaj plibonigoj estas bonvenaj) (top)
- 21:11, 11 May 2009 (hist | diff) Nombroteorio (top)
- 21:11, 11 May 2009 (hist | diff) Nombroteorio
- 21:09, 11 May 2009 (hist | diff) N Nombroteorio (Created page with '*Relativa Divideblo, kurso de Gerard Cool.')
- 01:08, 7 March 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 5-a ĉapitro: Aksioma kalkulo kaj sekvaĵokalkulo (→Enkonduko de "aŭ" en la konkludon)
- 01:08, 7 March 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 5-a ĉapitro: Aksioma kalkulo kaj sekvaĵokalkulo (→Antaŭkondiĉa regulo)
- 01:06, 7 March 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 5-a ĉapitro: Aksioma kalkulo kaj sekvaĵokalkulo (→Sekvaĵokalkulo)
- 01:05, 7 March 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 5-a ĉapitro: Aksioma kalkulo kaj sekvaĵokalkulo (→Sekvaĵokalkulo)
- 00:26, 7 March 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 5-a ĉapitro: Aksioma kalkulo kaj sekvaĵokalkulo (→Sekvaĵokalkulo)
- 23:34, 6 March 2009 (hist | diff) Kurso:Enkonduko en la logikon/Rezultoj (→Ekzerco 5-1)
- 23:29, 6 March 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 5-a ĉapitro: Aksioma kalkulo kaj sekvaĵokalkulo (→Ekzerco 5-1)
- 11:03, 11 February 2009 (hist | diff) User:Marcos (top)
- 01:17, 6 February 2009 (hist | diff) Kurso:Enkonduko en la logikon/Rezultoj
- 01:09, 6 February 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 5-a ĉapitro: Aksioma kalkulo kaj sekvaĵokalkulo (→Ekzerco 5-1)
- 01:08, 6 February 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 5-a ĉapitro: Aksioma kalkulo kaj sekvaĵokalkulo
- 01:04, 6 February 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 5-a ĉapitro: Aksioma kalkulo kaj sekvaĵokalkulo
- 01:01, 6 February 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 4-a ĉapitro: Arbokalkulo por aserta logiko
- 00:42, 6 February 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 5-a ĉapitro: Aksioma kalkulo kaj sekvaĵokalkulo
- 23:52, 5 February 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 4-a ĉapitro: Arbokalkulo por aserta logiko (→Ekzemploj de pruvoj per arbokalkulo)
- 23:18, 5 February 2009 (hist | diff) N Kurso:Enkonduko en la logikon/ 5-a ĉapitro: Aksioma kalkulo kaj sekvaĵokalkulo (New page: ''redaktata'' ==Aksioma kalkulo== Aksioma kalkula baziĝas je '''aksiomoj''', do je bazaj logikaj nepraĵoj, de kiuj oni povas dedukti ĉiujn aliajn logikajn nepraĵojn. Ekzistas deduktor...)
- 22:39, 5 February 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 3-a ĉapitro: Kalkuloj por la aserta logiko (→Logikaj kalkuloj)
- 22:29, 4 February 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 4-a ĉapitro: Arbokalkulo por aserta logiko
- 22:28, 4 February 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 3-a ĉapitro: Kalkuloj por la aserta logiko
- 22:26, 4 February 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 2-a ĉapitro: La aserta logiko
- 22:25, 4 February 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 1-a ĉapitro: Frazoj, asertoj kaj argumentoj
- 22:22, 29 January 2009 (hist | diff) Kurso:Enkonduko en la logikon/ 2-a ĉapitro: La aserta logiko (→Argumentoj)
- 14:43, 9 January 2009 (hist | diff) Talk:Ĉefpaĝo (top)
- 17:42, 21 December 2008 (hist | diff) Ĉefpaĝo
- 17:39, 21 December 2008 (hist | diff) Artikolo el Esperanto (top)
- 17:38, 21 December 2008 (hist | diff) N Artikolo el Esperanto (New page: En la decembra numero de la gazeto ''Esperanto'' aperis jena artikolo, kiu proponis iniciaton por kombini la ĝisnunan fakan agadon per Esperanto kun la ebloj, kiujn prezentas la Vikiversi...)
- 23:31, 18 December 2008 (hist | diff) Religiscienco (→Religioj)
- 19:40, 14 December 2008 (hist | diff) Kurso:Enkonduko en la logikon/ 4-a ĉapitro: Arbokalkulo por aserta logiko (→Ekzemploj de pruvoj per arbokalkulo)
- 19:40, 14 December 2008 (hist | diff) Kurso:Enkonduko en la logikon/ 4-a ĉapitro: Arbokalkulo por aserta logiko (→Ekzemploj de pruvoj per arbokalkulo)
- 19:39, 14 December 2008 (hist | diff) Kurso:Enkonduko en la logikon/ 4-a ĉapitro: Arbokalkulo por aserta logiko
- 17:54, 14 December 2008 (hist | diff) Kurso:Enkonduko en la logikon/Rezultoj
- 17:52, 14 December 2008 (hist | diff) Kurso:Enkonduko en la logikon/ 4-a ĉapitro: Arbokalkulo por aserta logiko (→Ekzerco 4-1)
- 17:40, 14 December 2008 (hist | diff) Kurso:Enkonduko en la logikon/ 4-a ĉapitro: Arbokalkulo por aserta logiko
- 17:39, 14 December 2008 (hist | diff) Kurso:Enkonduko en la logikon/ 4-a ĉapitro: Arbokalkulo por aserta logiko
- 17:38, 14 December 2008 (hist | diff) Kurso:Enkonduko en la logikon/ 4-a ĉapitro: Arbokalkulo por aserta logiko
- 17:37, 14 December 2008 (hist | diff) Kurso:Enkonduko en la logikon/ 4-a ĉapitro: Arbokalkulo por aserta logiko
- 17:36, 14 December 2008 (hist | diff) Kurso:Enkonduko en la logikon/ 4-a ĉapitro: Arbokalkulo por aserta logiko
- 17:26, 14 December 2008 (hist | diff) Kurso:Enkonduko en la logikon/ 4-a ĉapitro: Arbokalkulo por aserta logiko
- 16:57, 14 December 2008 (hist | diff) Kurso:Enkonduko en la logikon/ 4-a ĉapitro: Arbokalkulo por aserta logiko
- 22:39, 8 December 2008 (hist | diff) Talk:Main Page (→Proposal about multilingual link from www.wikiversity.org: new section)
- 02:16, 6 December 2008 (hist | diff) Kurso:Enkonduko en la logikon/Rezultoj (→Ekzerco 1-1)
- 02:16, 6 December 2008 (hist | diff) Kurso:Enkonduko en la logikon/ 1-a ĉapitro: Frazoj, asertoj kaj argumentoj
- 02:09, 6 December 2008 (hist | diff) N User:Marcos (New page: Mi estas Marcos CRAMER kaj laboras pri doktoriĝa disertacio ĉe la matematika instituto de la Universitato de Bonn en Germanujo. La temo de la doktoriĝo estas projekto kiu celas komput-l...)
(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
