Prowadzony w
cyklach:
2021/SZ, 2022/SZ, 2023/SZ
Punkty ECTS:
brak danych
Organizowany przez:
Wydział Matematyki i Informatyki
Logiczne podstawy informatyki 06-ZLPIUI0
Opanowanie technik automatycznego dowodzenia (rezolucja, tableaux, systemy sekwencyjne).
Analiza mechanizmu rezolucji liniowej z uzgadnianiem.
Opanowanie obliczeń w rachunku lambda.
Ilustracja tych metod na przykładach z języków Prolog i Haskell.
Literatura
J. W. Lloyd, Foundations of Logic Programming, Springer, 1987.
K. Doets, From Logic to Logic Programming, MIT Press, 1994.
M. Ben-Ari, Logika matematyczna w informatyce, WNT, 2005.
E. Gatnar, K. Stąpor, Prolog. Język sztucznej inteligencji. Wyd. PLJ, 1991.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: