Drukuj Eksport do pliku (MS Word)
Nazwa przedmiotu:
Elementy logiki i teorii mnogości
Koordynator przedmiotu:
Dr hab. Michał Ziembowski, prof. PW
Status przedmiotu:
Obowiązkowy
Poziom kształcenia:
Studia I stopnia
Program:
Inżynieria i Analiza Danych
Grupa przedmiotów:
Wspólne
Kod przedmiotu:
1120-MA000-LSP-0114
Semestr nominalny:
1 / rok ak. 2018/2019
Liczba punktów ECTS:
6
Liczba godzin pracy studenta związanych z osiągnięciem efektów uczenia się:
1. godziny kontaktowe – 70 h; w tym a) obecność na wykładach – 30 h b) obecność na ćwiczeniach – 30 h c) konsultacje – 5 h d) egzamin – 5 h 2. praca własna studenta – 80 h; w tym a) przygotowanie do ćwiczeń i do kolokwiów – 40 h b) zapoznanie się z literaturą – 10 h c) przygotowanie do egzaminu – 30 h Razem 150 h, co odpowiada 6 pkt. ECTS
Liczba punktów ECTS na zajęciach wymagających bezpośredniego udziału nauczycieli akademickich:
1. obecność na wykładach – 30 h 2. obecność na ćwiczeniach – 30 h 3. konsultacje – 5 h 4. egzamin – 5 h Razem 70 h, co odpowiada 3 pkt. ECTS
Język prowadzenia zajęć:
polski
Liczba punktów ECTS, którą student uzyskuje w ramach zajęć o charakterze praktycznym:
.
Formy zajęć i ich wymiar w semestrze:
  • Wykład30h
  • Ćwiczenia30h
  • Laboratorium0h
  • Projekt0h
  • Lekcje komputerowe0h
Wymagania wstępne:
brak
Limit liczby studentów:
.
Cel przedmiotu:
Celem przedmiotu jest zapoznanie studentów z podstawowymi pojęciami z logiki (na poziomie rachunku zdań i kwantyfikatorów) i teorii mnogości (na poziomie rachunku zbiorów, relacji i funkcji ze szczególnym uwzględnieniem relacji równoważności i relacji porządkujących) oraz nabycie przez nich umiejętności operowania tymi pojęciami. Ponadto studenci otrzymają informację o relacji równoliczności (ze szczególnym uwzględnieniem przeliczalności) i liczbach kardynalnych. Po ukończeniu kursu studenci powinni rozpoznawać tautologie logiczne, równości i inkluzje między zbiorami, podstawowe pojęcia z oraz posiadać umiejętność: - przekształcania formuł rachunku zdań i kwantyfikatorów oraz rozpoznawania tautologii logicznej - zapisywania złożonych pojęć matematycznych przy pomocy pojęć elementarnych i języka logiki - weryfikowania równości i inkluzji między zbiorami - budowania relacji równoważności i wyznaczania ich klas abstrakcji - definiowania różnymi metodami funkcji oraz operowania pojęciem obrazu i przeciwobrazu - rysowania diagramów relacji ze szczególnym uwzględnieniem relacji porządkujących i rozpoznawania elementów ekstremalnych w zbiorach uporządkowanych - odróżniania zbiorów przeliczalnych od nieprzeliczalnych.
Treści kształcenia:
Język matematyki. Symbolika logiczna. Zmienne wolne i związane. Rachunek zdań. Pojęcie zdania. Wartość logiczna zdania. Tautologie rachunku zdań. Dowody formalne i aksjomaty rachunku zdań. Rachunek predykatów. Wyrażanie różnych pojęć w ustalonym języku. Tautologie rachunku predykatów. Kwantyfikatory ograniczone. Operator abstrakcji. Antynomia Russela. Indukcja matematyczna. Zbiory. Relacje między zbiorami i działania na zbiorach (suma, przecięcie, różnica, dopełnienie). Prawa rachunku zbiorów. Iloczyn kartezjański. Relacje. Podstawowe kategorie relacji. Dziedzina, przeciwdziedzina. Operacje na relacjach, Diagram relacji Funkcje Operacje na funkcjach. Obraz, przeciwobraz. Indeksowane rodziny zbiorów i operacje na nich. Suma i przecięcie rodziny zbiorów. Własności tych operacji. Relacje równoważności. Przykłady w różnych dziedzinach matematyki. Klasy abstrakcji i ich własności. Podziały. Zbiory uporządkowane. Przykłady zbiorów uporządkowanych. Diagramy Hassego. Maksy- i minimalność, kresy. Kraty i algebry Boole’a. Liniowe porządki. Dobre porządki i twierdzenie o indukcji pozaskończonej. Równoliczność zbiorów. Własności. Zbiory przeliczalne i ich własności. Informacja o zbiorach nieprzeliczalnych Elementy logiki matematycznej. Pojęcie dowodu formalnego i teorii aksjomatycznej. Aksjomatyczny rachunek zdań.
Metody oceny:
Do zdobycia jest 100 pkt: 40 na ćwiczeniach, 60 na egzaminie (30 pkt – zadania, 20 pkt – test z teorii, 10 pkt – egzamin ustny z umiejętności referowania zadanego tematu) Stopień z przedmiotu ustala się wg następującej zasady: 51–60 pkt - trzy, 61–70 pkt – trzy i pół, 71–80 pkt – cztery, 81–90 pkt – cztery i pół, 91–100 pkt – pięć. Warunkiem koniecznym dopuszczenia do egzaminu jest uzyskanie na ćwiczeniach co najmniej 21 pkt. Punkty na ćwiczeniach pochodzą z dwóch kolokwiów i (ewentualnie – wg decyzji prowadzącego ćwiczenia) z oceny aktywności na zajęciach. Otrzymanie co najmniej 30 pkt z ćwiczeń zwalnia z części zadaniowej egzaminu. Dostaje się wówczas premię punktową w ilości x-10 pkt, gdzie x to ilość punktów zdobytych na ćwiczeniach. Z testu egzaminacyjnego można być zwolnionym po zaliczeniu dwóch repetytoriów (również w formie testów), które odbędą się w połowie i na koniec semestru. Punkty z testu na egzaminie są uznawane (i doliczane do innych wyników), je¬śli jest ich co najmniej 5. Dopuszczenie do egzaminu jest ważne do końca b.r. ak, zwolnienia z egzaminu lub jego części – do końca lutego b.r.
Egzamin:
tak
Literatura:
1. W. Marek, J. Onyszkiewicz – Elementy logiki i teorii mnogości w zadaniach, PWN 2. H. Rasiowa – Wstęp do matematyki współczesnej, PWN 3. K. Kuratowski – Wstęp do teorii mnogości i topologii, PWN 4. W. Guzicki, P. Zakrzewski – Wykłady ze wstępu do matematyki 5. W. Guzicki, P. Zakrzewski – Wstęp do matematyki. Zbiór zadań, PWN 2005
Witryna www przedmiotu:
.
Uwagi:
.

