LECTORIUM CALCULEMUS

WITOLD MARCISZEWSKI

LOGIKA dla "COLLEGIUM CIVITAS"
2001 / 2002

Z A D A N I A

Zadanie 1 - Zob. Wykład 1.

Zadanie 2. Należy raz jeszcze wykonać zadania 1.1-1.3 z wykładu 1, tym razem stosując odpowiednie algorytmy do rozstrzygnięcia, czy podane wnioskowania są poprawne logicznie (formalnie), oraz na czym polega podobieństwo obu tych rozumowań. Ponadto, poznawszy na tej drodze właściwe odpowiedzi, należy ocenić trafność wcześniejszych rozwiązań. Odpowiedzi, które do tej pory nie zostały złożone na kartkach ani nadesłane e-mailem, należy przysłać jak najszybciej e-mailem

• pisząc w rubryce "temat" (subject): Cnazwisko2
• podając imię i nazwisko NA POCZĄTKU tekstu
• na adres: witmar@calculemus.org