To nie ma tak że dobrze, albo że niedobrze

Opis

Jak powiedzieć "i tak i nie" używając logiki matematycznej jeśli do dyspozycji mamy tylko prawdę i fałsz? No właśnie mamy więcej niż tylko te dwa stany. Na tych warsztatach będzie o kilku logikach wielowartościowych (3 lub 4 wartości) oraz o innych systemach logicznych, np. logice rozmytej, modalnej oraz tzw. default logic. Trochę dowodów, sporo rozumowania, dużo dziwnych krzaczków.

Wymagania

Logika wielowartościowa wymaga znajomości bardziej podstawowej, dwuwartościowej, logiki. Wystarczą podstawy: operatory, podstawowe prawa takie jak prawo de Morgana czy podwójnego zaprzeczenia, umiejętność napisania tablicy prawdy. Te dokładnie rzeczy są w zadaniach kwalifikacyjnych, a dodatkowo w nich pojawi się K3 - najbardziej podstawowa logika trójwartościowa (spokojnie, jest w pełni wyjaśniona w zadaniach).

Przydatne rzeczy

Do rozwiązania zadań kwalifikacyjnych potrzebna jest podstatowa wiedza z logiki dwuwartościowej, a zdobyć ją można chociaż u Matemaksa albo gdziekolwiek indziej po wpisaniu "logika dwuwartościowa".

Kontakt

email: kaniakozikowska@gmail.com