Warning
This page is located in archive.

Lectures

  1. Motivation Úvod Motivation
  2. Introduction to operational semantics Lecture 2
  3. Operational Semantics Lecture 3
  4. Semantics and typing of a simple imperative language Lecture 4
  5. Semantics and typing properties Lecture 5
  6. Lambda calculus Lecture 6
  7. Mathematica - Functional Programming Lecture 7 ( Lecture 7 - Mathematica notebook)
  8. Denotational semantics Lecture 8
  9. Advanced types Lecture 9
  10. Naming and state Lecture 10
  11. Control and data Lecture 11
  12. Monads Lecture 12
  13. Presentation of HW solutions, Q/A
courses/a4m36tpj/lectures/start.txt · Last modified: 2016/01/03 22:04 by strnapa1