Logika III
Informacje ogólne
Kod przedmiotu: | 3501-L318-F |
Kod Erasmus / ISCED: |
08.1
|
Nazwa przedmiotu: | Logika III |
Jednostka: | Instytut Filozofii |
Grupy: | |
Punkty ECTS i inne: |
(brak)
|
Język prowadzenia: | polski |
Rodzaj przedmiotu: | fakultatywne |
Założenia (opisowo): | ukończony kurs „Logika I” oraz: Logika II lub Logika i Teoria Mnogości II lub Logika filozoficzna I |
Tryb prowadzenia: | w sali |
Skrócony opis: |
Celem zajęć jest zapoznanie studentów z podstawowymi (a także bardziej zaawansowanymi) pojęciami teorii modeli (dla logiki pierwszego rzędu). Wykład będzie obejmował także uzupełniające zagadnienia techniczne, niezbędne dla głównej tematyki wykładu. |
Pełny opis: |
Na wykładzie w systematyczny sposób będą wprowadzane podstawowe pojęcia teorii modeli (np. konstrukcje teoriomodelowe takie jak np. ultraprodukt czy granica, pojęcia takie jak: podmodel, podmodel elementarny, zwartość, pełność logiki elementarnej, izomorfizm modeli etc. Wykład będzie skorelowany ściśle z ćwiczeniami. Na ćwiczeniach studenci będą rozwiązywać zadania dotyczące materiału kursu. Mają za zadanie umożliwić studentowi zapoznanie się z pojęciami teorii modeli oraz zagadnień uzupełniających treści poruszane na wykładzie. Szacowana liczba godzin, które student powinien przeznaczyć na osiągnięcie efektów uczenia się: 30h (wykład) + 30h (ćwiczenia) + 90h pracy własnej. |
Literatura: |
Literatura zostanie podana na zajęciach |
Efekty uczenia się: |
Nabyta wiedza: Rozumie pojęcie modelu, podmodelu, zna podstawowe konstrukcje teoriomodelowe i dotyczące ich twierdzenia Wie, jaka jest problematyka i podstawowe wyniki teorii modeli. Rozumie podstawowe pojęcia teorio modelowe (np. ultra produkt, zwartość) Nabyte umiejętności: Potrafi wyjaśnić podstawowe pojęcia teorio modelowe i podać przykłady konstrukcji Umie udowodnić podstawowe wyniki teorii modeli. Nabyte kompetencje społeczne: Potrafi pracować w grupie Potrafi jasno i precyzyjnie mówić o abstrakcyjnych zagadnieniach Zna zakres posiadanej przez siebie wiedzy i posiadanych umiejętności, rozumie potrzebę ciągłego dokształcania się Efektywnie organizuje własną pracę i krytycznie ocenia jej stopień zaawansowania |
Metody i kryteria oceniania: |
W trakcie ćwiczeń będą odbywały się kartkówki oraz kolokwia. Wynik będą brane pod uwagę przy ostatecznej ocenie z egzaminu. |
Właścicielem praw autorskich jest Uniwersytet Warszawski.