Logika 3501-DO1L
Elementarny kurs logicznej teorii języka oraz ogólnej metodologii nauk. Omawiane będą takie zagadnienia jak klasyczny rachunek zdań, klasyczny rachunek predykatów, nieklasyczne rachunki logiczne, elementy teorii zbiorów i relacji; pojawią się podstawowe wiadomości dotyczące definicji; wzmianka o nieklasycznych rachunkach logicznych; elementy pragmatyki logicznej, uzasadnianie twierdzeń, rodzaje wnioskowań, definicje.
Rodzaj przedmiotu
Efekty kształcenia
Zapoznanie studentów z elementarna logiką klasyczną oraz teorią argumentacji.
Kryteria oceniania
Test pisemny i krótki egzamin ustny.
Literatura
T. Hołówka, Kultura logiczna w przykładach,
M. Omyła, Zarys logiki,
B. Stanosz, Ćwiczenia z logiki,
K. Wieczorek, Wprowadzenie do logiki dla studentów wszystkich kierunków.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: