Wstęp do teorii mnogości

Wykład

Odbywa się w piątki o 8:30.

Dodatkowo prowadzony będzie kurs na wydziałowym Moodle’u, gdzie będą się pojawiać niektóre materiały związane z wykładami. Studenci mają obowiązek dołączyć do tego kursu.

Na kursie na Moodle’u w poniedziałek po wybranych dziesięciu piątkach, będzie się pojawiać test obejmujący dowolne części materiału omówionego dotychczas na wykładzie. Test będzie otwarty przez tydzień, a od jego otwarcia będzie godzina na jego ukończenie. Testy dla poszczególnych studentów będą losowo generowane.

Ćwiczenia i prace domowe

Obecność na ćwiczeniach jest obowiązkowa. Szczegółowe zasady w sprawie dopuszczalnej liczby nieobecności ustalają prowadzący ćwiczenia i w przypadku nadmiernej liczby nieobecności prowadzący ćwiczenia ma prawo zadecydować o utracie prawa do zaliczania przedmiotu przez studenta w pierwszym lub w obu terminach.

Każdy prowadzący ćwiczenia ma do przyznania punkty za ćwiczenia, wliczające się w sumę punktów, na której podstawie wystawiona będzie końcowa ocena (patrz niżej).

Prowadzący ćwiczenia będą zadawać prace domowe podzielone na serie: 6 serii po 3 zadania. Oddanie rozwiązania następuje poprzez wgranie odpowiednich plików przez serwis Moodle’a w wyznaczonym terminie.

Nad zadaniami można myśleć w maksymalnie czteroosobowych zespołach, ale każdy student w pełni samodzielnie redaguje przesyłane rozwiązanie. Student ma prawo oddać swoje samodzielnie spisane rozwiązanie tylko wtedy, jeśli całkowicie je rozumie. Studenci, którzy zdecydowali się myśleć w zespołach, podają skład zespołu w swojej pracy domowej w przeznaczonym do tego polu przy wysyłaniu pracy domowej. Nie zwalnia to z obowiązku jednoosobowego i samodzielnego spisania rozwiązania przez każdego ze studentów.

Zachęcamy do oddawania prac domowych zredagowanych w LateXu, co będzie wymagało przesłania pliku .tex oraz pliku .pdf. Studenci, którzy w ten sposób oddadzą większość prac domowych, na koniec semestru otrzymają dodatkowy 1 punkt. W kursie na Moodle’u pojawią się materiały do samodzielnej nauki używania LateXa.

Oddane prace będą podlegać automatycznej kontroli antyplagiatowej. W przypadku stwierdzenia rażącej niesamodzielności pracy, punkty zostaną wyzerowane, a wcześniejsze i późniejsze prace domowe danego studenta ręcznie zweryfikowane pod tym kątem.

Prace będą sprawdzać graderzy (wyznaczeni studenci wyższych lat), korzystając z serwisu Moodle, którzy każdą pracę ocenią i każde rozwiązanie opatrzą komentarzem. Graderzy też będą elementem dodatkowej kontroli antyplagiatowej. Prowadzący grupę ćwiczeniową w razie wątpliwości zgłoszonych przez gradera może zweryfikować, czy student rozumie swoje rozwiązanie poprzez indywidualną rozmowę ze studentem i od tego uzależnić przyznaną liczbę punktów.

Konsultacje

Każdy prowadzący ćwiczenia prowadzi konsultacje dla studentów swojej grupy w ustalonym terminie raz na tydzień lub po umówieniu się ze studentami mailowo. Konsultacje mogą odbywać się on-line.

Kolokwium

Odbędzie się w czwartek 23 kwietnia o godz. 17:00.

Egzamin zerowy

Studenci, którzy przed ostatnim tygodniem zajęć zdobędą co najmniej 90% punktów sumarycznie z kolokwium, testów zamkniętych przed przedostatnim wykładem oraz prac domowych sprawdzonych przed przedostatnim wykładem, zostaną zaproszeni na egzamin ustny i w przypadku pozytywnego jego wyniku będą zwolnieni z egzaminu w sesji.

Egzamin w pierwszym terminie

Forma egzaminu

Wszyscy studenci (z ewentualnym wyjątkiem osób, których dotyczą szczególne sytuacje opisane w Regulaminie Studiów i zasady ustalone przez prowadzącego ćwiczenia związane z dopuszczalną liczbą nieobecności) są dopuszczeni do egzaminu.

Egzamin będzie się składał z:

części testowej,

części zadaniowej.

Ocena w pierwszym terminie

Po egzaminie pisemnym wystawiana jest ocena, która zależy od sumy punktów zdobytych z następujących komponentów (łącznie do zdobycia jest 100 pkt.):

Kolokwium - 24 pkt

Egzamin część zadaniowa - 24 pkt

Egzamin część testowa- 24 pkt

Zadania domowe - 12 pkt (6 serii po 3 zadania po 4 punkty, na końcu suma podzielona przez 6)

Testy Moodle - 10 pkt

Ćwiczenia - 5 pkt

Latex - 1 pkt.

W szczególnych (rzadkich) przypadkach wykładowca może dodatkowo zaproponować egzamin ustny, którego wynik może zmienić ocenę wystawioną na podstawie sumy zdobytych punktów. Na dopuszczenie do egzaminu ustnego może mieć wpływ opinia prowadzącego ćwiczenia.

Egzamin w drugim terminie

W terminie poprawkowym ocenę wyznacza się na podstawie wyniku drugiego terminu egzaminu (część testowa i zadaniowa) oraz ewentualnie egzaminu ustnego.

