LOGIKA MATEMATYCZNA
Informacje ogólne
Kod przedmiotu: | 0301-MT-S2-14-LOG |
Kod Erasmus / ISCED: | (brak danych) / (brak danych) |
Nazwa przedmiotu: | LOGIKA MATEMATYCZNA |
Jednostka: | Instytut Matematyki |
Grupy: |
Przedmioty fakultatywne - matematyka /stacjonarne II stopnia/ |
Punkty ECTS i inne: |
(brak)
|
Język prowadzenia: | (brak danych) |
Poziom przedmiotu: | średnio zaawansowany |
Rodzaj przedmiotu: | fakultatywny |
Wymagania wstępne: | Wstęp do matematyki |
Skrócony opis: |
Wprowadzenie do logiki matematycznej, teorii modeli i zagadnień metamatematycznych. |
Pełny opis: |
Na treści wykładu składają się wybrane fragmenty rozdziałów 1-15 podręcznika Z. Adamowicz, P. Zbierski Logika Matematyczna oraz wybrane fragmenty rozdziału 3 podręcznika E. Mendelson Introduction to Mathematical Logic. |
Literatura: |
Z. Adamowicz, P. Zbierski. Logika matematyczna, PWN 1991. E. Mendelson, Introduction to Mathematical Logic, Chapman and Hall/CRC, 5 edition, 2009. A. Grzegorczyk, Zarys logiki matematycznej, PWN 1984. |
Efekty uczenia się: |
W zakresie logiki matematycznej student 1) ma pogłębioną wiedzę, 2) zna większość klasycznych definicji i twierdzeń wraz z dowodami, 3) jest w stanie zrozumieć sformułowania problemów otwartych i zagadnień pozostających na etapie badań 4) zna powiązania zagadnień logiki z innymi działami matematyki 5) umie na poziomie zaawansowanym stosować i przedstawiać w mowie i piśmie metody logiki matematycznej 6) umie przeprowadzać dowody głównych twierdzeń i faktów pomocniczych stosując przy tym, w razie potrzeby, narzędzia innych działów matematyki 7) potrafi precyzyjnie formułować pytania służące pogłębieniu własnego zrozumienia jego trudniejszych zagadnień 8) ma świadomość potrzeby uzupełnienia i poszerzenia swej wiedzy poprzez dalsze studiowanie literatury |
Metody i kryteria oceniania: |
Zaliczenie kowersatorium. Egzamin. |
Praktyki zawodowe: |
Nie ma. |
Właścicielem praw autorskich jest Uniwersytet Ślaski w Katowicach.