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





  SEMINARIUM INSTYTUTOWE

Lista seminariów:
Temat: "Artificial intelligence challenges for engineering applications"
  • Referuje: dr Ricardo Rodríguez Jorg
  • Termin: 22.12.2016, godz. 13:15
  • Miejsce: Budynek Informatyki, sala 110
Temat: "Problem logicznej równoważności modeli Kripkego dla teorii intuicjonistycznych"
  • Referuje: dr Małgorzata Kruszelnicka
  • Termin: 9.06.2016, godz. 14:15
  • Miejsce: Budynek Informatyki, sala 110
Temat: "O jednowymiarowym modelu aerotaksji"
  • Referuje: mgr Piotr Knosalla
  • Termin: 14.01.2016, godz. 14:15
  • Miejsce: Budynek Informatyki, sala 110
Temat: "Przeliczalne struktury Kripkego dla pewnych logik wielomodalnych"
  • Referuje: dr Sławomir Kost
  • Termin: 5.11.2015, godz. 14:15
  • Miejsce: Budynek Informatyki, sala 110
Temat: "Całkowalność w układach dynamicznych na przestrzeniach jednorodnych"
  • Referuje: prof. Maciej Wojtkowski
  • Termin: 23.04.2015, godz. 14:15
  • Miejsce: Budynek Informatyki, sala 110
Temat: "The Return of the Syllogism"
  • Referuje: prof. Ian Pratt-Hartmann
  • Termin: 8.01.2015, godz. 14:15
  • Miejsce: Budynek Informatyki, sala 110
Temat: "Idzie zima - pomyślmy o drzewach"
  • Referuje: prof. Jacek Nikiel
  • Termin: 6.11.2014, godz. 14:15
  • Miejsce: Budynek Informatyki, sala 110
Temat: "Klasyczny problem sekretarek i jego uogólnienia, optymalny czas zatrzymania na porządkach częściowych i grafach skierowanych"
  • Referuje: dr hab. Grzegorz Kubicki
  • Termin: 12.06.2014, godz. 13:00
  • Miejsce: Budynek Informatyki, sala 110
Temat: "O klasyfikacji relacji równoważności orbit i działaniach ostatecznie otwartych"
  • Referuje: dr hab. Barbara Majcher-Iwanow
  • Termin: 6.03.2014, godz. 14.15
  • Miejsce: Budynek Informatyki, sala 110
Temat: "Uogólnianie twierdzeń; teoria dowodu wg. Georga Kreisel'a"
  • Referuje: prof. Piotr Wojtylak
  • Termin: 9.01.2014, godz. 14.15
  • Miejsce: Budynek Informatyki, sala 110

  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.