Logika i teoria mnogości I

Informacje ogólne

Kod przedmiotu:	3501-KOG-LTM1
Kod Erasmus / 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) Matematyka Kod ISCED - Międzynarodowa Standardowa Klasyfikacja Kształcenia (International Standard Classification of Education) została opracowana przez UNESCO.
Nazwa przedmiotu:	Logika i teoria mnogości I
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:	obowiązkowe
Tryb prowadzenia:	w sali
Skrócony opis:	Celem zajęć jest zapoznanie studentów z podstawowymi pojęciami klasycznej logiki zdaniowej i pierwszego rzędu.
Pełny opis:	Zob. opis zajęć w danym cyklu
Literatura:	Zob. opis zajęć w danym cyklu
Efekty uczenia się:	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.
Metody i kryteria oceniania:	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

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.