UNIWERSYTET ŁÓDZKI - Centralny System Uwierzytelniania
Strona główna

Logic with Elements of Set Theory

Informacje ogólne

Kod przedmiotu: 1100-LS0ENG
Kod Erasmus / ISCED: (brak danych) / (0610) Technologie informacyjno-komunikacyjne, bliżej nieokreślone Kod ISCED - Międzynarodowa Standardowa Klasyfikacja Kształcenia (International Standard Classification of Education) została opracowana przez UNESCO.
Nazwa przedmiotu: Logic with Elements of Set Theory
Jednostka: Wydział Matematyki i Informatyki
Grupy:
Punkty ECTS i inne: 0 LUB 6.00 LUB 4.00 (zmienne w czasie) 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: angielski
Forma zaliczenia:

zaliczenie
Poziom studiów:

Studia pierwszego stopnia
Forma studiów:

stacjonarne
Wymagania wstępne:

Brak
Skrócony opis:

Celem przedmiotu jest zapoznanie studenta z podstawowymi pojęciami i metodami logiki matematycznej oraz teorii miary, ze szczególnym

uwzględnieniem precyzyjnego formułowania myśli oraz wyrobienia nawyków poprawnego rozumowania.
Efekty uczenia się:

Po kursie student:

1. używa tabeli logicznych, rożróżnia zdania prawdziwe od fałszywych, stosuje zasady logiki do teorii zbiorów.

2. używa zasady logiki kwantyfikatorów.

3. rożróżnia zdania, zasady logiczne oraz dowody.

4. rozpoznaje relacje równoważności oraz porządku, znajduje klasy abstrakcji relacji równoważności.

equivalence relation classes.

5. posługuje się pojęcim funkcji, obrazu oraz przeciwobrazu, zna funkcje

różnowartościowe.

6. stosuje zasadę indukcji matematycznej.

7. rozpoznaje liczby kardynalne.

Zajęcia w cyklu "Semestr zimowy 2023/2024" (zakończony)

Okres: 2023-10-01 - 2024-02-25
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 28 godzin więcej informacji
Wykład, 14 godzin więcej informacji
Koordynatorzy: Jacek Hejduk
Prowadzący grup: Jacek Hejduk, Rafał Zduńczyk
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów
Wykład - Ocena zgodna z regulaminem studiów

Zajęcia w cyklu "Semestr letni 2022/2023" (zakończony)

Okres: 2023-02-20 - 2023-09-30
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 28 godzin więcej informacji
Wykład, 14 godzin więcej informacji
Koordynatorzy: Jacek Hejduk
Prowadzący grup: Jacek Hejduk
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów
Wykład - Ocena zgodna z regulaminem studiów

Zajęcia w cyklu "Semestr zimowy 2022/2023" (zakończony)

Okres: 2022-10-01 - 2023-02-19
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 28 godzin więcej informacji
Wykład, 14 godzin więcej informacji
Koordynatorzy: Jacek Hejduk
Prowadzący grup: Jacek Hejduk, Piotr Nowakowski, Renata Wiertelak, Rafał Zduńczyk
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów
Wykład - Ocena zgodna z regulaminem studiów
Czy IRK BWZ?:

T

Zajęcia w cyklu "Semestr zimowy 2021/2022" (zakończony)

Okres: 2021-10-01 - 2022-01-23
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 28 godzin więcej informacji
Wykład, 14 godzin więcej informacji
Koordynatorzy: Jacek Hejduk
Prowadzący grup: Jacek Hejduk, Piotr Nowakowski, Renata Wiertelak, Rafał Zduńczyk
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów
Wykład - Ocena zgodna z regulaminem studiów
Czy IRK BWZ?:

T

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

Okres: 2020-10-01 - 2021-02-07
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 28 godzin więcej informacji
Wykład, 14 godzin więcej informacji
Koordynatorzy: Jacek Hejduk
Prowadzący grup: Jacek Hejduk, Renata Wiertelak, Rafał Zduńczyk
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów
Wykład - Ocena zgodna z regulaminem studiów
Czy ECTS?:

