Elementy logiki 2751-BN-S1-1-EL

https://moodle.umk.pl/WNOPIB/course/view.php?id=333 (w cyklu 2021/22Z)

1. Podstawowe pojęcia semiotyki.
2. Definicje klasyczne i aksjomatyczne.
3. Rachunek zdań.
4. Rachunek predykatów.
5. Algebra zbiorów
6. Relacje.
7. Dowody dedukcyjne i indukcyjne.
8. Prawdopodobieństwo.

Efekty uczenia się - wiedza

Student - zna podstawowe pojęcia semiotyki (znak, nazwa, klasyfikacja nazw, zakres i desygnat nazwy) K_W20. - zna pojęcia definicji klasycznej i definicji aksjomatycznej K_W20.

Efekty uczenia się - umiejętności

Student - potrafi sprawdzać tautologiczność formuł metodą tabelkową K_U19. - wykrywa typowe błędy logiczne w definicjach i w rozumowaniu K_U16.

Efekty uczenia się - kompetencje społeczne

Student przywiązuje wagę do jasności i spójności logicznej wypowiedzi .

Metody dydaktyczne podające

- wykład konwersatoryjny

Metody dydaktyczne poszukujące

- ćwiczeniowa

Wymagania wstępne

Matematyka w zakresie matury na poziomie podstawowym

Koordynatorzy przedmiotu

Witold Kraśkiewicz

Kryteria oceniania

Sprawdziany bieżące, kolokwium.
Aby zaliczyć przedmiot, należy uzyskać przynajmniej 50% punktów z kolokwium końcowego. Na ocenę końcową składają się oceny ze sprawdzianów bieżących (50%) i kolokwium końcowego (50%).

Literatura

1. G. Malinowski, Logika ogólna, PWN, Warszawa 2010.
2. B. Stanosz, Ćwiczenia z logiki, PWN, Warszawa 1998 (lub inne wydania).
3. Z. Ziembiński, Logika praktyczna, PWN, wiele wydań.

Więcej informacji

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

Strona przedmiotu 2751-BN-S1-1-EL w USOSweb