Rejestracja na kursy zmienne ogólnouczelniane

Rejestracja na kursy zmienne ogólnouczelniane

Szanowni Państwo, informujemy, iż od dnia 4 grudnia 2020 r. rozpocznie się rejestracja na kursy zmienne ogólnouczelniane realizowane w semestrze letnim w roku akademickim 2020/2021. W związku z zaistniałą sytuacją epidemiologiczną, II tura rejestracji również odbędzie...
Szkolenie biblioteczne dla studentów II stopnia

Szkolenie biblioteczne dla studentów II stopnia

Szanowni państwo, w dniu 20.11.2020 o godzinie 15:00 na platformie Microsoft Teams odbędzie się szkolenie biblioteczne dla studentów informatyki II stopnia (semestr I i II). Bardzo prosimy wszystkich zainteresowanych o obecność.

Zespoły badawcze Instytutu Informatyki

Logiki komputerowe dr hab. Lidia Tendera, prof. UO – Kierownik zespołu prof. dr Ian Pratt-Hartmann mgr inż. Dariusz Marzec dr Zbigniew Bonikowski dr Andrzej Jasiński   Unifikacja w logikach modalnych dr hab Barbara Morawska – Kierownik zespołu dr...