Logic C

Informacje ogólne

Kod przedmiotu:	3501-WISIP-L1C
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:	Logic C
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:	angielski
Rodzaj przedmiotu:	obowiązkowe
Założenia (opisowo):	Zajęcia przeznaczone dla studentów po kursie Logic A i Logic B (PBCV) lub równoważnie, po kursie Logiki I.
Tryb prowadzenia:	w sali
Skrócony opis:	Kurs jest kontynuacją Logiki A i B z pierwszego roku studiów. Obejmuje elementy teorii zbiorów i metalogiki.
Pełny opis:	Kurs wprowadza podstawowe pojęcia i techniki współczesnej logiki. W szczególności, wprowadzone zostają systemy dowodzenia (aksjomatyczne i dedukcji naturalnej), elementy teorii zbiorów i metalogiki. Program obejmuje następujące tematy: 1. Systemy dowodzenia dla logiki pierwszego rzędu (aksjomatyczne i dedukcji naturalnej) 2. Indukcja matematyczne i jej równoważne wersje (zasada minimum, indukcja porządkowa) 3. Elementy teorii mnogości 4. Semantyka języków pierwszego rzędu.
Literatura:	Ebbinghaus, H; Flum, J; Thomas, W., Mathematical Logic, Berlin, New York, Springer-Verlag, 1994. Enderton, H. A Mathematical Introduction to Logic, Academic Press, 2002. Suppes, P. Axiomatic Set Theory, New York, Dover, 1972.
Efekty uczenia się:	A student completing the course: KNOWLEDGE 1. Knows the basic logical terminology in English 2. Understands the basic rules of constructing proofs 3. Understands the basic ideas within proof theory, set theory and metalogic SKILLS 1. Is able to follow an oral presentation of formal arguments 2. Formulates basic theorems and lemmas SOCIAL COMPETENCE 1. Is aware of the scope of his own knowledge and skills 2. Understands and appreciates the need of learning new skills and professional development
Metody i kryteria oceniania:	FROM 2020/2021 written exam Permissible number of absences: 2 TO 2019/2020 clasroom written tests, final oral exam

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.