Logika epistemiczna [WF-FI-KGN-LE]
Semestr letni 2024/25
Wykład,
grupa nr 1
| Przedmiot: | Logika epistemiczna [WF-FI-KGN-LE] | ||||||||||||||||||||||||||||||||
| Zajęcia: |
Semestr letni 2024/25 [2024/25_L]
(w trakcie)
Wykład [WYK], grupa nr 1 [pozostałe grupy] |
||||||||||||||||||||||||||||||||
|
Termin i miejsce:
|
|||||||||||||||||||||||||||||||||
|
Terminy najbliższych spotkań:
Kliknij w datę by zobaczyć tygodniowy plan z zaznaczonym spotkaniem. |
Część spotkań jest ukryta - pokaż terminy wszystkich spotkań.
|
||||||||||||||||||||||||||||||||
| Liczba osób w grupie: | 79 | ||||||||||||||||||||||||||||||||
| Limit miejsc: | 100 | ||||||||||||||||||||||||||||||||
| Zaliczenie: | Egzaminacyjny | ||||||||||||||||||||||||||||||||
| Prowadzący: | Kordula Świętorzecka | ||||||||||||||||||||||||||||||||
| Literatura: |
Spis: sekcja nadrzędna |
||||||||||||||||||||||||||||||||
| Zakres tematów: |
1.-2 Modalności, spójniki modalne i modalne języki zdaniowe 3.-4 Semantyka światów możliwych (1) 5.-6 Semantyka światów możliwych (2), elementy teorii korespondencji, 7.-8 Normalne logiki modalne charakteryzowane przez aksjomaty K, T, D, B, 4, 5, 9. - 10 Weryfikacja i falsyfikacja wybranych formuł z operatorami epistemiczynymi 11.-12 Jednoagentowe minimalne logiki wiedzy i przekonania - semantyka i syntaksa 13.-14 Epistemiczny język multimodalny i interpretacja teoriomodelowa 15. Zarys możliwych dalszych rozszeżeń logik epistemicznych (kwantyfikatory, czas). |
||||||||||||||||||||||||||||||||
| Metody dydaktyczne i sposoby weryfikacji efektów kształcenia: |
Tradycyjny wykład uniwersytecki z elementami prezentacji multimedialnej. Wiedza jest sprawdzana w ramach egzaminu pisemnego w sesji (warunki są opisane w sekcji |
||||||||||||||||||||||||||||||||
| Metody i kryteria oceniania: |
Opis kryteriów jest podany w sekcji nadrzędnej. |
||||||||||||||||||||||||||||||||
| Uwagi: |
Brak |
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.
