{{indexmenu_n>1500}}

====== Tutorials ======

  - Mathematica Tutorial, {{:courses:a4m36tpj:tutorials:2015-week01-introduction.zip|}}
  - Mathematica Tutorial
  - Operational Semantics, {{:courses:a4m36tpj:tutorials:2015-week03-semantics.zip|}} /*(HW1 Assignment)*/ /*({{courses:A4M36TPJ:tutorials:2014-week03-semantics.zip|}}, {{courses:A4M36TPJ:tutorials:2014-week03-os-definition.pdf|}}), [[courses:a0b36pri:homeworks:start|HW1 Assignment]]*/
  - Types, {{:courses:a4m36tpj:tutorials:2015-week04-types.zip|}} /*({{courses:A4M36TPJ:tutorials:2014-week04-types.zip|}}, {{courses:A4M36TPJ:tutorials:2014-week04-types.pdf|}})*/
  - Types & Variables, {{:courses:a4m36tpj:tutorials:2015-week05-types-variables.zip|}} /*({{courses:A4M36TPJ:tutorials:2014-week05-types-variables.zip|}}, {{courses:A4M36TPJ:tutorials:2014-week05-types-variables.pdf|}})*/
  - Types (finish the type system implementation from last week) /*[[courses:A4M36TPJ:homeworks:start|HW2 Assignment]]*/
  - Lambda Calculus, //Mathematica// - Functional Programming, {{:courses:a4m36tpj:tutorials:2015-week07-lambda.zip|}}, [[courses:a4m36tpj:tutorials:homeworks|HW2 Assignment]]
  - Denotational Semantics, {{:courses:a4m36tpj:tutorials:2015-week08-denotational-semantics.zip|}}  /*{{courses:A4M36TPJ:tutorials:2014-week08-denotational-semantics.zip|}}*/
  - Denotational Semantics II, {{:courses:a4m36tpj:tutorials:2015-week09-denotational-semantics-ii.pdf|}}, {{:courses:a4m36tpj:tutorials:2015-week09-denotational-semantics-ii.zip|}}  /*{{courses:A4M36TPJ:tutorials:2014-week08-denotational-semantics.zip|}}*/
  - Advanced types {{:courses:a4m36tpj:tutorials:2015-week10-advanced-types.pdf|}}
  - Naming and state {{:courses:a4m36tpj:tutorials:2015-week11-naming_and_state.zip|}} /*{{courses:A4M36TPJ:tutorials:2014-week11-naming_and_state.zip|}}*/
  - Continuation-passing Style {{:courses:a4m36tpj:tutorials:2015-week12-continuations.zip|}}, {{:courses:a4m36tpj:tutorials:2015-week12-continuations.pdf|}}  /*{{courses:A4M36TPJ:tutorials:2014-week12-continuations.zip|}}, {{courses:A4M36TPJ:tutorials:2014-week12-continuations.pdf|}}*/
  - Monads {{:courses:a4m36tpj:tutorials:2015-week13-monads.zip|}} /*{{courses:A4M36TPJ:tutorials:2014-week13-monads.zip|}}*/
  - Reserve & Assessment



/*
===== Week 1 =====

  * Introduction to Wolfram //Mathematica//
    * //Mathematica// notebook: {{courses:A4M36TPJ:tutorials:week01-introduction.zip|}} [updated 24.9.2013]
    * Evaluated version in pdf: {{courses:A4M36TPJ:tutorials:week01-introduction.pdf|}} [updated 24.9.2013]

===== Week 2 =====

  * Operational semantics {{courses:A4M36TPJ:tutorials:week02-os-definition.pdf|}}, rewriting rules implementation {{courses:A4M36TPJ:tutorials:week02-semantics.zip|}}
  * [[courses:A4M36TPJ:homeworks:hw1:start|First homework assignment]]

===== Week 3 =====

  * Typing {{courses:A4M36TPJ:tutorials:week03-types.pdf|}}, type checking implementation template {{courses:A4M36TPJ:tutorials:week03-types.zip|}}

===== Week 4 & 7 (5,6 canceled) =====

  * Types & Variables, {{courses:A4M36TPJ:tutorials:week04.pdf|}}, {{courses:A4M36TPJ:tutorials:week04-types-variables.zip|}}
  * Semantics Properties, {{courses:A4M36TPJ:tutorials:week7.pdf|week07.pdf}}

===== Week 8 =====
  * [[http://reference.wolfram.com/mathematica/tutorial/PureFunctions.html|Pure functions]] in Wolfram //Mathematica//
  * Lambda Calculus
  * {{courses:A4M36TPJ:tutorials:week08-lambda.zip|}}
  * [[courses:A4M36TPJ:homeworks:hw2:start|Second homework assignment]]

===== Week 9 =====
  * Finish the Lambda Calculus implementation

===== Week 10 =====
  * Denotational Semantics of Simple Expression Language & Regular Expressions ({{courses:A4M36TPJ:tutorials:week09-denotational_semantics.zip|}})

===== Week 11 =====
  * Naming and State - {{courses:A4M36TPJ:tutorials:week11-state_and_naming.zip|}}

===== Week 12 =====
  * Continuation Passing Style - {{courses:A4M36TPJ:tutorials:week12-continuations.zip|}}
*/

/*
{{indexmenu>.#1}}
*/