Uniwersytet Marii Curie-Skłodowskiej w Lublinie - Centralny System Uwierzytelniania
Strona główna

Formalne analizy języka naturalnego

Informacje ogólne

Kod przedmiotu: F-K.190
Kod Erasmus / ISCED: (brak danych) / (brak danych)
Nazwa przedmiotu: Formalne analizy języka naturalnego
Jednostka: Instytut Filozofii
Grupy: Przedmioty kierunkowe kognitywistyka II stopień II semestr
Punkty ECTS i inne: 6.00 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.
Język prowadzenia: (brak danych)
Wymagania wstępne:

zaliczony kurs "Logika" (I rok)

Godzinowe ekwiwalenty punktów ECTS:

Godziny kontaktowe (z udziałem nauczyciela akademickiego)

wykład: 30 godzin

laboratoria: 15 godzin

konsultacje: 15 godzin


Godziny nie kontaktowe (praca własna studenta)

40 godzin samodzielnego przygotowania do zajęć

50 godzin samodzielnego przygotowania do egzaminu


Łącznie 150 godzin


Liczba punktów ECTS: 6

Sposób weryfikacji efektów kształcenia:

Wykład: egzamin pisemny

Laboratorium: programowanie oraz dyskusja

Pełny opis:

1. Język logiki jako lingua universalis

2. Logika a język naturalny

3. Logika jako system reprezentacji wiedzy

4. Formalizacja wyrażeń języka naturalnego w ramach języka logiki, operator lambda

5. Syntaktyka a semantyka

6. Gramatyka kategorialna

7. Kwantyfikatory uogólnione

8. Wyrażenia pluralne

9. Znaczenie i prawda

10. Semantyka ekstensjonalna a semantyka intensjonalna

11. Semantyka światów możliwych

12. „Gramatyki” Richarda Montague i inne ujęcia formalne język naturalnego

13. Formalne i nie-formalne (pragmatyczne) ujęcie logiczne języka naturalnego

Literatura:

1. Barbara Stanosz, Adam Nowaczyk. Logiczne podstawy języka. Wrocław 1976.

2. Marek Tokarz, Elementy pragmatyki logicznej, PWN 1993

3. Mark Sainsbury, Logical Forms, Blackwell 1991

4. William Lycan, Logical Form in Natural Language, MIT Press 1984

5. Introduction to Montague Semantics, Reidel 1981.

6. Filozofia Języka, pod. red. B. Stanosz, Aletheia 1993

Efekty uczenia się:

K_W03: Zna w pogłębionym stopniu metody formalnego opisu języka w kategoriach logicznych, lingwistycznych i obliczeniowych.

K_W08: Ma wiedzę o języku naturalnym jako zjawisku społecznym i kulturowym; rozumie rolę języka jako środka kształtowania przekonań i opinii.

K_U01: Potrafi samodzielnie wyszukiwać, selekcjonować, analizować i integrować informacje (w języku polskim i angielskim) pod kątem ich przydatności dla założonych celów korzystając ze źródeł tradycyjnych i

elektronicznych.

K_U02: Potrafi sformułować problem i hipotezę naukową, dobrać odpowiednie metody i narzędzia badawcze w zakresie wybranej perspektywy badania procesów poznawczych; potrafi rozwiązać problem i sformułować wnioski.

K_U04: Potrafi dokonać pogłębionej analizy logicznej, językowej i semiotycznej wybranych komunikatów i tekstów.

K_U10: Potrafi samodzielnie planować i realizować proces zdobywania wiedzy i umiejętności; wspiera innych w tym procesie.

K_K01: Rozwija w sobie zdolność krytycznej oceny posiadanej i dostępnej wiedzy; ocenia wiarygodność źródeł.

K_K03: Jest przygotowany do popularyzacji kognitywistyki i upowszechniania jej osiągnięć; inicjuje i inspiruje tego typu działania.

.

Zajęcia w cyklu "Semestr letni 2022/2023" (zakończony)

Okres: 2023-02-27 - 2023-06-25
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Laboratorium, 15 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Jacek Paśniczek
Prowadzący grup: Jacek Paśniczek, Marcin Wolski
Lista studentów: (nie masz dostępu)
Zaliczenie: Egzamin

Zajęcia w cyklu "Semestr letni 2023/2024" (w trakcie)

Okres: 2024-02-26 - 2024-06-23
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Laboratorium, 15 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Marcin Wolski
Prowadzący grup: Marcin Wolski
Lista studentów: (nie masz dostępu)
Zaliczenie: Egzamin
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Marii Curie-Skłodowskiej w Lublinie.
kontakt deklaracja dostępności USOSweb 7.0.2.0-3dcdfd8c8 (2024-03-25)