Příspěvky uživatele
- 25. 9. 2014, 21:52 rozdíl historie +2 Booleova algebra
- 25. 9. 2014, 21:51 rozdíl historie +1 761 N Booleova algebra Založena nová stránka s textem „Booleova algebra (BA), nazvaná podle irského matematika George Boolea, je '''struktura''' <math>\mathbb{B} = (B, \wedge, \vee, 1, 0, -)<…“
- 25. 9. 2014, 18:07 rozdíl historie +158 Portál:Struktury a algebry
- 21. 9. 2014, 20:57 rozdíl historie +7 Hilbertovský kalkul →Důkaz v H aktuální
- 21. 9. 2014, 20:57 rozdíl historie +28 Hilbertovský kalkul →Důkaz v H
- 21. 9. 2014, 20:56 rozdíl historie +1 185 Hilbertovský kalkul
- 15. 9. 2014, 12:53 rozdíl historie +664 Hilbertovský kalkul
- 15. 9. 2014, 12:34 rozdíl historie +41 Hilbertovský kalkul
- 15. 9. 2014, 12:30 rozdíl historie +2 370 N Hilbertovský kalkul Založena nová stránka s textem „'''Hilbertovský kalkulus''' (značme H) je axiomatický formální systém, pojmenovaný po významném německém matematikovi přelomu 19. a 20. stolet…“
- 14. 9. 2014, 19:53 rozdíl historie +332 Portál:Klasická logika
- 14. 9. 2014, 18:29 rozdíl historie +29 Bisimulace
- 10. 9. 2014, 13:04 rozdíl historie 0 Bisimulace
- 10. 9. 2014, 13:03 rozdíl historie +8 Bisimulace
- 10. 9. 2014, 13:00 rozdíl historie +243 Bisimulace
- 10. 9. 2014, 12:53 rozdíl historie +55 Bisimulace
- 10. 9. 2014, 12:51 rozdíl historie -1 Bisimulace
- 8. 9. 2014, 19:35 rozdíl historie 0 Bisimulace
- 8. 9. 2014, 18: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, 17:03 rozdíl historie -32 Portál:Logika
- 6. 9. 2014, 17:01 rozdíl historie 0 Portál:Modální logiky
- 5. 9. 2014, 18:02 rozdíl historie +21 N Kategorie:Modální logiky Založena nová stránka s textem „ Kategorie:Logika“ aktuální
- 5. 9. 2014, 18: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, 18:01 rozdíl historie 0 Portál:Modální logiky
- 5. 9. 2014, 17:46 rozdíl historie +623 Portál diskuse:Logika
- 5. 9. 2014, 15:15 rozdíl historie +256 Portál:Modální logiky
- 4. 9. 2014, 08:37 rozdíl historie +22 N Portál:Intuicionistická logika Založena nová stránka s textem „ Kategorie:Logiky“
- 4. 9. 2014, 08:36 rozdíl historie +22 N Kategorie:Logiky Založena nová stránka s textem „ Kategorie: Logika“ aktuální
- 4. 9. 2014, 08:35 rozdíl historie +23 N Portál:Klasická logika Založena nová stránka s textem „ Kategorie: Logiky“
- 4. 9. 2014, 08:34 rozdíl historie +21 N Portál:Dějiny logiky Založena nová stránka s textem „ Kategorie:Logiky“
- 4. 9. 2014, 08:03 rozdíl historie +2 Portál:Logika
- 4. 9. 2014, 07:58 rozdíl historie +52 Kategorie:Logika aktuální
- 4. 9. 2014, 07:57 rozdíl historie +23 N Portál:Struktury a algebry Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 07:55 rozdíl historie +23 N Portál:Analytická filosofie Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 07:54 rozdíl historie +23 N Kategorie:Logika Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 07:53 rozdíl historie +23 N Portál:Vyčíslitelnost Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 07:53 rozdíl historie -2 Portál:Logika
- 4. 9. 2014, 07:42 rozdíl historie +25 N Portál:Teorie množin Založena nová stránka s textem „ T“
- 4. 9. 2014, 07:40 rozdíl historie +26 m Portál:Logika
- 4. 9. 2014, 07:39 rozdíl historie 0 m Portál:Modální logiky
- 4. 9. 2014, 07:38 rozdíl historie +25 N Portál:Modální logiky Založena nová stránka s textem „ *“
- 3. 9. 2014, 19:15 rozdíl historie +206 Portál:Logika