Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie - Centralny System UwierzytelnianiaNie jesteś zalogowany | zaloguj się
katalog przedmiotów - pomoc

Elementy logiki i teorii mnogości

Informacje ogólne

Kod przedmiotu: WM-I-Z-ELT Kod Erasmus / ISCED: (brak danych) / (0541) Matematyka
Nazwa przedmiotu: Elementy logiki i teorii mnogości
Jednostka: Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych
Grupy:
Punkty ECTS i inne: 6.00 LUB 7.00 (w zależności od programu)
zobacz reguły punktacji
Język prowadzenia: polski
Poziom przedmiotu:

podstawowy

Symbol/Symbole kierunkowe efektów uczenia się:

SPM_W02,W03,W04,W05,W06

SPM_U01,U02,U03,U04,U05,U06,U07,U11,U36

SPM_K05

Skrócony opis:

1. Rachunek zdań.

2. Rachunek zbiorów.

3. Kwantyfikatory.

4. Funkcje logiczne.

5. Relacje.

6. Funkcje.

7. Moc zbiorów.

8. Indukcja matematyczna.

Pełny opis:

1. Rachunek zdań.

2. Rachunek zbiorów.

3. Kwantyfikatory.

4. Funkcje logiczne.

5. Relacje.

6. Funkcje.

7. Moc zbiorów.

8. Indukcja matematyczna.

Literatura:

1. W.Marek, J. Onyszkiewicz, Logika i teoria mnogości w zadaniach.

2. Jan Kraszewski, Wstęp do matematyki.

3. K. Trzęsicki, Elementy logiki i teorii mnogości.

Efekty kształcenia i opis ECTS:

K1_W01, K1_W03, K!_W06, K1_U01, K1_U02, K1_U03

Metody i kryteria oceniania:

Egzamin pisemny.

40 % -dostateczny

50% dost+

60 % dobry

70% dobry +

80 % b. dobry

Praktyki zawodowe:

brak

Zajęcia w cyklu "Semestr zimowy 2019/20" (zakończony)

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


powiększ
zobacz plan zajęć
Typ zajęć: Ćwiczenia, 20 godzin więcej informacji
Wykład, 20 godzin więcej informacji
Koordynatorzy: Leszek Sidz
Prowadzący grup: Leszek Sidz
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzaminacyjny
Ćwiczenia - Zaliczenie na ocenę
Wykład - Egzaminacyjny
Typ przedmiotu:

obowiązkowy

Grupa przedmiotów ogólnouczenianych:

nie dotyczy

Zajęcia w cyklu "Semestr zimowy 2020/21" (zakończony)

Okres: 2020-10-01 - 2021-01-31
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Ćwiczenia, 20 godzin więcej informacji
Wykład, 20 godzin więcej informacji
Koordynatorzy: Leszek Sidz
Prowadzący grup: Leszek Sidz
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzaminacyjny
Ćwiczenia - Zaliczenie na ocenę
Wykład - Egzaminacyjny
E-Learning:

E-Learning (pełny kurs) z podziałem na grupy

Typ przedmiotu:

obowiązkowy

Grupa przedmiotów ogólnouczenianych:

nie dotyczy

Skrócony opis:

1. Rachunek zdań.

2. Rachunek zbiorów.

3. Kwantyfikatory.

4. Funkcje logiczne.

5. Relacje.

6. Funkcje.

7. Moc zbiorów.

8. Indukcja matematyczna.

Pełny opis:

1. Rachunek zdań.

2. Rachunek zbiorów.

3. Kwantyfikatory.

4. Funkcje logiczne.

5. Relacje.

6. Funkcje.

7. Moc zbiorów.

8. Indukcja matematyczna.

Literatura:

Jan Kraszewski, Wstęp do matematyki

W.Marek, J.Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach

Wymagania wstępne:

Brak

Zajęcia w cyklu "Semestr zimowy 2021/22" (w trakcie)

Okres: 2021-10-01 - 2022-01-31
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Ćwiczenia, 20 godzin więcej informacji
Wykład, 20 godzin więcej informacji
Koordynatorzy: Leszek Sidz
Prowadzący grup: Leszek Sidz
Lista studentów: (nie masz dostępu)
Zaliczenie: Egzaminacyjny
E-Learning:

E-Learning (pełny kurs) z podziałem na grupy

Typ przedmiotu:

obowiązkowy

Grupa przedmiotów ogólnouczenianych:

nie dotyczy

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.