Příspěvky uživatele
- 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…“