Podstawy logiki I [05-DF-S1-01]
semestr zimowy 2015/2016
Ćwiczenia,
grupa nr 2
| Przedmiot: | Podstawy logiki I [05-DF-S1-01] |
| Zajęcia: |
semestr zimowy 2015/2016 [2015/2016Z]
(zakończony)
Ćwiczenia [C], grupa nr 2 [pozostałe grupy] |
|
Termin i miejsce:
|
(brak danych) |
| Liczba osób w grupie: | 38 |
| Limit miejsc: | 33 |
| Zaliczenie: | Zaliczenie lub ocena |
| Prowadzący: | Krzysztof Wieczorek |
| Strona domowa grupy: | http://www.krzysztofwieczorek.pl/informacje |
| Literatura: |
Podstawowa: Stanosz B., Ćwiczenia z logiki. Warszawa, 1998. Tokarz M., Wykłady z logiki. Tychy, 1998. Wieczorek K., Wprowadzenie do logiki dla studentów wszystkich kierunków. Warszawa, 2005. Uzupełniająca: Ajdukiewicz K., Logika pragmatyczna. Warszawa 1975. Hołówka T., Kultura logiczna w przykładach. Warszawa, 2005. Marciszewski W. (red.), Mała encyklopedia logiki. Ossolineum, 1988. Przybyłowski J., Logika z ogólną metodologią nauk. Gdańsk, 1997. Stanosz B., Wprowadzenie do logiki formalnej. Podręcznik dla humanistów, Warszawa, 2005. Tokarz M., Ćwiczenia z wnioskowania i argumentacji. Tychy, 2006. Ziembiński Z., Logika praktyczna. Warszawa, 1996. |
| Zakres tematów: |
1. Klasyczny rachunek zdań (KRZ): spójniki logiczne, logiczne schematy zdań, tabelki zero-jedynkowe, tautologie, wynikanie logiczne. 2. Podstawowe wiadomości o zbiorach: zależności między zbiorami, działania na zbiorach. 3. Sylogistyka: zdania kategoryczne, budowa sylogizmu, sprawdzane poprawności sylogizmów. 4. Elementy klasycznego rachunku predykatów (KRP): język KRP, kwantyfikatorowe schematy zdań, modele i kontrmodele formuł. 5. Nazwy i definicje: klasyfikacja nazw, stosunki zakresowe między nazwami, rodzaje definicji, poprawność definicji, tworzenie definicji. 6. Podziały i klasyfikacje. |
| Metody dydaktyczne: |
Ćwiczenia, dyskusja. Liczba godzin dydaktycznych: 30 h. Liczba godzin pracy własnej studenta: 70 h. Opis pracy własnej studenta: lektura uzupełniająca, samodzielne rozwiązywanie zadań. |
| Metody i kryteria oceniania: |
Zaliczenie Kod: DFC_m18_w_2 Osoba przeprowadzająca weryfikację: dr hab. Krzysztof A. Wieczorek Wymagania merytoryczne: Obecność i aktywność na ćwiczeniach. Zaliczenie sprawdzianów pisemnych. Sprawdziany są zapowiedziane z dwutygodniowym wyprzedzeniem. Zawierają zadania podobne do tych, jakie były omawiane na wykładach i ćwiczeniach. Kryteria oceny: Ocena: bardzo dobry (5.0) – średnia ocen ze wszystkich sprawdzianów (zaliczonych w pierwszym terminie) powyżej 4,5; obecność i duża aktywność na zajęciach. Ocena: dobry plus (4.5) – średnia ocen ze wszystkich sprawdzianów (zaliczonych w pierwszym terminie) powyżej 4,0; obecność i aktywność na zajęciach. Ocena: dobry (4.0) – średnia ocen ze wszystkich sprawdzianów powyżej 3,5; obecność i aktywność na zajęciach. Ocena: dostateczny plus (3.5) – średnia ocen ze wszystkich sprawdzianów powyżej 3,0; obecność na zajęciach. Ocena: dostateczny (3.0) – zaliczenie wszystkich sprawdzianów, obecność na zajęciach. |
| Uwagi: |
Przedmioty obowiązkowe, 1 sem. Doradztwo filozoficzne i coaching, studia stacjonarne I stopnia |
Właścicielem praw autorskich jest Uniwersytet Ślaski w Katowicach.
