Logika z elementami semiotyki 16-LZESC-11
Przybliżenie podstaw języka rachunku zdań.
Przybliżenie pięciu podstawowych spójników zdań i ich funkcji prawdziwościowych.
Przybliżenie metody tworzenia formalnych schematów zdania.
Omówienie tautologiczności zdania i analiza wybranych schematów pod kątem ich tautologiczności.
Przeprowadzenie ćwiczeń z zakresu logicznej analizy tekstów.
Cele kształcenia
Informacja o tym, gdzie można zapoznać się z materiałami do zajęć
Kierunek studiów
Metody prowadzenia zajęć umożliwiające osiągnięcie założonych EK
Moduł zajęć/przedmiotu prowadzony zdalnie (e-learning)
Nakład pracy studenta (punkty ECTS)
Poziom przedmiotu
Rodzaj przedmiotu
Rok studiów (jeśli obowiązuje)
Wymagania wstępne w zakresie wiedzy, umiejętności oraz kompetencji
Efekty kształcenia
student:
zna podstawy logicznego języka rachunku zdań;
zna logiczne spójniki zdaniowe i ich funkcje prawdziwościowe;
potrafi sformułować formalny schemat zadania;
potrafi przeanalizować schemat zdania pod katem jego tautologiczności;
potrafi przeprowadzić analizę tekstu z wykorzystaniem logicznego rachunku zdań.
Kryteria oceniania
zaliczenie pisemne; kryteria oceniania:
5.0 - znakomita wiedza, umiejętności i kompetencje społeczne w zakresie
treści kształcenia, zawartych w programie przedmiotu
4.5 - bardzo dobra wiedza, umiejętności i kompetencje społeczne w zakresie
treści kształcenia, zawartych w programie przedmiotu
4.0 - dobra wiedza, umiejętności i kompetencje społeczne w zakresie treści
kształcenia, zawartych w programie przedmiotu
3.5 - zadawalająca wiedza, umiejętności i kompetencje społeczne w zakresie
treści kształcenia, zawartych w programie przedmiotu
3.0 - zadawalająca wiedza, umiejętności i kompetencje społeczne w zakresie
treści kształcenia, zawartych w programie przedmiotu
2.0 - niezadowalająca wiedza, umiejętności i kompetencje społeczne w
zakresie treści kształcenia, zawartych w programie przedmiotu
Praktyki zawodowe
---
Literatura
K. Ajdukiewicz, Logika pragmatyczna, PWN, Warszawa 1975.
G. Frege, „Sens i znaczenie”, w: Pisma semantyczne, PWN, Warszawa 1970.
B. Stanosz, Ćwiczenia z logiki, PWN, Warszawa 1998.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: