Logika II 3501-DF2L

Wykład składa się z trzech głównych części: 1. Przegląd podstawo-wych metod konstruowania dowodów. Część ta poświęcona jest systema-tycznej prezentacji praktycznych technik dowodzenia. 2. Aksjomatyczna teoria mnogości. Jest to krótki wykład aksjomatycznej teorii mnogości ZF, uwzględniający prezentacje podstawowych konstrukcji i struktur teoriomnogościowych 3. Logika elementarna jako teoria formalna. Część ta uwzględnia następujące zagadnienia: indukcyjna definicja zbioru for-muł, formalne pojęcie dowodu, własności wywodliwości oraz takie za-gadnienia teorio-modelowe, jak: pojęcie spełniania, prawdziwość w mo-delu, twierdzenie o pełności. Celem ćwiczeń jest praktyczne "przetrenowanie" konstrukcji i tech-nik omawianych w trakcie wykładu