Bookmarks of the following user: Mgr. Martin Milata, učo 256615

Tags of the following user:

all tags

Bookmarks of the following user: Mgr. Martin Milata, učo 256615

• Prolog Programming A First Course

  The course for which these notes are designed is intended for undergraduate students who have some programming experience and may even have written a few programs in Prolog. They are not assumed to have had any formal course in either propositional or predicate logic.

  my tags: FI:IB013 prolog

  1 user, first 14/4/2009, Martin Milata, bookmarks, people
• Project Euler

  Project Euler is a series of challenging mathematical/computer programming problems that will require more than just mathematical insights to solve. Although mathematics will help you arrive at elegant and efficient methods, the use of a computer and programming skills will be required to solve most problems.

  my tags: obor_informatika

  1 user, first 17/3/2009, Martin Milata, bookmarks, people
• Contra vs. Covariance

  my tags: FI:PB006 programování

  2 users, first 29/1/2009, Martin Milata, bookmarks, people
• KIC MU E-zdroje

  other users' tags: favorit ACM Blackwell EBSCO elektronicka elektronicke_zdroje e_zdroje ezdroje FF:FJIA026 FF:FJIA026! FSS:SPP898 IEEE information JSTOR katalog knihovna Knihovna knihovny library Masaryk MU ProQuest PříF:M1141 PříF:M1141! resources university vzdělávání zdroje

  20 users, first 23/1/2007, Petr Šinták, bookmarks, people
• IV100 - Paralelné a distribuované výpočty

  Studijní materiály k předmětu.

  my tags: obor_informatika FI FI:IV100

  2 users, first 22/9/2008, Martin Milata, bookmarks, people
• To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus

  The lambda calculus, and the closely related theory of combinators, are important in the foundations of mathematics, logic and computer science. This paper provides an informal and entertaining introduction by means of an animated graphical notation.

  my tags: FI FI:IA014 funkcionální_programování

  1 user, first 22/9/2008, Martin Milata, bookmarks, people