Logic and Set Theory II

General data

Course ID:	3501-KOG-LTM2
Erasmus code / ISCED:	11.101 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. / (0541) Mathematics The ISCED (International Standard Classification of Education) code has been designed by UNESCO.
Course title:	Logic and Set Theory II
Name in Polish:	Logika i teoria mnogości II
Organizational unit:	Institute of Philosophy
Course groups:
ECTS credit allocation (and other scores):	(not available) Basic information on ECTS credits allocation principles: the annual hourly workload of the student’s work required to achieve the expected learning outcomes for a given stage is 1500-1800h, corresponding to 60 ECTS; the student’s weekly hourly workload is 45 h; 1 ECTS point corresponds to 25-30 hours of student work needed to achieve the assumed learning outcomes; weekly student workload necessary to achieve the assumed learning outcomes allows to obtain 1.5 ECTS; work required to pass the course, which has been assigned 3 ECTS, constitutes 10% of the semester student load. view allocation of credits
Language:	Polish
Type of course:	obligatory courses
Prerequisites (description):	(in Polish) Zaliczenie przedmiotu „Logika i teoria mnogości I”
Mode:	Classroom
Short description:	The course is the continuation of „Logic and Set Theory I”. The course aims to study concepts and methods of set theory and more advanced topics of first-order logic.
Full description:	(in Polish) Zob. opis zajęć w danym roku akademickim.
Bibliography:	(in Polish) Zob. opis zajęć w danym roku akademickim.
Learning outcomes:	(in Polish) Nabyta wiedza: Student zna: - pojęcie uogólnionej sumy i iloczynu zbiorów, iloczynu kartezjańskiego. - pojęcie indeksowanej rodziny zbiorów i operacji na rodzinach zbiorów. - pojęcie równoliczności zbiorów, wie, czym jest zbiór przeliczalny, nieprzeliczalny. - pojęcie funkcji, porządku częściowego oraz zagadnień pokrewnych. - podstawowe pojęcia związane ze składnią i semantyką logiki 1-go rzędu, w tym pojęcia spełniania i prawdy; zna typowe przykłady tautologii w logice pierwszego rzędu. - przynajmniej jeden przykład systemu dedukcyjnego dla logiki 1-go rzędu i twierdzenie o pełności dla tego systemu. - podstawowe twierdzenia metalogiczne dla logiki klasycznej. Nabyte umiejętności: Student potrafi: - prowadzić analizę dotyczącą uogólnionych operacji teoriomnogościowych. - wykazać równoliczność zbiorów, przeliczalność bądź nieprzeliczalność zbiorów na wybranych przykładach. - sprawdzać podstawowe własności funkcji. - opisać własności zbiorów uporządkowanych. - sprawdzać spełnialność i prawdziwość formuł logiki 1-go rzędu; potrafi przedstawić dowód formuły 1-go rzędu w wybranym systemie dedukcyjnym. - definiować proste własności za pomocą formuł logiki 1-go rzędu. Nabyte kompetencje społeczne: Student: - Umie selekcjonować i porządkować informacje uzyskane w procesie komunikacji. - Potrafi śledzić tok myślenia innych osób. - Umie uważnie słuchać innych.
Assessment methods and assessment criteria:	(in Polish) OD 2020/2021 wykład: egzamin ustny lub pisemny (w postaci testu) weryfikujący znajomość i rozumienie podstawowych pojęć i twierdzeń omówionych na wykładzie ćwiczenia: częste i niezapowiedziane kartkówki organizowane na początku zajęć, kontrolujące opanowanie bieżącego materiału (z wykładu i ćwiczeń) oraz jedno większe kolokwium pozwalające zweryfikować umiejętność redagowania dowodów i rozwiązywania bardziej złożonych problemów. Dopuszczalna liczba nieobecności podlegających usprawiedliwieniu: wykład: 3 ćwiczenia: 3 DO 2019/2020 wykład: egzamin pisemny ćwiczenia: zaliczenie pisemne w postaci kolokwiów i prac domowych

This course is not currently offered.

Course descriptions are protected by copyright.
Copyright by University of Warsaw.