T
Czy IRK BWZ?:

T
Metody dydaktyczne:

-elementy wykładu przedstawionych treści kształcenia.

-dyskusja.

-praca w grupach.

-indywidualne prezentacje rozwiązań.
Sposoby i kryteria oceniania:

Na ocenę konwersatorium składa się aktywność (20%) i końcowy sprawdzian (80%) oceniający efekty kształcenia w zakresie umiejętności e1-e7.

Na ocene końcowa z przedmiotu sklada sie ocena z konwersatorium .

Obecnosc na wykladach jest obowiazkowa.
Treści kształcenia:

1.Rachunek zdań; prawa rachunku zdań.

2.Zbiory. Operacje na zbiorach. Prawa rachunku zbiorów.

3.Kwantyfikatory. Prawa rachunku kwantyfikatorów.

4.Relacje i funkcje.

5.Indeksowane rodziny zbiorów. Działania uogólnione.

6.Relacje równoważności. Zasada abstrakcji.

7. Indukcja matematyczna. Definicje rekurencyjne.

8.Zbiory nieskończone. Liczby alef zero i continuum.
Literatura:

1.J.Cichoń "Wykłady ze Wstępu do matematyki" Wrocław 2003.

2.W.Marek, J.Onyszkiewicz "Elementy logiki i teorii mnogości w zadaniach" PWN Warszawa.

3.Halmosz "Naive set theory".

4.I.Jędrzejewska,E.Kotlicka,B.Szkopińska "Wstęp do analizy matematycznej, logiki i teorii mnogości" Wyd. PŁ, Łódź 2008

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

Okres: 2019-10-01 - 2020-02-23
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 28 godzin więcej informacji
Wykład, 14 godzin więcej informacji
Koordynatorzy: Jacek Hejduk
Prowadzący grup: Jacek Hejduk, Rafał Zduńczyk
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów
Wykład - Ocena zgodna z regulaminem studiów
Czy ECTS?:

T
Czy IRK BWZ?:

T
Język przedmiotu:

angielski
Metody dydaktyczne:

-elementy wykładu przedstawionych treści kształcenia.

-dyskusja.

-praca w grupach.

-indywidualne prezentacje rozwiązań.
Sposoby i kryteria oceniania:

Na ocenę konwersatorium składa się aktywność (20%) i końcowy sprawdzian (80%) oceniający efekty kształcenia w zakresie umiejętności e1-e7.

Na ocene końcowa z przedmiotu sklada sie ocena z konwersatorium .

Obecnosc na wykladach jest obowiazkowa.
Treści kształcenia:

1.Rachunek zdań; prawa rachunku zdań.

2.Zbiory. Operacje na zbiorach. Prawa rachunku zbiorów.

3.Kwantyfikatory. Prawa rachunku kwantyfikatorów.

4.Relacje i funkcje.

5.Indeksowane rodziny zbiorów. Działania uogólnione.

6.Relacje równoważności. Zasada abstrakcji.

7. Indukcja matematyczna. Definicje rekurencyjne.

8.Zbiory nieskończone. Liczby alef zero i continuum.
Literatura:

1.J.Cichoń "Wykłady ze Wstępu do matematyki" Wrocław 2003.

2.W.Marek, J.Onyszkiewicz "Elementy logiki i teorii mnogości w zadaniach" PWN Warszawa.

3.Halmosz "Naive set theory".

4.I.Jędrzejewska,E.Kotlicka,B.Szkopińska "Wstęp do analizy matematycznej, logiki i teorii mnogości" Wyd. PŁ, Łódź 2008

Zajęcia w cyklu "Semestr letni 2018/2019" (zakończony)

Okres: 2019-02-18 - 2019-09-30
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 28 godzin więcej informacji
Wykład, 14 godzin więcej informacji
Koordynatorzy: Jacek Hejduk
Prowadzący grup: Jacek Hejduk, Rafał Zduńczyk
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów
Wykład - Ocena zgodna z regulaminem studiów

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

