Katedra Podstaw Informatyki
Kierownik:r dr. hab. Jakub Kozik, prof. UJ
Badania:
- teoria obliczalności
- logika obliczeniowa
- programowanie w logice
- typowany lambda rachunek
- teoria dziedzin
- teoria kategorii w informatyce
Seminaria:
- Podstawy Informatyki
- środa 12:15 - 14:00, 0174
- Algorytmy Probabilistyczne i Aproksymacyjne
- wtorek 16:00 - 18:00, 0174
| Pracownicy | Doktoranci |