Drukuj Eksport do pliku (MS Word)
Nazwa przedmiotu:
Logika formalna
Koordynator przedmiotu:
Dr Beata Witkowska-Maksimczuk
Status przedmiotu:
Obowiązkowy
Poziom kształcenia:
Studia I stopnia
Program:
Administracja
Grupa przedmiotów:
Obowiązkowe
Kod przedmiotu:
A12_LF
Semestr nominalny:
3 / rok ak. 2015/2016
Liczba punktów ECTS:
1
Liczba godzin pracy studenta związanych z osiągnięciem efektów uczenia się:
40h, w tym 20 udział w zajęciach, 20h praca własna
Liczba punktów ECTS na zajęciach wymagających bezpośredniego udziału nauczycieli akademickich:
1
Język prowadzenia zajęć:
polski
Liczba punktów ECTS, którą student uzyskuje w ramach zajęć o charakterze praktycznym:
nie ma
Formy zajęć i ich wymiar w semestrze:
  • Wykład150h
  • Ćwiczenia150h
  • Laboratorium0h
  • Projekt0h
  • Lekcje komputerowe0h
Wymagania wstępne:
brak
Limit liczby studentów:
100
Cel przedmiotu:
Zapoznanie z podstawowymi pojęciami logiki, nauka poprawnego wnioskowania i formalnej analizy rozumowań.
Treści kształcenia:
1. Nazwy i relacje zakresowe miedzy nimi. Diagramy Eulera.2. Symbolika rachunku nazw. Formy wnioskowania bezpośredniego:kwadrat logiczny , obwersja, konwersja, kontrapozycja. 3.Sylogistyka :sprawdzanie słuszności trybów sylogistycznych.4.Symbolika rachunku zdań i najwyższe prawa myślenia.5.Tautologie logiczne i metody ich sprawdzania 6.. Pojęcie systemu dedukcyjnego rachunku zdań 7.Uzasadnianie twierdzeń. Rodzaje wnioskowań i problem ich poprawności .
Metody oceny:
Zaliczenie pisemne- zadania testowe- test wielokrotnego wyboru.
Egzamin:
tak
Literatura:
T. Kotarbiński "Elementy teorii poznania, logiki formalnej i metodologii nauk" , B. Witkowska-Maksimczuk "Podstawy logiki w przykładach i zadaniach"
Witryna www przedmiotu:
brak
Uwagi:
brak

Efekty uczenia się

Profil ogólnoakademicki - wiedza

Efekt W_M01
Znajomość podstawowych elementów logiki nazw i rachunku zdań.
Weryfikacja: zadania testowe
Powiązane efekty kierunkowe: K_W01
Powiązane efekty obszarowe: S1A_W01, S1A_W05, S1A_W07

Profil ogólnoakademicki - umiejętności

Efekt U_M02
Ma umiejętność rozpoznawania poprawnych i niepoprawnych rozumowań.
Weryfikacja: zadania testowe
Powiązane efekty kierunkowe: K_U02
Powiązane efekty obszarowe: S1A_U01, S1A_U02, S1A_U04, S1A_U06, S1A_U07

Profil ogólnoakademicki - kompetencje społeczne

Efekt K_M01
Student potrafi komunikować się w sposób racjonalny, rzeczowo argumentować i poprawnie wnioskować.
Weryfikacja: zadania testowe
Powiązane efekty kierunkowe: K_K05
Powiązane efekty obszarowe: S1A_K04, S1A_K05, S1A_K07