Logika matematyczna
Informacje ogólne
Kod przedmiotu: | 1000-M2LOM |
Kod Erasmus / ISCED: |
(brak danych)
/
(0541) Matematyka
|
Nazwa przedmiotu: | Logika matematyczna |
Jednostka: | Wydział Matematyki i Informatyki |
Grupy: |
Mat., sp. nauczycielskie, II st., stacjonarne, przedmioty do wyboru + uzup. stand. kszt. Mat+Fiz, II st, stacjonarne, 2 rok, przedmioty obowiązkowe Mat+Inf, II st, stacjonarne, 1 rok, przedmioty obowiązkowe Naucz. Mat, II st, stacjonarne, 1 rok, przedmioty obowiązkowe |
Strona przedmiotu: | https://plas.mat.umk.pl/moodle/course/view.php?id=47 |
Punkty ECTS i inne: |
(brak)
|
Język prowadzenia: | polski |
Wymagania wstępne: | Wiedza w zakresie logiki matematycznej na poziomie studiów matematycznych 1-go stopnia |
Rodzaj przedmiotu: | przedmiot obowiązkowy |
Całkowity nakład pracy studenta: | 30 godz. – wykład 5 godz. - egzamin 30 godz. - ćwiczenia: 50 godz. - praca własna - bieżące przygotowanie do zajęć, studiowanie literatury, 35 godz. praca własna - przygotowanie do egzaminu. RAZEM: 150 godz. 6 pkt. ECTS |
Efekty uczenia się - wiedza: | posiada pogłębioną wiedzę z zakresu logiki matematycznej (K_W01) rozumie rolę i znaczenie logiki w konstrukcji rozumowań matematycznych (K_W02) zna podstawowe klasyczne pojęcia i twierdzenia logiki matematycznej |
Efekty uczenia się - umiejętności: | posiada umiejętność konstruowania rozumowań matematycznych i dowodzenia twierdzeń ze szczegolnym uwzglednieniem roli logicznej analizy problemu (K_U01) umie sprawdzić poprawność wnioskowań w budowaniu dowodów formalnych (K_U03) |
Efekty uczenia się - kompetencje społeczne: | Analityczne myślenie:poprawnie wyciąga wnioski posługując się zasadami logiki; potrafi precyzyjnie formułować pytania, służące pogłębieniu własnego zrozumienia danego tematu lub odnalezieniu brakujących elementów rozumowania (K_K01) Sumienność i dokładność: Jest nastawiony na jak najlepsze wykonanie zadania; dba o szczegół; jest systematyczny (K_K03) Komunikatywność: dostosowuje poziom i formę prezentacji do potrzeb i możliwości odbiorcy (K-K0-4) |
Metody dydaktyczne podające: | - wykład informacyjny (konwencjonalny) |
Metody dydaktyczne poszukujące: | - ćwiczeniowa |
Skrócony opis: |
Wykład przeznaczony dla studentów studiów II stopnia na kierunku matematyka. Celem wykładu jest zapoznanie z podstawami logiki matematycznej. Jednocześnie ma to być okazja do retrospektywnego spojrzenia na dotychczas poznany fragment matematyki, z logicznego punktu widzenia. |
Pełny opis: |
|
Literatura: |
Literatura podstawowa: Z przedmiotem stowarzyszona jest strona moodle na której znajdują się:
Literatura uzupełniająca:
|
Metody i kryteria oceniania: |
Wykład: Egzamin ustny Ćwiczenia: środsemestralne prace zaliczeniowe |
Właścicielem praw autorskich jest Uniwersytet Mikołaja Kopernika w Toruniu.