navigation
hledat
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
|
courses:a4m33au-cv3 [2011/03/13 00:00] lolak_felak vytvořeno |
courses:a4m33au-cv3 [2025/01/03 18:23] (aktuální) |
||
|---|---|---|---|
| Řádek 1: | Řádek 1: | ||
| ====== AU - cv3 ====== | ====== AU - cv3 ====== | ||
| ==== Elitni poctivci a podobna verbez ==== | ==== Elitni poctivci a podobna verbez ==== | ||
| + | <code> | ||
| Pohadka: | Pohadka: | ||
| Ostrov, lide jsou poctivci/lhari, | Ostrov, lide jsou poctivci/lhari, | ||
| Řádek 86: | Řádek 87: | ||
| ) | ) | ||
| ). | ). | ||
| + | |||
| + | </code> | ||
| + | |||
| + | Nacpat to do [[http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP|solveru]] (pouzit EP) a doufat. | ||
| + | |||
| + | |||
| ~~DISCUSSION~~ | ~~DISCUSSION~~ | ||
