Příspěvky uživatele
- 29. 4. 2016, 14:59 rozdíl historie -2 Historie informační vědy →Informační věda a informatika
- 29. 4. 2016, 14:54 rozdíl historie +6 Historie informační vědy →Časové členění vývoje informační vědy dle G. Harmona
- 29. 4. 2016, 14:43 rozdíl historie +9 Historie informační vědy →Zprostředkovatelská funkce a její dopad na informační vědu
- 29. 4. 2016, 14:33 rozdíl historie -5 Etika informačního specialisty
- 29. 4. 2016, 14:18 rozdíl historie -11 Dvojtečkové třídění
- 17. 3. 2015, 23:24 rozdíl historie 0 Pravdivost →Minimalistická teorie pravdy
- 17. 3. 2015, 22:33 rozdíl historie +428 Pravdivost →Inflační teorie pravdy
- 17. 3. 2015, 22:11 rozdíl historie -1 Pravdivost →Deflační teorie pravdy
- 17. 3. 2015, 22:08 rozdíl historie +1 Pravdivost
- 17. 3. 2015, 22:03 rozdíl historie +106 Pravdivost →Závětná teorie
- 17. 3. 2015, 21:58 rozdíl historie +237 Pravdivost →Deflační teorie pravdy
- 17. 3. 2015, 21:51 rozdíl historie +27 Pravdivost →Tarského sémantická teorie pravdy
- 17. 3. 2015, 21:50 rozdíl historie -1 Pravdivost →Korespondenční teorie pravdy
- 17. 3. 2015, 21:49 rozdíl historie +337 Pravdivost →Inflační teorie pravdy
- 17. 3. 2015, 21:28 rozdíl historie +84 Pravdivost →Inflační teorie pravdy
- 29. 1. 2015, 22:01 rozdíl historie +329 Pravdivost
- 27. 1. 2015, 23:05 rozdíl historie 0 Pravdivost
- 27. 1. 2015, 21:54 rozdíl historie +421 Pravdivost
- 19. 1. 2015, 21:18 rozdíl historie +1 Nutná pravda →Alfred Jules Ayer
- 19. 1. 2015, 00:05 rozdíl historie +56 Uživatel:Veronika.Kovrzkova aktuální
- 18. 1. 2015, 23:09 rozdíl historie +1 Možné světy →Teorie counterpartů
- 18. 1. 2015, 23:02 rozdíl historie +3 Problémy klasické logiky →Alternativní přístupy
- 18. 1. 2015, 23:00 rozdíl historie +817 Problémy klasické logiky
- 18. 1. 2015, 22:56 rozdíl historie -164 Problémy klasické logiky →Dispoziční vlastnosti
- 18. 1. 2015, 22:46 rozdíl historie +557 Problémy klasické logiky
- 18. 1. 2015, 22:29 rozdíl historie +2 091 Problémy klasické logiky
- 7. 1. 2015, 08:24 rozdíl historie +8 Portál:Filosofie logiky aktuální
- 7. 1. 2015, 08:23 rozdíl historie +8 Portál:Logika/Filosofie logiky
- 11. 12. 2014, 23:37 rozdíl historie +5 022 N Možné světy Založena nová stránka s textem „Pojem možného světa se v logice vyskytuje již ve scholastice, dále se s ním setkáváme například u Leibnize,…“
- 11. 12. 2014, 22:40 rozdíl historie +46 Portál:Filosofie logiky
- 11. 12. 2014, 22:39 rozdíl historie +46 Portál:Logika/Filosofie logiky
- 11. 12. 2014, 22:24 rozdíl historie +101 Vyplývání
- 11. 12. 2014, 22:17 rozdíl historie +219 Vyplývání →Definice logického vyplývání
- 11. 12. 2014, 22:04 rozdíl historie -1 Wikisofia:Kontakt
- 11. 12. 2014, 22:03 rozdíl historie -229 Uživatel:Veronika.Kovrzkova
- 11. 12. 2014, 22:01 rozdíl historie +821 N Uživatel:Veronika.Kovrzkova Založena nová stránka s textem „<nowiki>'''</nowiki>Veronika Kovrzková<nowiki>'''</nowiki> je studentka třetího ročníku Logiky na FF UK a správce tohoto oboru na WikiSofii. <nowiki…“ Značka: editace z Vizuálního editoru
- 10. 12. 2014, 16:15 rozdíl historie +21 Booleova algebra →Dualita operací aktuální
- 10. 12. 2014, 16:11 rozdíl historie -1 Grellingův paradox
- 9. 12. 2014, 23:18 rozdíl historie +18 Portál:Vyčíslitelnost aktuální
- 9. 12. 2014, 23:17 rozdíl historie +455 Portál:Vyčíslitelnost
- 9. 12. 2014, 23:17 rozdíl historie +12 Portál:Logika/Vyčíslitelnost aktuální
- 9. 12. 2014, 23:16 rozdíl historie +460 N Portál:Logika/Vyčíslitelnost Založena nová stránka s textem „* Algoritmus* Věta o rekurzi | Riceova věta* Rekurzívní funkce | Rekurzívně spočetná množina | Ordinální rekurze* Výv…“
- 9. 12. 2014, 23:08 rozdíl historie +274 Portál:Struktury a algebry aktuální
- 9. 12. 2014, 23:07 rozdíl historie +273 Portál:Logika/Struktury a algebry aktuální
- 9. 12. 2014, 23:01 rozdíl historie +419 Portál:Teorie množin aktuální
- 9. 12. 2014, 22:57 rozdíl historie +419 Portál:Logika/Teorie množin aktuální
- 9. 12. 2014, 22:52 rozdíl historie +519 N Portál:Logika/Analytická filosofie Založena nová stránka s textem „* Externalismus | Internalismus | Individualismus * Teorie reference | Teorie významu | Teorie interpretace | Teorie mluvních a…“ aktuální
- 9. 12. 2014, 22:19 rozdíl historie +29 Portál:Logika
- 9. 12. 2014, 22:07 rozdíl historie +270 N Portál:Logika/Struktury a algebry Založena nová stránka s textem „* Izomorfismus | Homomorfismus * Grupa | Okruh | Těleso * Filtr | Ideál * Svaz | Booleova algebra * Lindenbaum-Tars…“
- 9. 12. 2014, 22:05 rozdíl historie +13 N Portál:Logika/Teorie množin Založena nová stránka s textem „* Forcing“
- 9. 12. 2014, 22:04 rozdíl historie 0 Portál:Filosofie logiky
- 9. 12. 2014, 22:04 rozdíl historie +224 N Portál:Logika/Filosofie logiky Založena nová stránka s textem „* Úvod do filosofie logiky * Výrazy ve větě * Pravdivost | Nutná pravda * Paradoxy ** Paradox lháře | [[Grellingův paradox]…“
- 9. 12. 2014, 22:00 rozdíl historie +255 N Portál:Logika/Modální logiky Založena nová stránka s textem „* Kripkovská sémantika * Dynamická epistemická logika | Logika veřejných vyhlášení * Kanonický model * Bisimulace | Emulace…“ aktuální
- 9. 12. 2014, 21:58 rozdíl historie +534 N Portál:Logika/Klasická logika Založena nová stránka s textem „* Tautologie | Substituce * Hilbertovský kalkul | Gentzenovský sekventový kalkul | Kalkul přirozené dedukce * [[Věta o úplnosti]…“ aktuální
- 9. 12. 2014, 21:58 rozdíl historie +201 Portál:Klasická logika aktuální
- 9. 12. 2014, 21:49 rozdíl historie +3 493 Portál:Logika
- 8. 12. 2014, 22:11 rozdíl historie +680 Vyplývání
- 4. 12. 2014, 23:27 rozdíl historie -8 Vyplývání →Syntaktická definice
- 4. 12. 2014, 23:25 rozdíl historie +2 Vyplývání →Tarského modelově teoretická definice
- 4. 12. 2014, 23:24 rozdíl historie +2 039 Vyplývání
- 4. 12. 2014, 22:35 rozdíl historie +1 688 N Vyplývání Založena nová stránka s textem „Jde o něco, co je lidem vlastní už od dětství, není potřeba jej studovat. Existuje intuitivní logické vyplývání. Logika si klade za cíl poskyt…“
- 4. 12. 2014, 22:27 rozdíl historie +19 Portál:Filosofie logiky
- 4. 12. 2014, 22:24 rozdíl historie +632 Paradoxy →Diagonální metoda
- 4. 12. 2014, 22:00 rozdíl historie +1 239 Paradoxy →Diagonalizační metoda
- 4. 12. 2014, 21:24 rozdíl historie -3 Paradoxy →Grellingův paradox
- 4. 12. 2014, 21:23 rozdíl historie +82 Paradoxy →Grellingův paradox
- 4. 12. 2014, 21:15 rozdíl historie +1 550 Paradoxy →Grellingův paradox
- 3. 12. 2014, 21:43 rozdíl historie +20 N Kategorie:Vyčíslitelnost Založena nová stránka s textem „Kategorie:Logika“ aktuální
- 3. 12. 2014, 21:42 rozdíl historie +20 N Kategorie:Teorie množin Založena nová stránka s textem „Kategorie:Logika“ aktuální
- 3. 12. 2014, 21:42 rozdíl historie +20 N Kategorie:Analytická filosofie Založena nová stránka s textem „Kategorie:Logika“ aktuální
- 3. 12. 2014, 21:41 rozdíl historie +20 N Kategorie:Klasická logika Založena nová stránka s textem „Kategorie:Logika“ aktuální
- 3. 12. 2014, 21:41 rozdíl historie 0 Kategorie:Filosofie logiky aktuální
- 3. 12. 2014, 21:39 rozdíl historie +11 Portál:Klasická logika
- 3. 12. 2014, 21:29 rozdíl historie 0 Portál:Intuicionistická logika aktuální
- 3. 12. 2014, 21:29 rozdíl historie -2 Portál:Modální logiky aktuální
- 3. 12. 2014, 21:28 rozdíl historie 0 Portál:Klasická logika
- 3. 12. 2014, 21:27 rozdíl historie +180 Portál:Logika/Specializace aktuální
- 2. 12. 2014, 19:51 rozdíl historie +12 Portál:Filosofie logiky
- 2. 12. 2014, 19:50 rozdíl historie -189 Portál:Logika
- 2. 12. 2014, 19:49 rozdíl historie +397 N Portál:Logika/Specializace Založena nová stránka s textem „<div style="width: 51%; float: left"> * Logiky * Dějiny logiky * Portál:Analytická filosofie|Analytická…“
- 2. 12. 2014, 19:45 rozdíl historie -223 Portál:Logika
- 2. 12. 2014, 19:42 rozdíl historie +223 Portál:Logika
- 2. 12. 2014, 19:33 rozdíl historie 0 Portál:Dějiny logiky aktuální
- 2. 12. 2014, 19:32 rozdíl historie +30 Portál:Logika
- 2. 12. 2014, 19:28 rozdíl historie 0 Portál:Logika/Všeobecné informace aktuální
- 2. 12. 2014, 19:28 rozdíl historie +228 N Portál:Logika/Všeobecné informace Založena nová stránka s textem „<div style="width: 51%; float: left"> * [http://logika.ff.cuni.cz/ Katedra Logiky FF UK] </div> <div style="width: 45%; float: left"> * [http://www.phil.mu…“
- 2. 12. 2014, 19:17 rozdíl historie +803 Portál:Logika
- 23. 11. 2014, 17:43 rozdíl historie -15 Nutná pravda
- 23. 11. 2014, 17:35 rozdíl historie +265 Pravdivost
- 23. 11. 2014, 17:18 rozdíl historie +36 Výrazy ve větě →Logické konstanty
- 23. 11. 2014, 17:13 rozdíl historie +67 Výrazy ve větě →Sloveso být
- 23. 11. 2014, 17:09 rozdíl historie +36 Výrazy ve větě →Obecné výrazy
- 23. 11. 2014, 17:06 rozdíl historie +16 Výrazy ve větě →Obecné výrazy
- 23. 11. 2014, 17:03 rozdíl historie +102 Výrazy ve větě →Vlastní jména
- 23. 11. 2014, 17:01 rozdíl historie +67 Výrazy ve větě →Určité popisy
- 23. 11. 2014, 16:58 rozdíl historie +12 Úvod do filosofie logiky →Subjekt predikátová forma věty
- 23. 11. 2014, 16:58 rozdíl historie +27 Úvod do filosofie logiky →Subjekt predikátová forma věty
- 23. 11. 2014, 16:54 rozdíl historie +92 Úvod do filosofie logiky →Předmět logiky
- 23. 11. 2014, 16:50 rozdíl historie +29 Úvod do filosofie logiky →Myšlení
- 22. 11. 2014, 21:31 rozdíl historie +12 Portál:Struktury a algebry
- 22. 11. 2014, 21:31 rozdíl historie +11 Portál:Analytická filosofie aktuální
- 22. 11. 2014, 21:30 rozdíl historie +1 Portál:Teorie množin
- 22. 11. 2014, 21:30 rozdíl historie +11 Portál:Vyčíslitelnost
- 22. 11. 2014, 21:29 rozdíl historie +11 Portál:Teorie množin
- 22. 11. 2014, 19:52 rozdíl historie +232 Paradoxy →Zdroje
- 22. 11. 2014, 19:03 rozdíl historie +939 Grellingův paradox
- 22. 11. 2014, 18:45 rozdíl historie +218 Grellingův paradox →Zdroje
- 22. 11. 2014, 18:41 rozdíl historie +939 Grellingův paradox →Znění
- 22. 11. 2014, 18:15 rozdíl historie +722 N Grellingův paradox Založena nová stránka s textem „'''Grellingův heterologický paradox''', pojmenovaný po německé matematikovi a logikovi Kurtu Grellingovi, je jedním ze sémantický…“
- 22. 11. 2014, 17:59 rozdíl historie +175 Paradoxy
- 22. 11. 2014, 17:54 rozdíl historie +1 172 Paradox lháře
- 22. 11. 2014, 00:58 rozdíl historie +12 Portál:Logika
- 21. 11. 2014, 22:39 rozdíl historie +1 716 Paradox lháře
- 21. 11. 2014, 22:05 rozdíl historie +309 Paradox lháře
- 21. 11. 2014, 22:00 rozdíl historie +1 185 N Paradox lháře Založena nová stránka s textem „'''Paradox lháře''' též označován jako '''Epiménidův''', '''Eubulidův''' či '''paradox Kréťana''' je logický paradox, jeden z nejznámějšíc…“
- 21. 11. 2014, 20:36 rozdíl historie +118 Paradoxy →Monty Hallův paradox
- 21. 11. 2014, 20:32 rozdíl historie +131 Paradoxy →Obálkový paradox
- 21. 11. 2014, 20:28 rozdíl historie -21 Paradoxy →Monty Hallův paradox
- 21. 11. 2014, 20:23 rozdíl historie +1 Paradoxy →Paradox hromady
- 21. 11. 2014, 20:23 rozdíl historie +523 Paradoxy →Paradoxy neostrého predikátu
- 21. 11. 2014, 20:04 rozdíl historie +101 Portál:Filosofie logiky
- 21. 11. 2014, 19:47 rozdíl historie +331 Paradoxy →Grellingův paradox
- 21. 11. 2014, 19:38 rozdíl historie +319 Paradoxy →Paradox holiče
- 21. 11. 2014, 19:31 rozdíl historie +667 Paradoxy →Paradox lháře
- 21. 11. 2014, 19:01 rozdíl historie +40 Paradoxy
- 21. 11. 2014, 19:00 rozdíl historie +66 Nutná pravda →Zdroje
- 21. 11. 2014, 19:00 rozdíl historie +66 Pravdivost →Zdroj
- 21. 11. 2014, 18:56 rozdíl historie +463 Paradoxy
- 21. 11. 2014, 18:40 rozdíl historie +93 Nutná pravda →Zdroje
- 21. 11. 2014, 18:35 rozdíl historie +22 Pravdivost →Zdroj
- 21. 11. 2014, 18:34 rozdíl historie -4 136 Pravdivost
- 20. 11. 2014, 21:41 rozdíl historie +10 Nutná pravda
- 20. 11. 2014, 21:39 rozdíl historie +4 571 N Nutná pravda Založena nová stránka s textem „* pravdivost bez ohledu na nás, naše znalosti * nelze falzifikovat * vypovídání '''de dicto''' - mluvíme o větě jako o celku; '''de re''' - mluvím…“
- 20. 11. 2014, 21:37 rozdíl historie +20 Portál:Filosofie logiky
- 20. 11. 2014, 21:34 rozdíl historie +3 742 N Paradoxy Založena nová stránka s textem „* za neproblematického použití běžně používaných a uznávaným metod dojdeme k nepřijatelnému závěru * můžeme-li v nějaké teorii formulova…“
- 20. 11. 2014, 21:13 rozdíl historie 0 Pravdivost →Zdroj
- 20. 11. 2014, 21:04 rozdíl historie +15 Portál:Filosofie logiky
- 20. 11. 2014, 20:57 rozdíl historie +1 379 Pravdivost →Nutná pravda
- 18. 11. 2014, 21:19 rozdíl historie +21 Lindenbaum-Tarského algebry →\mathcal{L}_n(P,\mathfrak{A})
- 18. 11. 2014, 21:18 rozdíl historie +1 Lindenbaum-Tarského algebry →\mathcal{L}_n(P,\mathfrak{A})
- 18. 11. 2014, 21:15 rozdíl historie +48 Lindenbaum-Tarského algebry
- 18. 11. 2014, 20:41 rozdíl historie +1 215 N Ideál Založena nová stránka s textem „Množina <math>\mathcal{I} \subseteq \mathcal{P}(X)</math> je ideál, pokud platí: # <math>\emptyset \in \mathcal{I}, X \notin \mathcal{I}</math> # <math>…“ aktuální
- 15. 11. 2014, 03:34 rozdíl historie +1 396 Lindenbaum-Tarského algebry
- 13. 11. 2014, 18:02 rozdíl historie +4 Filtr →Zdroje aktuální
- 13. 11. 2014, 18:02 rozdíl historie +11 Filtr
- 13. 11. 2014, 18:01 rozdíl historie +232 Filtr
- 13. 11. 2014, 17:46 rozdíl historie +1 096 N Filtr Založena nová stránka s textem „Množina <math>F \subseteq \mathcal{P}(X)</math> je filtr, pokud platí: # <math>\emptyset \notin F, X \in F</math> # <math>A, B \in F \rightarrow A \wedge…“
- 13. 11. 2014, 16:58 rozdíl historie +1 Portál:Struktury a algebry
- 13. 11. 2014, 16:57 rozdíl historie +128 Portál:Struktury a algebry
- 13. 11. 2014, 16:51 rozdíl historie +88 Booleova algebra
- 13. 11. 2014, 14:48 rozdíl historie +164 Pravdivost →Nutná pravda
- 13. 11. 2014, 14:42 rozdíl historie +1 760 Pravdivost →Nutná pravda
- 13. 11. 2014, 14:26 rozdíl historie +93 Pravdivost →Tarského sémantická teorie pravdy
- 13. 11. 2014, 14:22 rozdíl historie +112 Pravdivost →Deflační teorie pravdy
- 12. 11. 2014, 22:03 rozdíl historie 0 Pravdivost →Zdroj
- 12. 11. 2014, 21:58 rozdíl historie +31 N Kategorie:Sociologie Založena nová stránka s textem „Kategorie:Hlavní kategorie“ aktuální
- 12. 11. 2014, 21:52 rozdíl historie 0 Kategorie:Filosofie logiky
- 12. 11. 2014, 21:49 rozdíl historie +31 N Kategorie:Egyptologie Založena nová stránka s textem „Kategorie:Hlavní kategorie“ aktuální
- 12. 11. 2014, 21:06 rozdíl historie -1 Transkripce →Transkripce IPA aktuální
- 9. 11. 2014, 23:18 rozdíl historie -3 Booleova algebra →Dualita operací
- 9. 11. 2014, 23:13 rozdíl historie +290 Booleova algebra →Podalgebra
- 9. 11. 2014, 23:08 rozdíl historie +3 Booleova algebra →Zákon idempotence
- 9. 11. 2014, 23:07 rozdíl historie +5 Booleova algebra →Formule a zákony platné v Booleově algebře
- 9. 11. 2014, 23:06 rozdíl historie +465 Booleova algebra →Dualita operací
- 7. 11. 2014, 19:49 rozdíl historie -1 Pravdivost →Koherenční teorie pravdy
- 7. 11. 2014, 19:44 rozdíl historie +57 Pravdivost →Quineova teorie pravdy
- 7. 11. 2014, 19:42 rozdíl historie +15 Pravdivost →Zdroj
- 7. 11. 2014, 19:41 rozdíl historie +1 753 Pravdivost →Quineova teorie pravdy
- 7. 11. 2014, 18:58 rozdíl historie +4 Adrenalin
- 7. 11. 2014, 18:34 rozdíl historie +29 Pravdivost →Nutná pravda
- 7. 11. 2014, 18:32 rozdíl historie +19 Pravdivost
- 7. 11. 2014, 18:30 rozdíl historie +562 Pravdivost
- 7. 11. 2014, 18:21 rozdíl historie +3 135 Pravdivost
- 3. 11. 2014, 23:42 rozdíl historie +68 Úvod do filosofie logiky →Subjekt predikátová forma věty
- 3. 11. 2014, 23:40 rozdíl historie +801 Výrazy ve větě
- 3. 11. 2014, 23:16 rozdíl historie +17 Portál:Filosofie logiky
- 3. 11. 2014, 23:14 rozdíl historie +120 Pravdivost
- 3. 11. 2014, 23:08 rozdíl historie +2 531 N Pravdivost Založena nová stránka s textem „* úkolem logiky není, aby rozhodovala, která tvrzení jsou pravdivá * pravdivost vět ověřujeme; věta je pravdivá, pokud se věci mají tak, jak uv…“
- 25. 10. 2014, 19:58 rozdíl historie +20 N Kategorie:Struktury a algebry Založena nová stránka s textem „Kategorie:Logika“ aktuální
- 25. 10. 2014, 19:42 rozdíl historie +43 N Rasiové-Sikorského lemma Veronika Kovrzková (ver.kovrzkova@centrum.cz) přesunul stránku Rasiové-Sikorského lemma na Rasiowé-Sikorského lemma aktuální
- 25. 10. 2014, 19:42 rozdíl historie 0 m Rasiowé-Sikorského lemma Veronika Kovrzková (ver.kovrzkova@centrum.cz) přesunul stránku Rasiové-Sikorského lemma na Rasiowé-Sikorského lemma aktuální
- 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í
- 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