Wykład

Odbywa się w piątki o 8:30.

Dodatkowo prowadzony będzie kurs na wydziałowym Moodle’u, gdzie będą się pojawiać niektóre materiały związane z wykładami. Studenci mają obowiązek dołączyć do tego kursu.

Na kursie na Moodle’u w poniedziałek po wybranych dziesięciu piątkach, będzie się pojawiać test obejmujący dowolne części materiału omówionego dotychczas na wykładzie. Test będzie otwarty przez tydzień, a od jego otwarcia będzie godzina na jego ukończenie. Testy dla poszczególnych studentów będą losowo generowane.

Ćwiczenia i prace domowe

Obecność na ćwiczeniach jest obowiązkowa. Szczegółowe zasady w sprawie dopuszczalnej liczby nieobecności ustalają prowadzący ćwiczenia i w przypadku nadmiernej liczby nieobecności prowadzący ćwiczenia ma prawo zadecydować o utracie prawa do zaliczania przedmiotu przez studenta w pierwszym lub w obu terminach.

Każdy prowadzący ćwiczenia ma do przyznania punkty za ćwiczenia, wliczające się w sumę punktów, na której podstawie wystawiona będzie końcowa ocena (patrz niżej).

Prowadzący ćwiczenia będą zadawać prace domowe podzielone na serie: 6 serii po 3 zadania. Oddanie rozwiązania następuje poprzez wgranie odpowiednich plików przez serwis Moodle’a w wyznaczonym terminie.

Nad zadaniami można myśleć w maksymalnie czteroosobowych zespołach, ale każdy student w pełni samodzielnie redaguje przesyłane rozwiązanie. Student ma prawo oddać swoje samodzielnie spisane rozwiązanie tylko wtedy, jeśli całkowicie je rozumie. Studenci, którzy zdecydowali się myśleć w zespołach, podają skład zespołu w swojej pracy domowej w przeznaczonym do tego polu przy wysyłaniu pracy domowej. Nie zwalnia to z obowiązku jednoosobowego i samodzielnego spisania rozwiązania przez każdego ze studentów.

Zachęcamy do oddawania prac domowych zredagowanych w LateXu, co będzie wymagało przesłania pliku .tex oraz pliku .pdf. Studenci, którzy w ten sposób oddadzą większość prac domowych, na koniec semestru otrzymają dodatkowy 1 punkt. W kursie na Moodle’u pojawią się materiały do samodzielnej nauki używania LateXa.

Oddane prace będą podlegać automatycznej kontroli antyplagiatowej. W przypadku stwierdzenia rażącej niesamodzielności pracy, punkty zostaną wyzerowane, a wcześniejsze i późniejsze prace domowe danego studenta ręcznie zweryfikowane pod tym kątem.

Prace będą sprawdzać graderzy (wyznaczeni studenci wyższych lat), korzystając z serwisu Moodle, którzy każdą pracę ocenią i każde rozwiązanie opatrzą komentarzem. Graderzy też będą elementem dodatkowej kontroli antyplagiatowej. Prowadzący grupę ćwiczeniową w razie wątpliwości zgłoszonych przez gradera może zweryfikować, czy student rozumie swoje rozwiązanie poprzez indywidualną rozmowę ze studentem i od tego uzależnić przyznaną liczbę punktów.

Konsultacje

Każdy prowadzący ćwiczenia prowadzi konsultacje dla studentów swojej grupy w ustalonym terminie raz na tydzień lub po umówieniu się ze studentami mailowo. Konsultacje mogą odbywać się on-line.

Kolokwium

Odbędzie się w czwartek 23 kwietnia o godz. 17:00.

Egzamin zerowy

Studenci, którzy przed ostatnim tygodniem zajęć zdobędą co najmniej 90% punktów sumarycznie z kolokwium, testów zamkniętych przed przedostatnim wykładem oraz prac domowych sprawdzonych przed przedostatnim wykładem, zostaną zaproszeni na egzamin ustny i w przypadku pozytywnego jego wyniku będą zwolnieni z egzaminu w sesji.

Egzamin w pierwszym terminie

Forma egzaminu

Wszyscy studenci (z ewentualnym wyjątkiem osób, których dotyczą szczególne sytuacje opisane w Regulaminie Studiów i zasady ustalone przez prowadzącego ćwiczenia związane z dopuszczalną liczbą nieobecności) są dopuszczeni do egzaminu.

Egzamin będzie się składał z:

części testowej,

części zadaniowej.

Ocena w pierwszym terminie

Po egzaminie pisemnym wystawiana jest ocena, która zależy od sumy punktów zdobytych z następujących komponentów (łącznie do zdobycia jest 100 pkt.):

Kolokwium - 24 pkt

Egzamin część zadaniowa - 24 pkt

Egzamin część testowa- 24 pkt

Zadania domowe - 12 pkt (6 serii po 3 zadania po 4 punkty, na końcu suma podzielona przez 6)

Testy Moodle - 10 pkt

Ćwiczenia - 5 pkt

Latex - 1 pkt.

W szczególnych (rzadkich) przypadkach wykładowca może dodatkowo zaproponować egzamin ustny, którego wynik może zmienić ocenę wystawioną na podstawie sumy zdobytych punktów. Na dopuszczenie do egzaminu ustnego może mieć wpływ opinia prowadzącego ćwiczenia.

Egzamin w drugim terminie

W terminie poprawkowym ocenę wyznacza się na podstawie wyniku drugiego terminu egzaminu (część testowa i zadaniowa) oraz ewentualnie egzaminu ustnego.