Záložky osoby: Mgr. Martin Milata, učo 256615
Štítky osoby
Záložky osoby: 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.
1 osoba, první 14. 4. 2009, Martin Milata, záložky, lidé - 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.
1 osoba, první 17. 3. 2009, Martin Milata, záložky, lidé - Contra vs. Covariance 2 osoby, první 29. 1. 2009, Martin Milata, záložky, lidé
- KIC MU E-zdroje 20 osob, první 23. 1. 2007, Petr Šinták, záložky, lidé
- IV100 - Paralelné a distribuované výpočty
Studijní materiály k předmětu.
2 osoby, první 22. 9. 2008, Martin Milata, záložky, lidé - 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.
1 osoba, první 22. 9. 2008, Martin Milata, záložky, lidé