Podstawy logiki i teorii mnogości

Transkrypt

1 Kierunek Profil kształcenia Nazwa jednostki realizującej moduł/przedmiot: Kontakt (tel./ ): Osoba odpowiedzialna za przedmiot: Osoba(y) prowadząca(e) Przedmioty wprowadzające wraz z wymaganiami wstępnymi Poziom studiów: Rodzaj studiów: Biostatystyka KARTA PRZEDMIOTU / SYLABUS ydział Nauk o Zdrowiu ogólnoakademicki praktyczny inny jaki. Zakład Statystyki i Informatyki Medycznej statinfmed@umb.edu.pl dr hab. Robert Milewski pracownicy Zakładu Statystyki i Informatyki Medycznej - I stopnia (licencjackie) II stopnia (magisterskie) stacjonarne niestacjonarne Rok studiów I II III Semestr studiów: Nazwa modułu/przedmiotu: Podstawy logiki i teorii mnogości ECTS 4 Kod modułu Typ modułu/ przedmiotu: Obowiązkowy fakultatywny Rodzaj modułu/ przedmiotu: Kształcenia ogólnego podstawowy kierunkowy/profilowy inny Język wykładowy: polski obcy Miejsce realizacji : ZAJĘ PRAKTYCZNYCH FORMA KSZTAŁCENIA ykład 15 Seminarium wiczenia 30 Samokształcenie 55 Laboratorium PRAKTYK ZAODOYCH Liczba godzin

2 E-learning Zajęcia praktyczne Praktyki zawodowe Inne RAZEM 100 Założenia i cel Zapoznanie studentów z podstawami logiki i teorii mnogości przedmiotu: Opis przedmiotu: Metody dydaktyczne ykład: wykład z prezentacją multimedialną wiczenia: ćwiczenia laboratoryjne przy tablicy Narzędzia dydaktyczne Pracownia - rzutnik multimedialny, tablica MACIERZ EFEKTÓ KSZTAŁCENIA DLA MODUŁU /PRZEDMIOTU ODNIESIENIU DO KIERUNKOYCH EFEKTÓ KSZTAŁCENIA, METOD ERYFIKACJI ZAMIERZONYCH EFEKTÓ KSZTAŁCENIA ORAZ FORMY REALIZACJI ZAJĘ. Symbol i numer przedmiotowego efektu kształcenia Student, który zaliczy moduł (przedmiot) wie/umie/potrafi: IEDZA Odniesienie do kierunkowych efektów kształcenia Metody weryfikacji osiągnięcia zamierzonych efektów kształcenia: Formujące *** Podsumowujące ** Forma zajęć dydaktycznych* wpisz symbol P_01 Zna podstawy logiki, spójniki logiczne, podstawowe tautologie logiczne, kwantyfikatory, podstawowe prawa rachunku kwantyfikatorów. P_02 Zna podstawowe działania na zbiorach, relację inkluzji.

3 P_03 P_04 P_05 P_06 Zna pojęcie pary uporządkowanej, iloczynu kartezjańskiego, relacji. Zna zasady składania i odwracanie relacji. Zna pojęcie odwzorowania (odwzorowania częściowe, składanie, łączność, iniekcje, suriekcje, bijekcje), odwzorowania odwrotnego oraz sklejania odwzorowań. Zna pojęcie obrazu i przeciwobrazu. Zna pojęcie i przykłady relacji równoważności i relacji porządku (porządek częściowy, porządek liniowy). Zna własności zbiorów skończonych oraz elementy kombinatoryki. UMIEJĘTNOŚCI P_U01 Potrafi posługiwać się rachunkiem zdań i prawami logicznymi. K_U08 studenta w

4 P_U02 Potrafi formułować pojęcia matematyczne z użyciem kwantyfikatorów. K_U08 studenta w P_U03 Potrafi wykonywać podstawowe działania na zbiorach. K_U08 studenta w P_U04 Potrafi składać i odwracać relacje. Potrafi pracować z odwzorowaniami, relacjami równoważności i relacjami porządku. K_U08 KOMPETENCJE SPOŁECZNE / POSTAY studenta w P_K01 P_K02 Zna poziom własnych kompetencji i swoje ograniczenia w wykonywaniu zadań zawodowych oraz wie, kiedy zasięgnąć opinii ekspertów Efektywnie rozwiązuje postawione przed nim problemy, popierając je argumentacją w kontekście wybranych perspektyw teoretycznych oraz poglądów różnych autorów K_K01 K_K02 Bieżąca informacja zwrotna Bieżąca informacja zwrotna Samoocena Samoocena,, NAKŁAD PRACY STUDENTA (BILANS PUNKTÓ ECTS) Forma nakładu studenta Obciążenie studenta (h) (udział w zajęciach, aktywność, przygotowanie sprawdzenie, itp.) Godziny kontaktowe z nauczycielem akademickim (wg planu studiów) Udział w wykładach (wg planu studiów) 15 Udział w ćwiczeniach(wg planu studiów) 30

