Logika PK-SL>Logika
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
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: