Dr hab. Lidia Tendera, prof. UO uzyskała finansowanie projektu Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i liczebniki w konkursie OPUS 16 zorganizowanym przez Narodowe Centrum Nauki. Serdecznie...
Terminarz obron prac dyplomowych w roku akademickim 2018/2019: 17.06 jest ostatecznym terminem zatwierdzenia przez promotora w APD pracy dyplomowej, której obrona ma odbyć się w pierwszej turze obron (w ramach wyznaczonych przez sesję egzaminacyjną); pierwsza tura...
Informujemy, że w sekcji Instrukcje przygotowania wniosków dostępne są szczegółowe instrukcje sporządzania i składania wniosków w konkursach ogłoszonych 15 marca 2019 r.: OPUS 17: instrukcja, ogłoszenie konkursowe, PRELUDIUM 17: instrukcja, ogłoszenie...
6 czerwca o godz. 11:15 w sali 104 MAT odbędzie się seminarium Instytutu Informatyki, na którym dr Sebastian Bala wygłosi referat pt.: “Dlaczego liczenie wielowymiarowych miar Ulama jest trudne obliczeniowo”. Streszczenie: Na tym seminarium pokażę kilka dowodów...
16 maja o godz. 11:15 (po Radzie Wydziału) w sali 104 INF odbędzie się seminarium Instytutu Informatyki, na którym dr Sławomir Kost wygłosi referat pt.: “Projektywna aproksymacja w logice intuicjonistycznej i logice modalnej S4”. Streszczenie:...
Witryna, którą obecnie przeglądasz, wykorzystuje pliki cookies w celu poprawnej realizacji dostarczanych usług i informacji oraz w celach gromadzenia anonimowych informacji statystycznych.AkceptujęWięcej informacji >>
