Logika w zastosowaniach

Informacje ogólne

Kod przedmiotu:	F-K.200
Kod Erasmus / ISCED:	(brak danych) / (brak danych)
Nazwa przedmiotu:	Logika w zastosowaniach
Jednostka:	Instytut Filozofii
Grupy:
Punkty ECTS i inne:	(brak) Podstawowe informacje o zasadach przyporządkowania punktów ECTS: roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS; tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h; 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się; tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS; nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta. zobacz reguły punktacji
Język prowadzenia:	polski
Wymagania wstępne:	Wstępna wiedza z zakresu klasycznej logiki zdaniowej oraz logiki I-rzędu.
Godzinowe ekwiwalenty punktów ECTS:	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
Sposób weryfikacji efektów kształcenia:	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.
Pełny opis:	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.
Literatura:	M. Ben-Ari, "Logika matematyczna w informatyce", Wydawnictwa Naukowo-Techniczne, Warszawa 2005.
Efekty uczenia się:	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.

Przedmiot nie jest oferowany w żadnym z aktualnych cykli dydaktycznych.

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Marii Curie-Skłodowskiej w Lublinie.