Příspěvky uživatele Jiri 1984

Uživatel s 57 editacemi. Účet vytvořený 15. 1. 2011.
Zobrazení příspěvkůrozbalitsbalit
⧼contribs-top⧽
⧼contribs-date⧽
(nejnovější | nejstarší) Ukázat (50 novějších | ) (20 | 50 | 100 | 250 | 500).

26. 2. 2013

27. 10. 2012

16. 9. 2012

27. 7. 2012

16. 7. 2012

15. 7. 2012

2. 7. 2012

11. 3. 2012

  • 22:4411. 3. 2012, 22:44 rozdíl historie +4 SyntaxÚprava části o syntaxi v informatice - samotná syntaxe zde popisuje pouze tvar (formu) fráze určitého jazyka, ne význam této fráze nebo jejich částí.

21. 2. 2012

8. 2. 2012

4. 2. 2012

  • 15:274. 2. 2012, 15:27 rozdíl historie +423 N Diskuse:Přímý důkazNová stránka: Dobrý den, uvedená definice příliš zužuje pojem přímého důkazu pouze na dokazování implikací. Např. v http://www.karlin.mff.cuni.cz/katedry/kdm/diplomky/moravecdp/du… aktuální

31. 1. 2012

11. 1. 2012

29. 12. 2011

22. 12. 2011

8. 12. 2011

7. 9. 2011

2. 9. 2011

10. 8. 2011

22. 7. 2011

20. 7. 2011

  • 20:1420. 7. 2011, 20:14 rozdíl historie +247 N Diskuse:Jazyk (logika)Nová stránka: Dobrý večer, tento článek pojednává o pouze abecedě jazyka. Navrhuji sloučit s článkem "Formule", kde je uvedena i gramatika pro vytváření slov (termů a formulí) v jaz... aktuální

12. 7. 2011

8. 7. 2011

6. 3. 2011

26. 1. 2011

16. 1. 2011

(nejnovější | nejstarší) Ukázat (50 novějších | ) (20 | 50 | 100 | 250 | 500).