Logika T-KP-SJ>logika-c-4
Klasyczny rachunek zdań
- system założeniowo-dedukcyjny
- uwagi o systemach aksjomatycznych KRZ
- algebra zbiorów
- teoria relacji z formalnymi własnościami relacji
- uwagi o rachunku nazw Arystotelesa
|
W cyklu 2024/2025-L:
Klasyczny rachunek zdań |
Tryb zajęć
Koordynatorzy przedmiotu
W cyklu 2024/2025-L: | W cyklu 2023/2024-L: | W cyklu 2022/2023-L: |
Efekty kształcenia
- znajomość KRZ, algebry zbiorów, podstaw teorii relacji
- umiejętność dowodzenia,
- podstawowa znajomość satruktury systemów aksjomatyczno-dedukcyjnych
- umiejętność logicznego argumentowania
Kryteria oceniania
egzamin końcowy pisemny obejmujący
- zastosowanie metody zero-jedynkowej (1 zadanie)
- dowodzenie tez KRZ (3 zadania)
- ćwiczenie z algebry zbiorów (1 zadanie)
- ćwiczenie dotyczące formalnych własności relacji (1 zadanie)
Literatura
J. Słupecki, L. Borkowski, Elementy logiki matematycznej i teorii mnogości
K. Wieczorek, Wstęp do logiki
|
W cyklu 2024/2025-L:
A. Olszewski, Wykłady logiki klasycznej dla filozofów, skrypt wykładowcy na stronie: academia.edu |
Uwagi
|
W cyklu 2024/2025-L:
Do zaliczenia ćwiczeń brane są pod uwagę: aktywność podczas zajęć, obecność (maksymalnie dwie nieobecności nieusprawiedliwione) i pisemne kolokwium. |
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: