Bookmarks of the following user: Mgr. Juraj Major, učo 396325

Tags of the following user:

all tags

Bookmarks of the following user: Mgr. Juraj Major, učo 396325

• What does Yoneda’s Lemma mean?

  my tags: PříF:M7150 teorie_kategorii

  2 users, first 10/5/2015, Matej Kollár, bookmarks, people
• Advanced Topics in Programming Languages (Homotopy type theory)

  my tags: FI:IB015 PříF:M7150 course education FI:IA014 FI:IB016 PříF:M7151 PříF:M8250 theory type | other users' tags: FI:IA014! FI:IB016!

  2 users, first 8/3/2015, Juraj Major, bookmarks, people
• Secret Perl Operators - good coders code, great reuse

  my tags: perl linux programování

  2 users, first 5/12/2014, Jan Kasprzak, bookmarks, people
• Návrh novely Zákona o VŠ

  my tags: předpisy

  1 user, first 6/11/2014, Juraj Major, bookmarks, people
• A path to Programming Language Theory enlightenment

  my tags: cteni design languages programming typetheory

  2 users, first 12/9/2014, Juraj Major, bookmarks, people
• Who Can Name the Bigger Number?

  my tags: FI:IA046 busy_beaver FI:IB107

  2 users, first 10/9/2014, Juraj Major, bookmarks, people
• Grammar rules for writing mathematical texts

  my tags: angličtina english grammar matematika math textbook writing

  4 users, first 20/8/2014, Radek Šlesinger, bookmarks, people
• The Derivative Of A Number

  other users' tags: cteni

  2 users, first 19/8/2014, Juraj Major, bookmarks, people
• Analysis of Boolean Functions

  no tags

  1 user, first 9/8/2014, Juraj Major, bookmarks, people
• Perl Cannot Be Parsed: A Formal Proof

  my tags: perl

  2 users, first 7/5/2014, Juraj Major, bookmarks, people