Lehrkonzept - Logik und Berechenbarkeit

TU Graz I Lehrkonzept – Logik und Berechenbarkeit (705.033, 705.034)
Referenzen
[1] „Evaluierung KU 2012,“ TU Graz, [Online]. Available:
https://online.tugraz.at/tug_online/qt_eval1.display_result?cstp_sp_nr=164727&clv_grp_nr=-1.
[2] „Evaluierung KU 2011,“ TU Graz, [Online]. Available:
https://online.tugraz.at/tug_online/qt_eval1.display_result?cstp_sp_nr=156121&clv_grp_nr=-1.
[3] T. Grill, G. Hofferek und M. Eichlseder, „STicS - Student Tick System,“ IAIK - TU Graz, 2012. [Online].
Available: https://stics.iaik.tugraz.at.
[4] G. Hofferek, „KU Website,“ IAIK - TU Graz, [Online]. Available:
http://www.iaik.tugraz.at/content/teaching/bachelor_courses/logik_und_berechenbarkeit/practicals/.
[5] E. Grabl, Didaktik 1 - Grundlagen des Lehrens und Lernens im akademischen Bildungsbereich, interne
Weiterbildung.
[6] E. Grabl, Didaktik 2 - Durchführen von Lehrveranstaltungen im akademischen Bildungsbereich, Interne
Weiterbildung.
[7] E. Grabl, Didaktik 3 - Lehrverhalten im akademischen Bildungsbereich, Interne Weiterbildung.
[8] G. Hofferek, „VO Website,“ IAIK - TU Graz, [Online]. Available:
http://www.iaik.tugraz.at/content/teaching/bachelor_courses/logik_und_berechenbarkeit/.
[9] M. Huth und M. Ryan, Logic in Computer Science - Modelling and Reasoning about Systems, Cambridge
University Press, 2004.
[10] TU Graz, „TeachCenter,“ [Online]. Available: http://tugtc.tugraz.at/wbtmaster/deskmain.htm.
[11] TU Graz, „Realfeedback,“ [Online]. Available: http://realfeedback.tugraz.at/.
[12] TU Graz, „TUGRAZonline,“ [Online]. Available: http://online.tugraz.at.
[13] „Twitter,“ [Online]. Available: http://www.twitter.com.
[14] „Evalierung VO,“ 2012. [Online]. Available:
https://online.tugraz.at/tug_online/qt_eval1.display_result?cstp_sp_nr=164726&clv_grp_nr=-1.
14