Logika II Field of study: Cognitive Science
Programme code: 05-S1KO15.2016

Module name: Logika II
Module code: KOG_m24
Programme code: 05-S1KO15.2016
Semester: winter semester 2017/2018
Language of instruction: Polish
Form of verification: exam
ECTS credits: 5
Description:
Moduł Logika II prezentuje elementarne zagadnienia logiki formalnej. Ujmuje specyfikę semantycznego i syntaktycznego ujęcia klasycznego rachunku zdań (KRZ) i klasycznego rachunku predykatów (KRP). Zapoznaje studentów z podstawowymi faktami z tych teorii (np. twierdzenia o dedukcji, o pełności, niesprzeczności) oraz metodami dowodzenia (wprost i nie wprost). Moduł składa się z wykładu (15 godzin) zawierającego kanon wiedzy ilustrowany analizą przykładów oraz ćwiczeń (30 godzin) ułatwiających właściwe zrozumienie zagadnień wprowadzonych na wykładzie.
Prerequisites:
Logika I
Key reading:
(no information given)
Learning outcome of the module Codes of the learning outcomes of the programme to which the learning outcome of the module is related [level of competence: scale 1-5]
ma uporządkowaną znajomość i rozumie główne kierunki w obrębie logiki oraz pokrewnych subdyscyplin filozoficznych, tj. metafizyka, epistemologia lub filozofia umysłu. logika, [KOG_m24_1]
 KO1_W03 [5/5]
zna podstawowe metody badawcze i strategie argumentacyjne właściwe dla logiki oraz pokrewnych subdyscyplin fi8lozoficznych [KOG_m24_2]
 KO1_W04 [5/5]
trafnie definiuje pojęcia języka potocznego i poprawnie projektuje definicje własnych terminów używanych we własnych wypowiedziach [KOG_m24_3]
 KO1_U05 [3/5]
zna podstawy logiki oraz potrafi zastosować typowe strategie argumentacyjne [KOG_m24_4]
 KO1_U06 [5/5]
dobiera strategie argumentacyjne, na poziomie elementarnym konstruuje krytyczne argumenty, formułuje odpowiedzi na krytykę [KOG_m24_5]
 KO1_U12 [1/5]
na podstawie twórczej analizy nowych sytuacji i problemów samodzielnie formułuje propozycje ich rozwiązania [KOG_m24_6]
 KO1_K03 [1/5]
Type Description Codes of the learning outcomes of the module to which assessment is related
Egzamin pisemny [KOG_m24_w_1]
Egzamin składa się z kilku zadań. Rozwiązanie zadań musi zawierać dokładne uzasadnienie poprawności przeprowadzonych rozumowań. Student powinien wykazać się znajomością i zrozumieniem pojęć oraz umiejętnością wykorzystania i przypomnienia poznanych na zajęciach faktów.
 KOG_m24_1 KOG_m24_2 KOG_m24_4
Aktywność na ćwiczeniach [KOG_m24_w_2]
Obecność na zajęciach (maksymalnie dwie nieobecności) i udział w dyskusji podczas rozwiązywania przykładów
 KOG_m24_3 KOG_m24_4 KOG_m24_5 KOG_m24_6
Kolokwia [KOG_m24_w_3]
Uzyskanie pozytywnej oceny z dwóch kolokwiów sprawdzających stopień opanowania i zrozumienia przerobionego materiału
 KOG_m24_1 KOG_m24_3 KOG_m24_4 KOG_m24_5
Form of teaching Student's own work Assessment of the learning outcomes
Type Description (including teaching methods) Number of hours Description Number of hours
lecture [KOG_m24_fs_1]
Wykład z elementami dyskusji
 15
Przygotowanie do egzaminu końcowego
 45 Egzamin pisemny [KOG_m24_w_1]
practical classes [KOG_m24_fs_2]
Metody aktywizujące. Na ćwiczeniach rozwiązywane są liczne zadania ilustrujące wprowadzone na wykładzie treści. Studenci analizując różnorodne przykłady doskonalą umiejętność uzasadniania, a podczas dyskusji mają możliwość wyjaśnić wszelkie wątpliwości dotyczące omawianych zagadnień
 30
Przygotowanie do ćwiczeń poprzez przyswojenie sobie podstawowych pojęć i faktów z wykładu oraz samodzielne rozwiązywanie zadań z zaproponowanych zestawów. Przygotowanie do kolokwiów pisemnych
 50 Aktywność na ćwiczeniach [KOG_m24_w_2] Kolokwia [KOG_m24_w_3]
Attachments
Module description (PDF)
Information concerning module syllabuses might be changed during studies.
Syllabuses (USOSweb)
Semester Module Language of instruction
(no information given)