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
Tryb zajęć
Koordynatorzy przedmiotu
W cyklu 2024/2025-L: | W cyklu 2022/2023-L: | W cyklu 2023/2024-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
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: