Login

Zakład Teorii Obliczeń

Kierownik: prof. zw. dr hab. Wojciech Buszkowski, Ten adres pocztowy jest chroniony przed spamowaniem. Aby go zobaczyć, konieczne jest włączenie w przeglądarce obsługi JavaScript.
Wtorek:13:15 - 14:15
Pokój: B2-38
Telefon:
61829-5444
Zakład Teorii Obliczeń

Tematyka:
Logiczne systemy informatyki, Logiki podstrukturalne, Gramatyki formalne i automat.

Lista pracowników:

Profesorowie:
prof. dr hab. Wojciech Buszkowski, Ten adres pocztowy jest chroniony przed spamowaniem. Aby go zobaczyć, konieczne jest włączenie w przeglądarce obsługi JavaScript.
prof. UAM dr hab. Maciej Kandulski, Ten adres pocztowy jest chroniony przed spamowaniem. Aby go zobaczyć, konieczne jest włączenie w przeglądarce obsługi JavaScript.

St. wykładowcy:
dr Mirosława Kołowska-Gawiejnowicz, Ten adres pocztowy jest chroniony przed spamowaniem. Aby go zobaczyć, konieczne jest włączenie w przeglądarce obsługi JavaScript.

Doktoranci:
mgr Paweł Płaczek

Kalendarz wydarzeń

Pn Wt Śr Cz Pt So N
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30