Logic and Set Theory I

General data

Course ID:	3501-KOG-LTM1
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 I
Name in Polish:	Logika i teoria mnogości I
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
Mode:	Classroom
Short description:	The course is the introduction to basics of the classical propositional and first-order logic.
Full description:	(in Polish) Zob. opis zajęć w danym cyklu
Bibliography:	(in Polish) Zob. opis zajęć w danym cyklu
Learning outcomes:	(in Polish) Student zna: - język klasycznego rachunku zdań, pojęcie tautologii, podstawowe prawa klasycznego rachunku zdań i podstawowe metalogiczne pojęcia dotyczące tego rachunku. - pojęcie dowodu formalnego i przynajmniej jeden system dedukcyjny dla klasycznego rachunku zdań. - język logiki 1-go rzędu, definicję spełniania i prawdziwości oraz podstawowe prawa logiki 1-go rzędu. Nabyte umiejętności: Student potrafi: -prowadzić analizę logiczną wyrażeń języka naturalnego z użyciem technik klasycznego rachunku zdań oraz logiki 1-go rzędu. - weryfikować tautologiczność formuł klasycznego rachunku zdań oraz wynikanie logiczne. - ustalić zależności logiczne między zdaniami klasycznego rachunku zdań. - konstruować proste dowody w wybranym systemie dla klasycznego rachunku zdań i w algebrze zbiorów. 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: warunkiem zaliczenia ćwiczeń jest regularna obecność na zajęciach (dopuszczalne 2 nieobecności) oraz uzyskanie pozytywnej oceny z wszystkich kolokwiów organizowanych w trakcie semestru. Przewidywane są co najmniej dwa kolokwia obejmujące klasyczną logikę zdaniową i wprowadzenie do logiki I rzędu. Ocena końcowa za ćwiczenia ustalana jest na podstawie wyników kolokwiów (może być nieznacznie podwyższona w indywidualnych przypadkach, gdy student wykazał się dużą aktywnością i rzetelną pracą na zajęciach). Dopuszczalna liczba nieobecności podlegających usprawiedliwieniu: wykład: 3 ćwiczenia: 2 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.