Záložky osoby: Mgr. Juraj Major, učo 396325

Štítky osoby

všechny štítky

Záložky osoby: Mgr. Juraj Major, učo 396325

• What does Yoneda’s Lemma mean?

  mé štítky: PříF:M7150 teorie_kategorii

  2 osoby, první 10. 5. 2015, Matej Kollár, záložky, lidé
• Advanced Topics in Programming Languages (Homotopy type theory)

  mé štítky: FI:IB015 PříF:M7150 course education FI:IA014 FI:IB016 PříF:M7151 PříF:M8250 theory type | cizí štítky: FI:IA014! FI:IB016!

  2 osoby, první 8. 3. 2015, Juraj Major, záložky, lidé
• Secret Perl Operators - good coders code, great reuse

  mé štítky: perl linux programování

  2 osoby, první 5. 12. 2014, Jan Kasprzak, záložky, lidé
• Návrh novely Zákona o VŠ

  mé štítky: předpisy

  1 osoba, první 6. 11. 2014, Juraj Major, záložky, lidé
• A path to Programming Language Theory enlightenment

  mé štítky: cteni design languages programming typetheory

  2 osoby, první 12. 9. 2014, Juraj Major, záložky, lidé
• Who Can Name the Bigger Number?

  mé štítky: FI:IA046 busy_beaver FI:IB107

  2 osoby, první 10. 9. 2014, Juraj Major, záložky, lidé
• Grammar rules for writing mathematical texts

  mé štítky: angličtina english grammar matematika math textbook writing

  4 osoby, první 20. 8. 2014, Radek Šlesinger, záložky, lidé
• The Derivative Of A Number

  cizí štítky: cteni

  2 osoby, první 19. 8. 2014, Juraj Major, záložky, lidé
• Analysis of Boolean Functions

  žádné štítky

  1 osoba, první 9. 8. 2014, Juraj Major, záložky, lidé
• Perl Cannot Be Parsed: A Formal Proof

  mé štítky: perl

  2 osoby, první 7. 5. 2014, Juraj Major, záložky, lidé