Logic and Set Theory I
General data
Course ID: | 3501-KOG-LTM1 |
Erasmus code / ISCED: |
11.101
|
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)
|
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 |
Copyright by University of Warsaw.