AIL023 Vyrokova a predikatova logika / cviceni

ZP�TKY

Anketa

Va�e koment��e

M� koment��e k va�im koment���m

Ad obt�nost z�po�tov� p�semky: Do p��klad� za�azuji i ty z minul�ch p�semek. Z�po�tov� p�semka by proto nem�la b�t t잚� ne� nejt잚� p��klady, kter� m�te k dispozici.

P��klady budu po��tat a� o zkou�kov�m. To u� bude pozd�. Z�po�tov� p�semka se p�e v posledn�m t�dnu v�uky (na posledn� p�edn�ce).

Ad mal� hodinov� dotace. Od p��t�ho nebo p�esp��t�ho akademick�ho roku se m�n� hodinov� dotace p�em�tu z 3/1 na 2/2, z�rove� zmiz� prosemin�� z logiky.

Ad zkracov�n� cvi�en�: V���m, �e u�et�en� �as v�nujete u�ite�n�m v�cem, nap�. po��t�n� p��klad�, j�dlu, sp�nku, diskus�m se sv�mi kolegy �i rozv�jen�m vztah� ve sv� komunit�.

Ad prodlu�ov�n� cvi�en�:Obvykle m�m �as a� do 15:00, ale konzultace lze pochopiteln� dohodnout i na jindy. Nesrovnalosti lze �e�it osobn� i po e-mailu. N�kolik z v�s u� toho vyu�ilo.

U p��klad� chyb�j� �e�en�. Uzn�v�m, �e �e�en� je �asto u�ite�n� a u� n�jak� �as uva�uji o sb�rce �e�en�ch p��klad�. Probl�mem je ale �ast� nejednozna�nost �e�en� (norm�ln� formy, realizace jazyka). Nav�c - pokud v�te, jak to m� vyj�t, �asto to �e�en� uleh�uje (narozd�l od z�po�tov� p�semky). Chcete-li si b�t jisti, �e jste p��klady spo��tali dob�e, z�sta�te na cvi�en� d�le, domluvte si osobn� konzultaci nebo konzultujte po e-mailu.

Ad suplov�n� p�edn�ky: Z l�tky vysv�tlen� na p�edn�ce vyb�r�m jen partie nejnutn�j�� k pochopen� p��klad�. Jen z m�ho v�kladu na cvi�en�ch se nelze p��pravit na zkou�ku.

Ad chozen� k tabuli: Jsem r�d, �e se shodneme na tom, �e pokud jde n�kdo k tabuli, tak ho to nep�im��en� vy�erp� a� zdept�, zat�mco ostatn� se nud� a �ekaj�, jak to cel� dopadne. Nedostate�n� aktivita n�kter�ch z v�s je jist� d�na jen ostychem p�ed ostatn�mi.

Ad po��t�n� v�ce p��klad� na tabuli: Ka�d� p��klad, kter� si spo��t�te sami doma, je pro v�s u�ite�n�j�� ne� deset p��klad�, kter� p�edvedu na tabuli a vy si je op�ete do se�itu. (bez d�kazu)

V podstat� m� nic nenapad�... Tak a� je to u zkou�ky lep��!

Va�e koment��e k m�m koment���m k va�im koment���m

... mi p��padn� pos�lejte mailem.
Petr Olmer, 27. b�ezna 2003