Rozdíly

Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.

--- courses:au_zk_27_5_14 [2014/06/21 20:24]
thm
+++ courses:au_zk_27_5_14 [2025/01/03 18:23] (aktuální)
@@ Řádek 1: / Řádek 1: @@
 ====== AU Zk 27.5.2014 ======
 {{:courses:2014-05-27_zkouska_au.jpg?200|}}
-<code>
+Kdyby tu někdo uměl zapnout diskuzi, bylo by to good :)
-test
-</code>
+Vyšla 3) taky někomu e ⊨ a,b,c,d a d ⊨ b?
+Podle mě 3) navíc ještě d ⊨ c
+Dotaz k 2) Vychzí vám taky z tabuleaux, když začnete od negated conjecture, že je sporné a tedy tabuleaux je velmi krátké?
 ~~DISCUSSION~~

courses/au_zk_27_5_14.1403375044.txt.gz · Poslední úprava: 2025/01/03 18:16 (upraveno mimo DokuWiki)

Nahoru