Příspěvky uživatele
- 25. 9. 2014, 22: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, 19:07 rozdíl historie +158 Portál:Struktury a algebry
- 21. 9. 2014, 21:57 rozdíl historie +7 Hilbertovský kalkul →Důkaz v H aktuální
- 21. 9. 2014, 21:57 rozdíl historie +28 Hilbertovský kalkul →Důkaz v H
- 21. 9. 2014, 21:56 rozdíl historie +1 185 Hilbertovský kalkul
- 15. 9. 2014, 13:53 rozdíl historie +664 Hilbertovský kalkul
- 15. 9. 2014, 13:34 rozdíl historie +41 Hilbertovský kalkul
- 15. 9. 2014, 13: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, 20:53 rozdíl historie +332 Portál:Klasická logika
- 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í