Příspěvky uživatele
- 19. 1. 2015, 01:05 rozdíl historie +56 Uživatel:Veronika.Kovrzkova aktuální
- 19. 1. 2015, 00:09 rozdíl historie +1 Možné světy →Teorie counterpartů
- 19. 1. 2015, 00:02 rozdíl historie +3 Problémy klasické logiky →Alternativní přístupy
- 19. 1. 2015, 00:00 rozdíl historie +817 Problémy klasické logiky
- 18. 1. 2015, 23:56 rozdíl historie -164 Problémy klasické logiky →Dispoziční vlastnosti
- 18. 1. 2015, 23:46 rozdíl historie +557 Problémy klasické logiky
- 18. 1. 2015, 23:29 rozdíl historie +2 091 Problémy klasické logiky
- 7. 1. 2015, 09:24 rozdíl historie +8 Portál:Filosofie logiky aktuální
- 7. 1. 2015, 09:23 rozdíl historie +8 Portál:Logika/Filosofie logiky
- 12. 12. 2014, 00: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, 23:40 rozdíl historie +46 Portál:Filosofie logiky
- 11. 12. 2014, 23:39 rozdíl historie +46 Portál:Logika/Filosofie logiky
- 11. 12. 2014, 23:24 rozdíl historie +101 Vyplývání
- 11. 12. 2014, 23:17 rozdíl historie +219 Vyplývání →Definice logického vyplývání
- 11. 12. 2014, 23:04 rozdíl historie -1 Wikisofia:Kontakt
- 11. 12. 2014, 23:03 rozdíl historie -229 Uživatel:Veronika.Kovrzkova
- 11. 12. 2014, 23: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, 17:15 rozdíl historie +21 Booleova algebra →Dualita operací aktuální
- 10. 12. 2014, 17:11 rozdíl historie -1 Grellingův paradox
- 10. 12. 2014, 00:18 rozdíl historie +18 Portál:Vyčíslitelnost aktuální
- 10. 12. 2014, 00:17 rozdíl historie +455 Portál:Vyčíslitelnost
- 10. 12. 2014, 00:17 rozdíl historie +12 Portál:Logika/Vyčíslitelnost aktuální
- 10. 12. 2014, 00: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…“
- 10. 12. 2014, 00:08 rozdíl historie +274 Portál:Struktury a algebry aktuální
- 10. 12. 2014, 00:07 rozdíl historie +273 Portál:Logika/Struktury a algebry aktuální
- 10. 12. 2014, 00:01 rozdíl historie +419 Portál:Teorie množin aktuální
- 9. 12. 2014, 23:57 rozdíl historie +419 Portál:Logika/Teorie množin aktuální
- 9. 12. 2014, 23: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, 23:19 rozdíl historie +29 Portál:Logika
- 9. 12. 2014, 23: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, 23:05 rozdíl historie +13 N Portál:Logika/Teorie množin Založena nová stránka s textem „* Forcing“
- 9. 12. 2014, 23:04 rozdíl historie 0 Portál:Filosofie logiky
- 9. 12. 2014, 23: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, 23: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, 22: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, 22:58 rozdíl historie +201 Portál:Klasická logika aktuální
- 9. 12. 2014, 22:49 rozdíl historie +3 493 Portál:Logika
- 8. 12. 2014, 23:11 rozdíl historie +680 Vyplývání
- 5. 12. 2014, 00:27 rozdíl historie -8 Vyplývání →Syntaktická definice
- 5. 12. 2014, 00:25 rozdíl historie +2 Vyplývání →Tarského modelově teoretická definice
- 5. 12. 2014, 00:24 rozdíl historie +2 039 Vyplývání
- 4. 12. 2014, 23: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, 23:27 rozdíl historie +19 Portál:Filosofie logiky
- 4. 12. 2014, 23:24 rozdíl historie +632 Paradoxy →Diagonální metoda
- 4. 12. 2014, 23:00 rozdíl historie +1 239 Paradoxy →Diagonalizační metoda
- 4. 12. 2014, 22:24 rozdíl historie -3 Paradoxy →Grellingův paradox
- 4. 12. 2014, 22:23 rozdíl historie +82 Paradoxy →Grellingův paradox
- 4. 12. 2014, 22:15 rozdíl historie +1 550 Paradoxy →Grellingův paradox
- 3. 12. 2014, 22:43 rozdíl historie +20 N Kategorie:Vyčíslitelnost Založena nová stránka s textem „Kategorie:Logika“ aktuální
- 3. 12. 2014, 22:42 rozdíl historie +20 N Kategorie:Teorie množin Založena nová stránka s textem „Kategorie:Logika“ aktuální