pakiet ECTS - Matema.. - Uniwersytet Szczeciński

Nazwa przedmiotuElementy logiki matematycznejRodzaj zajęćwykłady/konwersatoriaKod przedmiotu11.1II17.B202Liczba godzin w tygodniu2/2SemestrIIILiczba punktów ECTS4Prowadzący:dr Jolanta Ziemińska.Status przedmiotu w programie studiów:Przedmiot podstawowy - do wyboru.Opis przedmiotu:Rachunek zdań. Tautologie. Układy aksjomatów dla rachunku zdań. Rachunek predykatów.Spełnialność, prawda, model. Teorie pierwszego rzędu. Twierdzenia o zupełności. Arytmetykaformalna. Funkcje rekurencyjne. Arytmetyzacja. Numery goedelowskie. Twierdzenie Goedela.Aksjomatyka teorii mnogości. Liczby porządkowe. Równoliczność. Arytmetyka liczb porządkowych.Aksjomat wyboru.Cele:Rozszerzenie wiedzy z zakresu logiki.Metody nauczania:Wykłady i konwersatoria.Wymagana wiedza:Znajomość podstaw logiki wykładanych w ramach przedmiotu Wstęp do logiki i teorii mnogości.Pomoce dydaktyczne:Skrypt uczelniany i podręcznik.Forma egzaminu:Przedmiot kończy się zaliczeniem.Literatura:• H. Rasiowa; Wstęp do matematyki współczesnej,• S. Fudali; Logika i teoria mnogości, zagadnienia wstępne, skrypt dla studiujących zaocznie.49