Logika formalna - Kognitywistyka i Komunikacja

Logika formalna
SYLABUS
A. Informacje ogólne
Nazwa jednostki
Nazwa kierunku
studiów
Poziom kształcenia
Profil studiów
Forma studiów
Kod przedmiotu
Język przedmiotu
Rodzaj przedmiotu
Rok studiów /semestr
Wymagania wstępne
Liczba godzin zajęć
Założenia i cele
przedmiotu
Metody dydaktyczne
oraz ogólna forma
zaliczenia przedmiotu
Wydział Historyczno-Socjologiczny, Instytut Socjologii
Kognitywistyka i komunikacja
Studia pierwszego stopnia
Ogólnoakademicki
Stacjonarne
0500-KS1-LOF
Polski
Podstawowy
Rok I, semestr II
Semiotyka kognitywna, konceptualizacja i definiowanie
15 (wykład), 15 (ćwiczenia)
Przedmiotem logiki formalnej są rachunki logiczne. Student uzyskuje
wiedzę z zakresu klasycznej logiki zdań i logiki predykatów. Poznaje
podstawowe pojęcia i problemy logiki formalnej. Ma wiedzę o
podstawowych twierdzeniach logiki formalnej.
Studenci są aktywnymi uczestnikami wykładu (zadają pytania, oczekiwane
są ich komentarze i przykłady do wykładanego materiału). Ćwiczenia uczą
formalnych metod logiki.
Wykład zaliczony jest na podstawie aktywności.
Ocena z ćwiczeń jest wypadkową oceny z pisemnego kolokwium (70%) i
aktywności (30%).
Liczba dopuszczalnych nieobecności: zgodnie z regulaminem studiów.
Odpracowanie nieobecności na zajęciach możliwe na podstawie pracy
pisemnej zgodnej z treścią zajęć, na których student był nieobecny. Wymiar
godzin na przygotowanie tej pracy jest zgodny z wymiarem czasu
nieobecności.
Efekty kształcenia
1. Ma podstawową wiedzę o pojęciach logiki formalnej. (W)
2. Ma podstawową wiedzę na temat pojęć: dedukcja , niesprzeczność.
(W)
3. Ma podstawową wiedzę na temat twierdzeń o logice formalnej. (W)
4. Potrafi dowodzić indukcyjnie. (W, Ćw.)
5. Potrafi sprawdzać tautologiczność oraz dedukcyjność schematów
formalnych. (W, Ćw.)
6. Potrafi współdziałać w grupie (Ćw.)
7. Rozumie potrzebę podnoszenia swoich kompetencji logicznych. (W,
Ćw.)
Punkty ECTS
Bilans nakładu pracy
studenta
3
Udział w wykładach – 15
Udział w ćwiczeniach – 15
Udział w konsultacjach – 5
Przygotowanie do zajęć – 25
Odniesienie do
kierunkowych efektów
kształcenia
K_W11, K_W12, K_W13
K_W11, K_W12, K_W13
K_W11, K_W12, K_W13
K_U01, K_U08
K_U01, K_U08, K_U09
K_K03, K_K07
K_K08
Przygotowanie do kolokwium zaliczeniowego – 15
Wskaźniki ilościowe
Data
opracowania:
Nakład pracy studenta związany z
zajęciami:
wymagającymi bezpośredniego udziału
nauczyciela
o charakterze praktycznym
27 września 2015
Koordynator
przedmiotu:
Liczba
godzin
Punkty
ECTS
35
1
40
2
Prof. dr hab. Kazimierz Trzęsicki
B. Informacje szczegółowe
Nazwa przedmiotu
Kod przedmiotu
Nazwa kierunku
Nazwa jednostki
Język przedmiotu
Rok studiów/semestr
Liczba godzin
Liczba punktów ECTS
Prowadzący
Treści merytoryczne przedmiotu
Efekty kształcenia wraz ze
sposobem ich weryfikacji
Forma i warunki zaliczenia
Wykaz literatury podstawowej
Wykaz literatury uzupełniającej
Logika formalna
0500-KS1-LOF
Kognitywistyka i komunikacja
Wydział Historyczno-Socjologiczny, Instytut Socjologii
Polski
Rok I, semestr II
15
1
Kazimierz Trzęsicki
Klasyczna logika zdań. Klasyczna logika predykatów.
Podstawowe twierdzenia o logice klasycznej.
Student ma pojęcie rachunku logicznego. Zna podstawowe
twierdzenia o logice klasycznej.
Znajomość wyłożonego materiału jest oceniana na
podstawie aktywności na zajeciach.
Trzęsicki K., Logika i teoria mnogości. Ujęcie
systematyczno-historyczne, Warszawa 2003
 Grzegorczyk A., Zarys logiki matematycznej,
