|Related: Download | DP summer 2005/06 | DP summer 2006/07 | DP summer 2007/08 | DP summer 2008/09 | DP summer 2010/11 | DP summer 2011/12 | DP summer 2012/13 | DP summer 2013/14 | DP summer 2014/15||Slovenská verzia|
Here you will find the course information sheet.
Natural Numbers. Explicit definitions. Primitive recursion. Recursion with measure. Definitions of predicates. Tail recursion and iteration. Recursion on notation and binary arithmetic. Dyadic arithmetic and word problems. Pairing function and coding into natural numbers (arithmetization).
Data Structures. Lists. Basic operations over lists. Combinatorial functions over lists. Sorting of lists. Applications of lists. Arrays. Binary trees. Binary search trees. Braun trees and functional arrays. Heaps and priority queues. General trees. Symbolic expressions. Propositional logic and tautology checker. XHTML.
|* – updated within last 7 days||Last modified: 2015-09-17T15:15+0200|