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) Podstawowe informacje o zasadach przyporządkowania punktów ECTS: roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS; tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h; 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się; tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS; nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta. zobacz reguły punktacji
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.

Przedmiot nie jest oferowany w żadnym z aktualnych cykli dydaktycznych.

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Ślaski w Katowicach.