Ask Your Question

miquel's profile - activity

2015-01-26 00:46:04 +0100 received badge  Teacher (source)
2015-01-26 00:38:49 +0100 commented answer Logický důsledek - predikátová logika
no tak samozrejme, pomocou rezolucnej metody alebo stromom. Ak to, co ma byt logicky dosledok znegujes a potom ti vyjde ...
2015-01-26 00:07:06 +0100 answered a question Logický důsledek - predikátová logika
Ano je to logicky dosledok. Staci si vymysliet interpretaciu napr: ak existuje clovek(x), ktory je vysoky(A) a stihly(B) ...
2015-01-14 22:53:31 +0100 commented answer Nejobtiznejsi cviko z BI-PS1
podla mna najlepsie a najuzitocnejsie cviko spolu s 8 Cvičení — Textové transformace, příkaz awk ...
2015-01-14 22:52:02 +0100 answered a question Nejobtiznejsi cviko z BI-PS1
11 Cvičení — Práce s procesy a úlohami ...
2014-12-20 09:30:28 +0100 received badge  Enthusiast