Příspěvky uživatele
- 5. 10. 2014, 16:35 rozdíl historie +396 Portál:Klasická logika
- 5. 10. 2014, 16:19 rozdíl historie +419 Portál:Teorie množin
- 5. 10. 2014, 16:14 rozdíl historie +570 Portál:Struktury a algebry
- 27. 9. 2014, 16:50 rozdíl historie +415 Booleova algebra
- 27. 9. 2014, 16:31 rozdíl historie -17 Portál:Struktury a algebry
- 27. 9. 2014, 16:15 rozdíl historie +4 Booleova algebra
- 27. 9. 2014, 16:13 rozdíl historie +358 Booleova algebra
- 27. 9. 2014, 15:57 rozdíl historie +80 Booleova algebra
- 27. 9. 2014, 15:48 rozdíl historie +1 006 Booleova algebra
- 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