Příspěvky uživatele
- 14. 9. 2014, 19:29 rozdíl historie +29 Bisimulace
- 10. 9. 2014, 14:04 rozdíl historie 0 Bisimulace
- 10. 9. 2014, 14:03 rozdíl historie +8 Bisimulace
- 10. 9. 2014, 14:00 rozdíl historie +243 Bisimulace
- 10. 9. 2014, 13:53 rozdíl historie +55 Bisimulace
- 10. 9. 2014, 13:51 rozdíl historie -1 Bisimulace
- 8. 9. 2014, 20:35 rozdíl historie 0 Bisimulace
- 8. 9. 2014, 19:54 rozdíl historie +1 713 N Bisimulace Založena nová stránka s textem „== Bisimulace == === Definice === Bisimulace je binární relace ekvivalence mezi dvěma sémantickými modely. <br /> Mějme dva Kripkovská sémanti…“
- 6. 9. 2014, 18:03 rozdíl historie -32 Portál:Logika
- 6. 9. 2014, 18:01 rozdíl historie 0 Portál:Modální logiky
- 5. 9. 2014, 19:02 rozdíl historie +21 N Kategorie:Modální logiky Založena nová stránka s textem „ Kategorie:Logika“ aktuální
- 5. 9. 2014, 19:01 rozdíl historie +32 N Dynamická epistemická logika Založena nová stránka s textem „ Kategorie:Modální logiky“ aktuální
- 5. 9. 2014, 19:01 rozdíl historie 0 Portál:Modální logiky
- 5. 9. 2014, 18:46 rozdíl historie +623 Portál diskuse:Logika
- 5. 9. 2014, 16:15 rozdíl historie +256 Portál:Modální logiky
- 4. 9. 2014, 09:37 rozdíl historie +22 N Portál:Intuicionistická logika Založena nová stránka s textem „ Kategorie:Logiky“
- 4. 9. 2014, 09:36 rozdíl historie +22 N Kategorie:Logiky Založena nová stránka s textem „ Kategorie: Logika“ aktuální
- 4. 9. 2014, 09:35 rozdíl historie +23 N Portál:Klasická logika Založena nová stránka s textem „ Kategorie: Logiky“
- 4. 9. 2014, 09:34 rozdíl historie +21 N Portál:Dějiny logiky Založena nová stránka s textem „ Kategorie:Logiky“
- 4. 9. 2014, 09:03 rozdíl historie +2 Portál:Logika
- 4. 9. 2014, 08:58 rozdíl historie +52 Kategorie:Logika aktuální
- 4. 9. 2014, 08:57 rozdíl historie +23 N Portál:Struktury a algebry Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 08:55 rozdíl historie +23 N Portál:Analytická filosofie Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 08:54 rozdíl historie +23 N Kategorie:Logika Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 08:53 rozdíl historie +23 N Portál:Vyčíslitelnost Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 08:53 rozdíl historie -2 Portál:Logika
- 4. 9. 2014, 08:42 rozdíl historie +25 N Portál:Teorie množin Založena nová stránka s textem „ T“
- 4. 9. 2014, 08:40 rozdíl historie +26 m Portál:Logika
- 4. 9. 2014, 08:39 rozdíl historie 0 m Portál:Modální logiky
- 4. 9. 2014, 08:38 rozdíl historie +25 N Portál:Modální logiky Založena nová stránka s textem „ *“
- 3. 9. 2014, 20:15 rozdíl historie +206 Portál:Logika