|Related: Download | SVP summer 2007/08 | SVP summer 2008/09 | SVP summer 2009/10 | SVP summer 2010/11 | SVP summer 2011/12 | SVP summer 2012/13 | SVP summer 2013/14 | SVP summer 2014/15 | SVP summer 2016/17 | SVP summer 2019/20||Slovenská verzia|
Here you will find the course information sheet.
Declarative Programming. Primitive recursion. Recursion with measure. Iterative recursion. Recursion on notation. Pairing function and arithmetization. Structural recursion.
Specification-verification System. Peano Arithmetic. Mathematical induction. Extensions of arithmetic. Derived induction principles: complete induction, measure induction, structural induction.
Data Structures. Strings. Lists. Basic operations over lists. Sorting of lists. Applications of lists. Binary trees. Basic operations over binary trees. Binary search trees. Applications of trees. Symbolic expressions. Interpreter of programming language. Universal function.
|* – updated within last 7 days||Last modified: 2020-02-18T09:46+0100|