====== Teorie Programovacích Jazyků ======

  * Stránky předmětu: https://cw.fel.cvut.cz/wiki/courses/A4M36TPJ/start
  * Přednášející: Pavel Strnad
  * Cvičící: Pavel Strnad, Zdeněk Buk


====== Cvičení ======

  * [[courses/A4M36tpj/zapisky|Zápisky]]
  

====== Domácí úlohy ======  
  * Domaci ukoly 2014/2015 (Stejne jako 2013/2014).
  * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/2014-hw1-assignment.pdf|HW1 zadani]]
  * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/2014-hw2-assignment.pdf|HW2 zadani]]
  * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/2014-hw3-assignment.pdf|HW3 zadani]]
  * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/homeworks.zip | homeworks.zip]]
====== Materiály ======
  * **[[https://docs.google.com/document/d/1PVgcQnfYDiAey5oQLWxQpMPcZFUImrW4l6_PFX3L7c8/edit?pli=1 | Řešení zkouškových testů vlastními silami]]**
  * [[courses/A4M36tpj/vyklad_ke_treti_uloze|Výklad ke třetí úloze v opravném testu z 6.1.2012.]]
  * [[http://maude.cs.uiuc.edu/maude2-manual/html/maude-manual.html | Maude manual]]
  * [[courses/A4M36tpj/reseni_testu|Řešení zkouškových příkladů]]


====== Zkoušky ======

===== 2013 =====

  * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/exam1.pdf|exam1]]
  * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/exam2.pdf|exam2]]
  * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/exam3.pdf|exam3]]
  * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/exam4.pdf|exam4]]
  * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/exam5.pdf|exam5]]
  * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/exam6.pdf|exam6]]
  * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/exam7.pdf|exam7]]


===== 2014 =====

  * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/2014_01.pdf|exam1]]
  * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/2014_02.pdf|exam2]]
  * [[http://oi-wiki.cz/lib/exe/fetch.php/courses/a4m36tpj/2014_03.pdf|exam3]]


===== 2015 =====

  * Kombinace prikladu z 2013 a 2014