V�rokov� a predik�tov� logika (NAIL062) V zimn�m semestru akademick�ho roku 2014/2015 vedu jedno cvi�en� k p�edn�ce V�rokov� a predik�tov� logika. Cvi�en� se kon� v �ter� od 12:20 v S11 na Mal� Stran�. Informace t�kaj�c� se pr�b�hu cvi�en� budou postupn� zve�ej�ov�ny na t�to str�nce. Po�adavky na z�po�et jsou aktivita na cvi�en�, �e�en� dom�c�ch �loh, doch�zka a naps�n� (pravd�podobn� dvou) z�po�tov�ch p�semek. Prvn� z�po�tov� p�semka se bude ps�t 11.11.2014. N�pln� m��e b�t cokoli probran� do term�nu p�semky na cvi�en� �i p�edn�ce. N�hradn� z�po�tov� p�semka se bude ps�t na z�klad� individu�ln� dohody. N�hradn� cvi�en� je rozvr�eno na p�tek 19.12. od 14:00 v u�ebn� S11. Druh� z�po�tov� p�semka se bude ps�t 6.1.2015. N�pln� m��e b�t cokoli probran� do term�nu p�semky na cvi�en� �i p�edn�ce.
|