Uniwersytet Warszawski - Centralny System UwierzytelnianiaNie jesteś zalogowany | zaloguj się
katalog przedmiotów - pomoc

Wstęp do matematyki (potok I)

Informacje ogólne

Kod przedmiotu: 1000-111bWMAa Kod Erasmus / ISCED: 11.1 / (0541) Matematyka
Nazwa przedmiotu: Wstęp do matematyki (potok I)
Jednostka: Wydział Matematyki, Informatyki i Mechaniki
Grupy: Przedmioty obowiązkowe dla I roku matematyki
Punkty ECTS i inne: 5.50
zobacz reguły punktacji
Język prowadzenia: polski
Rodzaj przedmiotu:

obowiązkowe

Skrócony opis:

Przedmiotem wykladu sa podstawowe pojecia i metody teorii mnogosci (wraz z niezbednymi elementami logilki), stanowiace jezyk matematyki wspolczesnej.

Pełny opis:

Zbiór i relacja należenia, zbiory liczb naturalnych, całkowitych, wymiernych, rzeczywistych. Sposoby definiowania zbiorów, zbiór pusty. Zawieranie zbiorów. Suma i iloczyn (dwuargumentowe), własności. Suma i iloczyn uogólnione. Różnica, dopełnienie zbioru. Prawa de Morgana skończone i nieskończone. Pary uporządkowane, iloczyn kartezjański (skończenie wielu zbiorów). Zbiór potęgowy. Elementy rachunku zdań: spójniki logiczne, formuły, wartościowanie. Tautologie, zastosowanie do dowodów. Kwantyfikatory. Prawa de Morgana, negacja zdań. Związek rachunku zdań i kwantyfikatorów z rachunkiem zbiorów. Funkcja jako zbiór par uporządkowanych. Dziedzina, przeciwdziedzina, wykres. Funkcje różnowartościowe, funkcje na. Permutacje. Składanie funkcji, funkcja odwrotna. Grupy przekształceń. Obrazy i przeciwobrazy. Ciągi skończone i

nieskończone. Indeksowane rodziny zbiorów, ich sumy i iloczyny. Podwójnie indeksowane rodziny zbiorów, ciągi podwójne, macierze skończone i nieskończone. (3--4 wykłady)

Równoliczność zbiorów. Zbiory przeliczalne, co najwyżej przeliczalne, nieprzeliczalne. Dowód istnienia zbiorów nieprzeliczalnych - przykłady rozumowań przekątniowych. Porównywanie mocy zbiorów, twierdzenie Cantora-Bernsteina (dowód). Własności zbiorów przeliczalnych (suma, iloczyn kartezjański zbiorów co najwyżej

przeliczalnych). Nieprzeliczalność zbioru liczb rzeczywistych. Zbiory mocy continuum, przykłady, własności (suma, iloczyn kartezjański zbiorów mocy continuum). Twierdzenie Cantora. Wzmianka o hipotezie continuum. (3--4 wykłady)

Relacja jako zbiór par uporządkowanych, przykłady relacji dwuargumentowych. Dziedzina, przeciwdziedzina, pole relacji. Relacje odwrotne. Funkcje jako relacje. Własności relacji. Relacja porządku częściowego i liniowego, diagramy relacji porządku, elementy wyróżnione. Izomorfizm zbiorów uporządkowanych, niezmienniki izomorfizmu. Lemat Kuratowskiego-Zorna (bez dowodu), twierdzenie o istnieniu bazy w dowolnej przestrzeni liniowej. (2 wykłady)

Relacje równoważności. Klasy abstrakcji, zasada abstrakcji, zbiór ilorazowy. Podział zbioru, relacja równoważności wyznaczona przez podział, przykłady. Wzajemna odpowiedniość pomiędzy relacjami równoważności a podziałami. (1 wykład)

Liczby naturalne, aksjomaty Peano. Twierdzenie o definiowaniu przez indukcję. Informacja o definicjach działań i porządku. Różne rodzaje indukcji - definiowanie i dowodzenie, podwójna indukcja. Wzmianka o możliwości konstrukcji zbioru liczb naturalnych. (1 wykład)

Liczby całkowite (np. konstrukcja ilorazowa nad zbiorem liczb naturalnych); dodawanie i mnożenie, porządek. Liczby wymierne: konstrukcja ilorazowa nad zbiorem liczb całkowitych; dodawanie, mnożenie, dzielenie, porządek. Liczby rzeczywiste: konstrukcja przez przekroje Dedekinda lub ciągi Cauchy'ego nad zbiorem liczb

wymiernych; działania i porządek. (2 wykłady)

Literatura:

W.Guzicki, P.Zakrzewski, Wykłady ze wstępu do matematyki. Wprowadzenie do teorii mnogości. PWN, Warszawa 2005.

W.Guzicki, P.Zakrzewski, Zbiór zadań ze wstępu do matematyki. PWN, Warszawa 2005.

H. Rasiowa, Wstęp do matematyki. PWN, Warszawa 2004

K. Kuratowski, Wstęp do teorii mnogości i topologii. PWN, Warszawa 2004

K. Kuratowski, A. Mostowski, Teoria mnogości. PWN, Warszawa 1978

Efekty kształcenia:

Student

1. potrafi używać zapisu symbolicznego (spójniki logiczne, kwantyfikatory);

2. umie operować konstrukcjami na zbiorach (suma, iloczyn, iloczyn kartezjański, zbiór potęgowy, indeksowane rodziny zbiorów);

3. rozpoznaje podstawowe własności funkcji, znajduje obraz/przeciwobraz zbioru dla danej funkcji;

4. potrafi badać równoliczność zbiorów, rozpoznaje zbiory przeliczalne i nieprzeliczalne, zna własności zbiorów przeliczalnych i zbiorów mocy continuum;

5. rozpoznaje relacje równoważności, wyznacza klasy abstrakcji;

6. rozpoznaje relacje częściowego, liniowego i dobrego porządku, wskazuje elementy wyróżnione;

7. potrafi ustalić istnienie lub nieistnienie izomorfizmu zbiorów uporządkowanych;

8. zna lemat Kuratowskiego-Zorna i niektóre jego zastosowania.

Zajęcia w cyklu "Semestr zimowy 2018/19" (zakończony)

Okres: 2018-10-01 - 2019-01-25
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Ćwiczenia, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Mikołaj Krupski, Paweł Traczyk
Prowadzący grup: Daniel Hoffmann, Joanna Jaszuńska, Leszek Kołodziejczyk, Mikołaj Krupski, Konrad Pióro, Paweł Traczyk
Lista studentów: (nie masz dostępu)
Zaliczenie: Egzamin

Zajęcia w cyklu "Semestr zimowy 2019/20" (jeszcze nie rozpoczęty)

Okres: 2019-10-01 - 2020-01-27
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Ćwiczenia, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Mikołaj Krupski, Paweł Traczyk
Prowadzący grup: Maria Donten-Bury, Joanna Jaszuńska, Joachim Jelisiejew, Michał Korch, Mikołaj Krupski, Marcin Kysiak, Konrad Pióro, Paweł Traczyk
Lista studentów: (nie masz dostępu)
Zaliczenie: Egzamin
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Warszawski.