Logika z elementami metodologii 20-KUDL-LEM
Zajęcia laboratoryjne (LAB) Semestr zimowy 2019/2020

B. Stanosz, Ćwiczenia z logiki, Wydawnictwo Naukowe PWN, Warszawa 2007

Student zna i rozumie miejsce i znaczenie kulturoznawstwa w systemie nauk oraz rozumie różnice i powiązania między innymi dyscyplinami nauk humanistycznych a kulturoznawstwem; zna i rozumie podstawy metodologii badań kulturoznawczych; student potrafi formułować problemy badawcze, dobrać metody i narzędzia badawcze, opracować i prezentować wyniki, pozwalające na rozwiązywanie podstawowych zagadnień w zakresie badań kulturoznawczych oraz posługiwać się podstawowymi ujęciami teoretycznymi, paradygmatami badawczymi i pojęciami właściwymi dla kulturoznawstwa w typowych sytuacjach profesjonalnych, student jest gotów do przyjmowania postaw krytycznych wobec wiedzy, którą przyswaja, panujących autorytetów, ideologii i mód oraz oceny własnych kompetencji oraz wiedzy, dostrzega i rozumie konieczność własnego rozwoju i kształcenia (np. potrzebę uczenia się przez całe życie).

Forma zaliczenia: Z (zaliczenie)

- dwa kolokwia zaliczeniowe na ocenę w ciągu semestru (1/ budowa logicznych schematów zdań; sprawdzanie tautologiczności formuł trzema metodami – połowa listopada; 2/ dowodzenie wprost i nie wprost – koniec grudnia/początek stycznia) – ocena końcowa z ćwiczeń jest średnią ocen z obu kolokwiów

- aktywność – praca studenta przy tablicy

Materiał obejmuje zagadnienia związane z Klasycznym Rachunkiem Zdań. Zakres tematów obejmuje: wprowadzenie do KRZ (definicja KRZ, słownik KRZ, podstawowe pojęcia, jak zmienna, wyrażenie, formuł krz, tautologiczność, spójniki międzyzdaniowe, matryca logiczna), tworzenie schematów formalnych zdań, sprawdzanie tautologiczności formuł (metoda zero-jedynkowa, metoda tabelkowa, metoda skrócona), pojęcie dowodu i dowodzenia, reguły inferencyjne, prawa logiczne, dowodzenie wprost, dowodzenie nie wprost.

Wprowadzanie i omówienie kluczowych zagadnień przez wykładowcę, przykładowe ćwiczenia (przy wprowadzaniu trzech metod sprawdzania tautologiczności formuł oraz przy wprowadzaniu do dowodzenia wprost i nie wprost), następnie - praca studentów (wykonywanie ćwiczeń przy tablicy, przy pomocy wykładowcy). Nadto zadania domowe, omawiane każdorazowo na początku kolejnych zajęć.