Příspěvky uživatele
- 25. 10. 2014, 19:42 rozdíl historie 0 Portál:Struktury a algebry
- 25. 10. 2014, 19:41 rozdíl historie +518 Rasiowé-Sikorského lemma
- 25. 10. 2014, 17:35 rozdíl historie -1 Rasiowé-Sikorského lemma
- 25. 10. 2014, 17:34 rozdíl historie +362 N Rasiowé-Sikorského lemma Založena nová stránka s textem „Mějme <math>S_{n}\subseteq \mathbb{B}</math> takové, že <math>\bigwedge S_{n}</math> je definovaná <math>\forall n \in \omega$</math>. Pak existuje utr…“
- 25. 10. 2014, 16:50 rozdíl historie +406 Úvod do filosofie logiky →Výrok
- 25. 10. 2014, 16:41 rozdíl historie +20 N Kategorie:Filosofie logiky Založena nová stránka s textem „Kategorie:Logika“
- 25. 10. 2014, 16:39 rozdíl historie +1 555 Výrazy ve větě
- 25. 10. 2014, 16:27 rozdíl historie +543 Výrazy ve větě →Sloveso být
- 25. 10. 2014, 16:21 rozdíl historie -4 Výrazy ve větě →Obecné výrazy
- 25. 10. 2014, 16:21 rozdíl historie +799 Výrazy ve větě →Obecné výrazy
- 19. 10. 2014, 21:21 rozdíl historie +1 522 Výrazy ve větě
- 19. 10. 2014, 18:17 rozdíl historie +4 014 N Výrazy ve větě Založena nová stránka s textem „Níže si uvedeme podstatné části, které rozlišujeme ve větě. Jde o singulární výrazy, obecné výrazy... == Singulární výrazy == Singulární…“
- 19. 10. 2014, 17:37 rozdíl historie +3 063 N Úvod do filosofie logiky Založena nová stránka s textem „Filosofie logiky se zaměřuje na výchozí pojmy logiky, metody a postupy v logice používané. V historii se setkáváme s různými přístupy a logick…“
- 19. 10. 2014, 17:15 rozdíl historie +57 Portál:Filosofie logiky
- 5. 10. 2014, 18:54 rozdíl historie +1 053 Portál:Filosofie logiky
- 5. 10. 2014, 17:37 rozdíl historie +1 695 N Portál:Filosofie logiky Založena nová stránka s textem „<br /><div class="otherHeadBox" style="background-color: #c0c0c0;"><center>'''Doporučená literatura'''</center></div><br />* HAACK Susan. ''Philosophy of…“
- 5. 10. 2014, 16:52 rozdíl historie +1 Portál:Modální logiky
- 5. 10. 2014, 16:51 rozdíl historie +3 Portál:Modální logiky
- 5. 10. 2014, 16:49 rozdíl historie +433 Portál:Modální logiky
- 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
- 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í