Logika w zastosowaniach

Wstępna wiedza z zakresu klasycznej logiki zdaniowej oraz logiki I-rzędu.

Godziny kontaktowe (z udziałem nauczyciela akademickiego)

wykład: 30 godzin

laboratoria: 15 godzin

konwersatoria: 15 godzin

konsultacje: 15 godzin

Godziny nie kontaktowe (praca własna studenta)

50 godzin samodzielnego przygotowania do zajęć

50 godzin samodzielnego przygotowania do egzaminu

Łącznie 175 godzin

Liczba punktów ECTS: 7

Wykład: egzamin pisemny z użyciem oprogramowania weryfikującego poprawność dowodów Pandora

Laboratorium: rozwiązywanie problemów (przy użyciu weryfikatora dowodów).

Konwersatorium: rozwiązywanie problemów i dyskusja.

Celem kursu jest zapoznanie studentów z logiką jako narzędziem reprezentacji wiedzy oraz językiem programowania. W części laboratoryjnej studenci używać będą (komputerowego) weryfikatora dowodów oprartego na dedukcji naturalnej Jaśkowskiego (system Pandora udostępniany przez Imperial College w Londynie). Wykłady dotyczyć będą pozostałych systemów dowodzenia (takich jak systemy Gentzenowskie, rezolucja czy też semantic tableaux) oraz logik modalnych, logiki intuicjonistycznej, oraz logik wielowartościowych.

M. Ben-Ari, "Logika matematyczna w informatyce", Wydawnictwa Naukowo-Techniczne, Warszawa 2005.

KW_04: Zna strukturę logiczną języka. Rozumie podstawowe pojęcia syntaktyczne i semantyczne oraz wyjaśnia ich wzajemne relacje.

KW_08: Zna i rozumie charakterystyki systemów poznawczych w kategoriach obliczeniowych; zna metody sztucznej inteligencji umożliwiające modelowanie struktur i procesów poznawczych.

K_U01: Potrafi wyszukiwać, selekcjonować, analizować i oceniać informacje przy wykorzystaniu różnych źródeł i metod.

K_U04: Potrafi przeprowadzić analizę (syntaktyczną, semantyczną, pragmatyczną) wypowiedzi.

K_U07: Sprawnie posługuje się wybranymi technologiami informatycznymi: na poziomie aplikacji użytkowych i narzędzi sieciowych.

K_U09: Potrafi sformułować w sposób przejrzysty własne stanowisko oraz argumentować na jego rzecz; potrafi również ocenić kontrargumenty i udzielić na nie odpowiedzi; prezentuje swoje stanowisko w postaci pracy pisemnej, wystąpienia ustnego wspartego prezentacją lub posterem.

Kompetencje:

K_K01: Jest przygotowany do krytycznej oceny własnej i dostępnej powszechnie wiedzy; w dyskusjach przejawia postawę konstruktywnego krytycyzmu

K_K02: Ma świadomość społecznych konsekwencji wdrażania technologicznych rozwiązań wspomagających czynności poznawcze i aktywności komunikacyjne.

K_K06: Przestrzega przyjętych w środowisku naukowym norm postępowania, w szczególności zasad etyki zawodowej.