Dydaktyka
Prowadzone w ostatnich latach zajęcia dydaktyczne:
- Proseminarium Podstaw Informatyki,
- Logiczne podstawy informatyki (wykłady i ćwiczenia),
- Informatyczna analiza danych (wykłady i ćwiczenia),
- Elementy programowania baz danych (wykłady i ćwiczenia),
- Wykłady monograficzne - wybrane zagadnienia z podstaw informatyki:
- Automatyczna indukcja (2002/2003),
- Indukcyjne programowanie w logice (2003/2004),
- Problemy rachunku nazw (2004/2005),
Gramatyki formalne (2005/2006), - Formalna teoria zmiany przekonań (2006/2007).
Autor: Piotr Kulicki
Ostatnia aktualizacja: 28.03.2020, godz. 22:20 - Piotr Kulicki
Ostatnia aktualizacja: 28.03.2020, godz. 22:20 - Piotr Kulicki