Warszawa 1961
 Łukasiewicz J., Elementy logiki matematycznej,
Warszawa 1958
 Mostowski A., Logika matematyczna, Warszawa 1948
 Trzęsicki K., Elementy logiki i teorii mnogości,
Białystok 2006
 http://www.dmoz.org/World/Polski/Nauka_i_edukacja/
Matematyka/Logika_i_podstawy
Kazimierz Trzęsicki
podpis osoby składającej sylabus
C. Informacje szczegółowe
Elementy składowe sylabusu
Nazwa przedmiotu
Kod przedmiotu
Nazwa kierunku
Nazwa jednostki
Język przedmiotu
Rok studiów/ semestr
Liczba godzin oraz forma
Liczba punktów ECTS
Prowadzący
Treści merytoryczne przedmiotu
Efekty kształcenia wraz ze
sposobem ich weryfikacji
Forma i warunki zaliczenia
przedmiotu
Wykaz literatury podstawowej
i uzupełniającej
Opis
Logika formalna
0500-KS1-LOF
Kognitywistyka i komunikacja
Wydział Historyczno-Socjologiczny, Instytut Socjologii
polski
Rok I, sem. II
Konwersatorium – 15 godz.
Podać w wypadku, gdy nie wypełniono części A.
dr Dariusz Surowik
1. Wprowadzenie do Klasycznego Rachunku Zdań.
2. Schematy
rachunkowo-zdaniowe
zdań
języka
naturalnego.
3. Spójniki negacji, implikacji, alternatywy, koniunkcji
i równoważności: charakterystyka semantyczna.
Intuicyjne pojęcie tautologii KRZ,
metoda
zerojedynkowa.
4. Indukcja niezupełna, indukcja zupełna, wnioskowania
uprawdopodobniające, wnioskowania dedukcyjne.
5. Dowodzenie, sprawdzanie, wyjaśnianie jako typy zadań
poznawczych.
6. Dowodzenie wprost i nie wprost. Sprawdzanie
pozytywne, a sprawdzanie negatywne.
7. Metoda tabel semantycznych dla KRZ.
1. Zna podstawowe prawa klasycznego aktywność na
rachunku zdań.
zajęciach,
2. Potrafi dokonać translacji zdań
kolokwium
języka naturalnego na język KRZ.
3. Potrafi sprawdzić poprawność
aktywność na
wnioskowania z użyciem metod
zajęciach,
logiki formalnej.
kolokwium
4. Potrafi przeprowadzić dowód metodą aktywność na
wprost i metodą nie wprost.
zajęciach,
5. Zna metodę tabel semantycznych dla kolokwium
klasycznego rachunku zdań.
aktywność na
zajęciach,
6. Potrafi posługiwać się metodą tabel
kolokwium
semantycznych w odniesieniu do
kolokwium
formuł klasycznego rachunku zdań.
aktywność na
zajęciach,
kolokwium
Zaliczenie ćwiczeń - kolokwium
liczba godzin nieobecności kwalifikujących do
niezaliczenia przedmiotu - 4 godziny lekcyjne
zaliczenie nieobecności – na konsultacjach
1. Guzicki W., Zakrzewski P., Wstęp do matematyki. Zbiór
zadań, Warszawa, PWN.
2. Hołówka T., Kultura logiczna w przykładach,
Warszawa: PWN.
3. Marek W., Onyszkiewicz J. , Elementy logiki i teorii
mnogości w zadaniach, Warszawa, PWN .
4. Trzęsicki K, Logika i teoria mnogości. Ujęcie
systematyczno-logiczne, Warszawa, EXIT .
5. Stanosz B., Ćwiczenia z logiki, Warszawa, PWN.
Dariusz Surowik
podpis osoby składającej sylabus