Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Logika w informatyce

Opis

Teoria typów w odniesieniu do programowania funkcyjnego, przepisywanie termów, automatyczne wspomaganie dowodzenia. Logiczne podstawy weryfikacji: logika temporalna, logika programów, logika monadyczna i jej związek z automatami i grami. Tematy badawcze dotyczą między innymi siły wyrazu rozmaitych rachunków logicznych, rozstrzygalności, oraz efektywności weryfikacji modelowej.

Seminaria

Pracownicy i doktoranci