{{indexmenu_n>1000}}

====== Lectures ======

  - Motivation {{:courses:a4m36tpj:lectures:2015-week-l01.pdf|Úvod}} {{:courses:a4m36tpj:lectures:2015-week-l01-motivation.pdf|Motivation}} 
  - Introduction to operational semantics {{:courses:a4m36tpj:lectures:a4m36tpj-l02-201516.pdf|Lecture 2}}
  - Operational Semantics {{courses:A4M36TPJ:lectures:a4m36tpj-l03-201516.pdf|Lecture 3}}
  - Semantics and typing of a simple imperative language {{courses:A4M36TPJ:lectures:a4m36tpj-l04-1415.pdf|Lecture 4}}
  - Semantics and typing properties {{courses:A4M36TPJ:lectures:a4m36tpj-l05-1516.pdf|Lecture 5}}
  - Lambda calculus {{courses:A4M36TPJ:lectures:a4m36tpj-l06-1516.pdf|Lecture 6}}
  - Mathematica - Functional Programming {{:courses:a4m36tpj:lectures:a4m36tpj-l07-1516.pdf|Lecture 7}} ( {{:courses:a4m36tpj:lectures:a4m36tpj-l07-1516.zip|Lecture 7 - Mathematica notebook}})
  - Denotational semantics {{courses:A4M36TPJ:lectures:a4m36tpj-l08-1516.pdf|Lecture 8}}
  - Advanced types {{courses:A4M36TPJ:lectures:a4m36tpj-l09-1516.pdf|Lecture 9}}
  - Naming and state {{courses:A4M36TPJ:lectures:a4m36tpj-l10-1516.pdf|Lecture 10}}
  - Control and data {{:courses:a4m36tpj:lectures:a4m36tpj-l12-1516.pdf|Lecture 11}}
  - Monads {{courses:A4M36TPJ:lectures:a4m36tpj-l13-1516.pdf|Lecture 12}}
  - Presentation of HW solutions, Q/A

/*
  - Introduction to operational semantics {{courses:A4M36TPJ:lectures:a4m36tpj-intro-2013.pdf|Introduction}} {{courses:A4M36TPJ:lectures:a4m36tpj-l01-201314.pdf|Lecture 01}}
  - Operational semantics {{courses:A4M36TPJ:lectures:a4m36tpj-l02-201314.pdf|Lecture 02}}
  - Introduction to typing {{courses:A4M36TPJ:lectures:a4m36tpj-l03-1314.pdf|Lecture 03}}
  - Semantics and typing of a simple imperative language {{courses:A4M36TPJ:lectures:a4m36tpj-l04-1314.pdf|Lecture 04}}
  - --
  - --
  - Semantics and typing properties {{courses:A4M36TPJ:lectures:a4m36tpj-l07-1314.pdf|Lecture 07}}
  - Lambda calculus {{courses:A4M36TPJ:lectures:a4m36tpj-l08-1314.pdf|Lecture 08}}
  - Denotational semantics {{courses:A4M36TPJ:lectures:a4m36tpj-l09-1314.pdf|Lecture 09}}
  - Advanced types {{courses:A4M36TPJ:lectures:a4m36tpj-l10-1314.pdf|Lecture 10}}
  - Naming and state {{courses:A4M36TPJ:lectures:a4m36tpj-l11-1314.pdf|Lecture 11}}
  - Control and data {{courses:A4M36TPJ:lectures:a4m36tpj-l12-1314.pdf|Lecture 12}}
  - Monads {{courses:A4M36TPJ:lectures:a4m36tpj-l13-1314.pdf|Lecture 13}}
*/

/*  - Featherweight Java, Relational Algebra
*
{{indexmenu>.#1}}