Sylabus

do programu ksztacenia obowizujcego od roku akademickiego 2014/15

(1) Nazwa przedmiotu Wstp do logiki i teorii mnogoci

(2) Nazwa jednostki prowadzcej Wydzia Matematyczno - Przyrodniczy
przedmiot
(3) Kod przedmiotu
(4) Studia
Kierunek studiw Poziom ksztacenia Forma studiw
Matematyka Studia I stopnia Stacjonarne
(5) Rodzaj przedmiotu Podstawowy
(6) Rok i semestr studiw I rok, I semestr
(7) Imi i nazwisko koordynatora dr Renat Jurasiska
przedmiotu
(8) Imi i nazwisko osoby prowadzcej mgr Monika Homa
( osb prowadzcych) zajcia z
przedmiotu
(9) Cele zaj z przedmiotu

1. Zapoznanie z pojciami dotyczcymi rachunku zda i rachunku kwantyfikatorw.

2. Zapoznanie z pojciem indukcji matematycznej.
3. Zapoznanie z podstawowymi pojciami rachunku zbiorw i relacji.
4. Zapoznanie z podstawowymi zagadnieniami dotyczcymi mocy zbiorw i porzdkw
w zbiorach.

(10) Wymagania wstpne Znajomo matematyki na poziomie szkoy redniej

(11) Efekty ksztacenia
Wiedza:
- rozumie rol i znaczenie dowodu w matematyce, a take
pojcie istotnoci zaoe,
- zna pojcia i metody logiki matematycznej, teorii mnogoci,
rachunku relacji i poj dotyczcych funkcji zawartych
w podstawach rnych dyscyplin matematyki.

Umiejtnoci:
- posuguje si rachunkiem zda i kwantyfikatorw; potrafi
poprawnie uywa kwantyfikatorw take w jzyku potocznym,
- potrafi w sposb zrozumiay, w mowie i na pimie, przedstawi
poprawne rozumowania matematyczne, formuowa
twierdzenia i definicje,
- umie prowadzi dowody metod indukcji zupenej, potrafi
definiowa funkcje i relacje rekurencyjne
- posuguje si jzykiem teorii mnogoci, interpretujc
zagadnienia z rnych obszarw matematyki,
- potrafi tworzy nowe obiekty drog konstruowania przestrzeni
ilorazowych,
- rozumie zagadnienia zwizane z rnymi rodzajami
nieskoczonoci oraz porzdkw w zbiorach,

1
 Kompetencje spoeczne:
- zna ograniczenia wasnej wiedzy i rozumie potrzeb dalszego
ksztacenia
- potrafi formuowa pytania suce zrozumieniu poj z logiki
- rozumie powizania logiki z innymi przedmiotami, potrafi
integrowa swoj wiedz
- pracuje w grupie, znajduje w niej swoje miejsce

(12) Forma(y) zaj, liczba realizowanych godzin

Wykad 30 godzin
wiczenia audytoryjne 30 godzin

(13) Treci programowe

A. Problematyka wykadu

Treci merytoryczne Liczba

godzin
Rachunek zda.
Zdanie logiczne. Warunek zdaniowy. Wykres warunku zdaniowego. 3
Funktory zdaniotwrcze. Tautologie. Reguy dowodzenia.
Rachunek kwantyfikatorw.
3
Tautologie rachunku kwantyfikatorw. Przykady zastosowa tautologii.
Rachunek zbiorw.
4
Zbiory. Dziaania na zbiorach. Dziaania uoglnione na zbiorach.
Liczby naturalne.
2
Aksjomatyka Peano. Indukcja matematyczna. Rekurencja.
Rachunek relacji.
Iloczyn kartezjaski zbiorw. Relacje. Dziaania na relacjach. Klasyfikacja 4
relacji.
Funkcje.
5
Wasnoci funkcji. Obrazy i przeciwobrazy zbiorw przez funkcje.
Relacje rwnowanoci. 3
Relacja rwnowanoci. Klasy abstrakcji i zbir ilorazowy. Zasada
abstrakcji. Konstrukcje zbiorw liczbowych.
Teoria mocy zbiorw.
Zbiory skoczone i nieskoczone. Rwnoliczno zbiorw. Zbiory 3
przeliczalne i nieprzeliczalne. Liczby kardynalne.
Relacje porzdku.
Porzdek czciowy. Elementy wyrnione w zbiorze uporzdkowanym.
3
Porzdek liniowy. Porzdek gsty. Porzdek cigy. Dobry porzdek.
Lemat Kuratowskiego-Zorna. Pewnik wyboru.
Suma godzin 30

