compilers lectures добро freebooks Scheme URL Coq data_mining HoTT Lisp logic math monads OCaml parallel_programming reading school sml дс-2 лекции СПб