kontakt: ul. Oleska 48, 45-052 Opole, tel.: (77) 4527205, fax: (77) 4527207, e-mail: Środa, 20 września 2017 





  DANE PRACOWNIKA

   dr hab. Lidia Tendera prof. UO
  E-mail:
  Telefon: (77) 452 7210 w. 7210
  Pokój: 210 BG ul. Oleska 48
  Jednostka: Zakład Informatyki
  • Strona prywatna
  • Publikacje
  • Konsultacje: po uzgodnieniu terminu mailem, p. 210 BG. W sesji poprawkowej 14.09 w godz. 12:00-13:00.

  • Zainteresowania: logiki komputerowe. Obowiązki: kierownik projektu NCN nr DEC-2013/09/B/ST6/01535 pt.: "Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności".
Za aktualność danych na stronie odpowiedzialne są osoby zainteresowane. Dane pobierane są z bazy danych "CS" systemu Internetowej Obsługi Sprawozdawczości działającego na potrzeby Instytutu Matematyki i Informatyki UO. Pytania dotyczące formatu lub sposobu uaktualnienia danych prosimy kierować na adres .

  Kronika wydarzeń
  Zapraszamy na strony

A A A
do góry
Kontakt: ul. Oleska 48, 45-052 Opole, tel.: (77) 4527205, fax: (77) 4527207, e-mail: | Webmaster:
Copyright © 2005-2017 Instytut Matematyki i Informatyki Uniwersytet Opolski | Aktualizacja: 23.06.2016 | Wizyt: 1239516. Dziękujemy.