2
 B. Problematyka wicze audytoryjnych

Treci merytoryczne Ilo

godzin
Rachunek zda.
Zdania logiczne. Warunki zdaniowe. Wykres warunku zdaniowego. 4
Tautologie (rne metody).
Rachunek kwantyfikatorw.
Zdania i warunki zdaniowe, w ktrych wystpuj kwantyfikatory.
Tautologie rachunku kwantyfikatorw. Przykady zastosowa tautologii 2
(zwrcenie szczeglnej uwagi na tautologie, w ktrych jest implikacja,
a nie rwnowano).
Rachunek zbiorw.
Dziaania na zbiorach. Dziaania uoglnione wyznaczanie sumy 4
i iloczynu. Dowody wasnoci dla dziaa i dziaa uoglnionych.
Liczby naturalne.
Dowody indukcyjne ze szczeglnym uwzgldnieniem zalenoci 3
rekurencyjnych.
Rachunek relacji.
Iloczyn kartezjaski zbiorw. Dziaania na relacjach. Badanie wasnoci 3
relacji.
Funkcje.
Wasnoci funkcji (gwnie injektywno, surjektywno, bijektywno).
4
Wyznaczanie obrazw i przeciwobrazw zbiorw przez funkcje. Dowody
wasnoci zwizane z obrazami i przeciwobrazami zbiorw przez funkcje.
Relacje rwnowanoci.
Wyznaczanie klas abstrakcji i zbioru ilorazowego dla relacji 4
rwnowanoci.
Teoria mocy zbiorw.
3
Przeliczalno i nieprzeliczalno. Rwnoliczno zbiorw. Moc zbioru.
Relacje porzdku.
Porzdek czciowy. Elementy wyrnione w zbiorze uporzdkowanym. 3
Rne rodzaje porzdkw w zbiorach.
Suma godzin 30
(14) Metody dydaktyczne Wykad, praca w grupach, rozwizywanie zada

(15) Sposb(y) i forma(y) wiczenia zaliczenie na ocen (dwa sprawdziany pisemne,

zaliczenia dodatkowo brana jest pod uwag aktywno na zajciach).

Wykad egzamin. Egzamin pisemny teoria i zadania. Egzamin

ustny teoria.
(16) Metody i kryteria oceny
(17) Cakowity nakad pracy Aktywno Nakad pracy studenta w
studenta potrzebny do osignicia godz.
zaoonych efektw w godzinach wykad 30
oraz punktach ECTS
wiczenia 30
udzia w konsultacjach 6
przygotowanie do kolokwiw 15
przygotowanie do wicze 45
przygotowanie do egzaminu 20

3
 udzia w egzaminie 4
SUMA GODZIN 150
LICZBA PUNKTW ECTS 6
(18) Jzyk wykadowy polski
(19) Praktyki zawodowe w ramach Nie dotyczy
przedmiotu
(20) Literatura Literatura podstawowa:

1. I.A. awrow, .L. Maksimowa, Zadania z teorii mnogoci,

logiki matematycznej i teorii algorytmw, PWN,
Warszawa 2004.
2. W. Marek, J. Onyszkiewicz, Elementy logiki i teorii
mnogoci w zadaniach, PWN, Warszawa 2004.
3. H. Rasiowa, Wstp do matematyki wspczesnej, PWN,
Warszawa 2003.
4. J. Supecki, K. Hakowska, K. Pirg-Rzepecka, Logika i
teoria mnogoci, PWN, Warszawa 1994.

Literatura uzupeniajca:

1. A. Chronowski, Elementy teorii mnogoci,

Wydawnictwo Naukowe Akademii Pedagogicznej,
Krakw 2003.
2. A. Chronowski, Zadania z elementw teorii mnogoci
i logiki matematycznej, Wydawnictwo Dla szkoy,
Wilkowice 2004.
3. W. Guzicki, P. Zakrzewski, Wykady ze wstpu do
matematyki, PWN, Warszawa 2005.
4. W. Guzicki, P. Zakrzewski, Wykady ze wstpu do
matematyki. Zbir zada, PWN, Warszawa 2005.
Podpis koordynatora przedmiotu

Podpis kierownika jednostki