Rachunek Mi
Informacje ogólne
Kod przedmiotu: | 1000-2M03RM |
Kod Erasmus / ISCED: |
11.303
|
Nazwa przedmiotu: | Rachunek Mi |
Jednostka: | Wydział Matematyki, Informatyki i Mechaniki |
Grupy: |
Przedmioty obieralne dla informatyki Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka |
Punkty ECTS i inne: |
(brak)
|
Język prowadzenia: | angielski |
Rodzaj przedmiotu: | monograficzne |
Pełny opis: |
Celem zajęć jest zapoznanie studentów z rachunkiem logicznym, jaki leży u podstaw wielu podejść do automatycznej weryfikacji programów, protokołów i procesorów. Rachunek Mi w elegancki sposób uogólnia logiki algorytmiczne, dynamiczne i temporalne. Akcent położony będzie raczej na teoretyczne własności tego rachunku, jakie od szeregu lat są intensywnie badane m.in. właśnie w Warszawie. Jednym z istotnych celów wykładu jest doprowadzenie studentów do poziomu problemów badawczych, jakie często leżą na styku różnych dziedzin (logiki, teorii gier, teorii automatów). Program: - Podstawowe własności najmniejszych i największych punktów stałych. - Semantyka rachunku Mi w terminach gier. - Siła wyrazu rachunku Mi, problem hierarchii, związek z teorią definiowalności (w szczególności z hierarchią Borelowską i analityczną). - Weryfikacja modelowa (ang. model checking) oparta na rachunku Mi, zagadnienia algorytmiki i złożoności. Proponowane podręczniki: A. Arnold, D. Niwinski, "Rudiments of Mu-calculus", North--Holland, Elsevier Science B.V., Amsterdam, 2001. Forma zaliczenia: egzamin w formie samodzielnego pisemnego rozwiązywania problemów (w ciągu kilkunastu dni). |
Właścicielem praw autorskich jest Uniwersytet Warszawski.