Uniwersytet Wrocławski

Konkurs na stanowisko postdoka w ramach kierowanego przez Artura Jeża projektu Wybrane aspekty kompresji gramatykowej finansowanego przez Narodowe Centrum Nauki. W ramach projektu prowadzone są prace związane z kompresję gramatykową i jej powiązaniami z innymi dziedzina informatyki, np. algorytmami tekstowymi, równaniami słów czy unifikacją termów.

1. W okresie wyznaczonym przez w/w zarządzenie zajęcia prowadzone przez pracowników i doktorantów Wydziału Matematyki i Informatyki oraz osoby spoza Uniwersytetu Wrocławskiego prowadzące zajęcia na Wydziale Matematyki i Informatyki:

• pracownicy i doktoranci Wydziału;
• portierzy;
• osoby, które są na liście wcześniej przekazanej na portiernię.

• 11:30  Powitanie. O Instytucie Informatyki UWr.
• 11:45  Tomasz Drab – „Moja jest tylko racja i to święta racja...”. Komputer w służbie dyskursu.
  „Matematyka jest nam potrzebna, żeby nauczyć się prowadzić dyskurs. […] Uczy nas rozumowania, odróżniania prawdy od nieprawdy, argumentowania”. Podczas pokazu, na przykładzie systemu Coq, zobaczymy, jak komputer może weryfikować naszą argumentację i w interaktywny sposób pomagać nam w prowadzeniu precyzyjnych rozumowań, a są to umiejętności przydatne w życiu osobistym i zawodowym (nie tylko w pracy programisty czy naukowca).