Efekty uczenia się

Profil ogólnoakademicki - wiedza

Charakterystyka W01
Ma podstawową wiedzę z logiki obejmującą metody weryfikowania tautologii i budowania formuł złożonych z formuł elementarnych
Weryfikacja: 2 repetytoria i egzamin
Powiązane charakterystyki kierunkowe: DS_W01
Powiązane charakterystyki obszarowe: I.P6S_WG
Charakterystyka W02
Ma wiedzę ogólną w zakresie relacji i funkcji ze szczególnym uwzględnieniem relacji równoważności
Weryfikacja: 2 repetytoria i egzamin
Powiązane charakterystyki kierunkowe: DS_W01
Powiązane charakterystyki obszarowe: I.P6S_WG
Charakterystyka W03
Ma wiedzę ogólną w dziedzinie zbiorów uporządkowa-nych
Weryfikacja: 2 repetytoria i egzamin
Powiązane charakterystyki kierunkowe: DS_W01
Powiązane charakterystyki obszarowe: I.P6S_WG
Charakterystyka W04
Ma podstawową wiedzę o równoliczności i przeliczalności zbiorów
Weryfikacja: 2 repetytoria i egzamin
Powiązane charakterystyki kierunkowe: DS_W01
Powiązane charakterystyki obszarowe: I.P6S_WG

Profil ogólnoakademicki - umiejętności

Charakterystyka U01
Potrafi wykorzystać nabytą wiedzę matematyczną do formułowania definicji i dowodzenia twierdzeń
Weryfikacja: 2 kolokwia
Powiązane charakterystyki kierunkowe: DS_U01
Powiązane charakterystyki obszarowe: I.P6S_UW
Charakterystyka U02
Potrafi pozyskiwać informacje z literatury, baz danych oraz innych źródeł, integrować je, dokonywać ich interpretacji oraz wyciągać wnioski i formułować opinie
Weryfikacja: 2 kolokwia
Powiązane charakterystyki kierunkowe: DS_U20
Powiązane charakterystyki obszarowe: I.P6S_UW, I.P6S_UK