Logika III

Informacje ogólne

Kod przedmiotu:	3501-L318-F
Kod Erasmus / ISCED:	08.1 Kod klasyfikacyjny przedmiotu składa się z trzech do pięciu cyfr, przy czym trzy pierwsze oznaczają klasyfikację dziedziny wg. Listy kodów dziedzin obowiązującej w programie Socrates/Erasmus, czwarta (dotąd na ogół 0) – ewentualne uszczegółowienie informacji o dyscyplinie, piąta – stopień zaawansowania przedmiotu ustalony na podstawie roku studiów, dla którego przedmiot jest przeznaczony. / (0223) Filozofia i etyka Kod ISCED - Międzynarodowa Standardowa Klasyfikacja Kształcenia (International Standard Classification of Education) została opracowana przez UNESCO.
Nazwa przedmiotu:	Logika III
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
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.

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 Warszawski.