Okres: 2018-10-01 - 2019-02-10
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 28 godzin więcej informacji
Wykład, 14 godzin więcej informacji
Koordynatorzy: Jacek Hejduk
Prowadzący grup: Jacek Hejduk, Rafał Zduńczyk
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów
Wykład - Ocena zgodna z regulaminem studiów
Czy ECTS?:

T
Czy IRK BWZ?:

T
Metody dydaktyczne:

-elementy wykładu przedstawionych treści kształcenia.

-dyskusja.

-praca w grupach.

-indywidualne prezentacje rozwiązań.
Sposoby i kryteria oceniania:

Na ocenę konwersatorium składa się aktywność (20%) i końcowy sprawdzian (80%) oceniający efekty kształcenia w zakresie umiejętności e1-e7.

Na ocene końcowa z przedmiotu sklada sie ocena z konwersatorium .
Treści kształcenia:

1.Rachunek zdań; prawa rachunku zdań.

2.Zbiory. Operacje na zbiorach. Prawa rachunku zbiorów.

3.Kwantyfikatory. Prawa rachunku kwantyfikatorów.

4.Relacje i funkcje.

5.Indeksowane rodziny zbiorów. Działania uogólnione.

6.Relacje równoważności. Zasada abstrakcji.

7. Indukcja matematyczna. Definicje rekurencyjne.

8.Zbiory nieskończone. Liczby alef zero i continuum.
Literatura:

1.J.Cichoń "Wykłady ze Wstępu do matematyki" Wrocław 2003.

2.W.Marek, J.Onyszkiewicz "Elementy logiki i teorii mnogości w zadaniach" PWN Warszawa.

3.Halmosz "Naive set theory".

4.I.Jędrzejewska,E.Kotlicka,B.Szkopińska "Wstęp do analizy matematycznej, logiki i teorii mnogości" Wyd. PŁ, Łódź 2008

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

Okres: 2017-10-01 - 2018-02-09
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia konwersatoryjne, 28 godzin więcej informacji
Wykład, 14 godzin więcej informacji
Koordynatorzy: Jacek Hejduk
Prowadzący grup: Jacek Hejduk, Rafał Zduńczyk
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena zgodna z regulaminem studiów
Ćwiczenia konwersatoryjne - Ocena zgodna z regulaminem studiów
Wykład - Ocena zgodna z regulaminem studiów
Czy ECTS?:

T
Czy IRK BWZ?:

T
Metody dydaktyczne:

-elementy wykładu przedstawionych treści kształcenia.

-dyskusja.

-praca w grupach.

-indywidualne prezentacje rozwiązań.
Sposoby i kryteria oceniania:

Na ocenę konwersatorium składa się aktywność (20%) i końcowy sprawdzian (80%) oceniający efekty kształcenia w zakresie umiejętności e1-e7.

Na ocene końcowa z przedmiotu sklada sie ocena z konwersatorium .
Treści kształcenia:

1.Rachunek zdań; prawa rachunku zdań.

2.Zbiory. Operacje na zbiorach. Prawa rachunku zbiorów.

3.Kwantyfikatory. Prawa rachunku kwantyfikatorów.

4.Relacje i funkcje.

5.Indeksowane rodziny zbiorów. Działania uogólnione.

6.Relacje równoważności. Zasada abstrakcji.

7. Indukcja matematyczna. Definicje rekurencyjne.

8.Zbiory nieskończone. Liczby alef zero i continuum.
Literatura:

1.J.Cichoń "Wykłady ze Wstępu do matematyki" Wrocław 2003.

2.W.Marek, J.Onyszkiewicz "Elementy logiki i teorii mnogości w zadaniach" PWN Warszawa.

3.Halmosz "Naive set theory".

4.I.Jędrzejewska,E.Kotlicka,B.Szkopińska "Wstęp do analizy matematycznej, logiki i teorii mnogości" Wyd. PŁ, Łódź 2008
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest UNIWERSYTET ŁÓDZKI.
kontakt deklaracja dostępności USOSweb 7.0.3.0-0