Příspěvky uživatele 88.103.89.44

15. 8. 2013

• 21:3615. 8. 2013, 21:36 rozdíl historie 0‎ Unifikace (logika) ‎Bez shrnutí editace

2. 8. 2013

• 22:342. 8. 2013, 22:34 rozdíl historie +212‎ Rezoluce (logika) ‎Bez shrnutí editace
• 10:132. 8. 2013, 10:13 rozdíl historie +164‎ Rezoluce (logika) ‎Bez shrnutí editace

1. 8. 2013

• 14:021. 8. 2013, 14:02 rozdíl historie +68‎ Unifikace (logika) ‎Bez shrnutí editace
• 11:591. 8. 2013, 11:59 rozdíl historie +22‎ Logické programování ‎ →‎Historie
• 11:441. 8. 2013, 11:44 rozdíl historie +777‎ N Rezoluce (logika) ‎ Nová stránka: '''Rezoluce''' je v logice metoda automatického dokazování tvrzení zavedená Alanem Robinsonem v roce 1965. Pro výrokovou logiku má tvar <math>\frac{(p \lor A) \land (\neg p…

13. 7. 2013

• 20:2313. 7. 2013, 20:23 rozdíl historie −1‎ Unifikace (logika) ‎Bez shrnutí editace

25. 6. 2013

• 00:5925. 6. 2013, 00:59 rozdíl historie +11‎ Unifikace (logika) ‎Bez shrnutí editace

24. 6. 2013

• 23:0424. 6. 2013, 23:04 rozdíl historie +566‎ Unifikace (logika) ‎ sémantická unifikace
• 20:2124. 6. 2013, 20:21 rozdíl historie +285‎ N Unifikace (logika) ‎ Nová stránka: '''Unifikace''' je v logice substituce, po jejíž aplikaci na množinu termů dostaneme jeden term. Formálně, je-li <math>\mathcal{T=(F,V)}</math> algebra termů a ''t'' a …

19. 6. 2013

• 13:3819. 6. 2013, 13:38 rozdíl historie +26‎ N Suszko ‎ Přesměrování na Roman Suszko aktuální
• 11:3019. 6. 2013, 11:30 rozdíl historie +838‎ N Roman Suszko ‎ první verze

11. 6. 2013

• 20:2211. 6. 2013, 20:22 rozdíl historie +1‎ Kazimierz Ajdukiewicz ‎ →‎Německy: oprava: a->ä
• 20:2111. 6. 2013, 20:21 rozdíl historie +59‎ Kazimierz Ajdukiewicz ‎ +kategoriální gramatika