5 Udział w seminariach (wg planu studiów) Udział w konsultacjach związanych z zajęciami 5 Obciążenie studenta na zajęciach wymagających bezpośredniego udziału nauczycieli akademickich (zajęcia praktyczne) 45 (wg planu studiów) Samodzielna praca studenta (przykładowa forma studenta) Samodzielne przygotowanie do ćwiczeń 35 Samodzielne przygotowanie do seminariów ykonanie projektu, dokumentacji, opisu przypadku, samokształcenia itd. Przygotowanie do zajęć praktycznych Obciążenie studenta związane z praktykami zawodowymi (wg planu studiów) Przygotowanie do egzaminu/ i udział w egzaminie 20 Sumaryczne obciążenie studenta 100 Godziny ogółem Punkty ECTS za moduł/przedmiotu 4 TREŚ PROGRAMOE POSZCZEGÓLNYCH ZAJĘ: Liczba godzin YKŁADY ICZENIA Podstawy logiki, spójniki logiczne, podstawowe tautologie logiczne, kwantyfikatory, podstawowe prawa rachunku kwantyfikatorów. Podstawowe działania na zbiorach, relacja inkluzji. 2 Para uporządkowana, iloczyn kartezjański, relacje. Składanie i odwracanie relacji. 2 Odwzorowania: odwzorowania częściowe, składanie, łączność, iniekcje, suriekcje, bijekcje. Odwzorowania 2 odwrotne. Sklejanie odwzorowań. Obrazy i przeciwobrazy. Iloczyn kartezjański i zestawienie odwzorowań. Relacje równoważności, przykłady. 2 Relacje porządku: porządek częściowy, porządek liniowy. 2 łasności zbiorów skończonych elementy kombinatoryki. 3 Podstawy logiki, spójniki logiczne, podstawowe tautologie logiczne, kwantyfikatory, podstawowe prawa 4 rachunku kwantyfikatorów. Podstawowe działania na zbiorach, relacja inkluzji. 4 Para uporządkowana, iloczyn kartezjański, relacje. Składanie i odwracanie relacji. 4 Odwzorowania: odwzorowania częściowe, składanie, łączność, iniekcje, suriekcje, bijekcje. Odwzorowania 4 odwrotne. Sklejanie odwzorowań. Obrazy i przeciwobrazy. Iloczyn kartezjański i zestawienie odwzorowań. Relacje równoważności, przykłady. 4 2

6 SEMINARIA ZAJĘCIA PRAKTYCZNE PRAKTYKI ZAODOE SAMOKSZTAŁCEN IE Relacje porządku: porządek częściowy, porządek liniowy. 4 łasności zbiorów skończonych elementy kombinatoryki. 6 Przygotowanie do ćwiczeń. Samodzielne pogłębianie i utrwalanie wiedzy dotyczącej poznanych zagadnień 35 Samodzielne przygotowanie do egzaminu 20 LITERATURA PODSTAOA. Marek, J. Onyszkiewicz. Elementy logiki i teorii mnogości w zadaniach. PN, H. Rasiowa. stęp do matematyki współczesnej. PN, UZUPEŁNIAJĄCA E. Jędrzejewska, E. Kotlicka, B. Szkopińska. stęp do analizy matematycznej, logiki i teorii mnogości. yd. PŁ, J. Cichoń. ykłady ze stępu do matematyki. Dolnośląskie ydawnictwo Edukacyjne, Regel. 92 zadania z logiki i teorii mnogości z pełnymi rozwiązaniami krok po kroku... yd. Bila, 2017 KRYTERIA OCENY OSIĄGNIĘTYCH EFEKTÓ KSZTAŁCENIA (opisowe, procentowe, punktowe, inne..formy oceny do wyboru przez wykładowcę) EFEKTY NA OCENĘ 3 NA OCENĘ 3.5 NA OCENĘ 4 NA OCENĘ 4.5 NA OCENĘ 5 KSZTAŁCENIA iedza: P_01, P_02, P_03, P_04, P_05, P_06 Umiejętności: P_U01, P_U02, P_U03, P_U04 min. 50% punktów min. 60% punktów min. 70% punktów min. 80% punktów min. 90% punktów ARUNKI UZYSKANIA ZALICZENIA PRZEDMIOTU: OSIĄGNIĘCIE ZAŁOŻONYCH EFEKTÓ KSZTAŁCENIA I pozytywny wynik końcowego egzaminu egzamin teoretyczny pisemny egzamin teoretyczny ustny egzamin praktyczny zaliczenie

7 Data opracowania programu: Program opracował: dr hab. Robert Milewski