====== PFL060 Komputační sémantika ======

==== Předmět není v současné době vyučován ====



**Vyučující:**\\ [[user:havelka|Jiří Havelka]] (havelka at ufal dot ms ...)\\ [[user:stepanek:start|Jan Štěpánek]] (stepanek at ufal dot ms ...)

[[http://www.mff.cuni.cz/vnitro/is/sis/predmety/kod.php?kod=PFL060|Stránka předmětu ve Studijním informačním systému]] - anotace, osnova atd.

===== Studijní materiály =====

[[http://www.blackburnbos.org|Computational Semantics]] - stránky s materiály ke kurzu Patricka Blackburna a Johana Bose, z něhož vycházíme
  * [[http://homepages.inf.ed.ac.uk/jbos/comsem/software1.html|Software]] k 1. půlce kurzu - samotné zdrojové soubory najdete [[http://homepages.inf.ed.ac.uk/jbos/comsem/download/bb1.tar.gz|zde]].
  * [[http://homepages.inf.ed.ac.uk/jbos/comsem/software2.html|Software]] ke 2. půlce kurzu - samotné zdrojové soubory najdete [[http://homepages.inf.ed.ac.uk/jbos/comsem/download/bb2.tar.gz|zde]].

{{.:pfl060:blackburn_bos_esslli2001.ps.gz|Slidy}} - původní slidy Patricka Blackburna a Johana Bose z letní školy ESSLLI 2001, které používáme při výuce

===== Výuka =====

[[.:pfl060:200607|2006/07]] - průběh výuky