Katedra Podstaw Informatyki
Kierownik: prof. Marek Zaionc
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 |