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 ‎
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 ‎