WITOLD MARCISZEWSKI

LOGIKA dla "COLLEGIUM CIVITAS"

---

2001 / 2002

Zadanie na zaliczenie semestru - zob. niżej, po spisie wykładów.

Wykład 1 (7.X)
Problem poprawności logicznej rozumowania
na przykładzie eliminacji członów alternatywy.
Zadanie 1.1-1.3.

Wykład 2 (21.X)
2. Funkcje prawdziwościowe jako elementy algorytmu-zerojedynkowego.

• A. Podstawowe terminy.
• B. Tabelki zerojedynkowe definiujące funkcje prawdziwościowe.

Lektura pomocnicza do wykładu 2: rozdział III Logiki współczesnej.

Wykład 3 (28.X)
3. Algorytm zero-jedynkowy
w procedurze rozstrzygania o poprawności rozumowań.

• A. Co są prawa logiki, czyli tautologie, klasycznego rachunku zdań.
  Algorytm zerojedynkowy do rozstrzygania o tautologiczności.
• B. Badanie poprawności formalnej rozumowań dedukcyjnych algorytmem zero-jedynkowym
  w połączeniu z algorytmem przyporządkowania formuł logicznych do rozumowań.

Wykład 4 (18.XI)
4. Równoważność
jako współzachodzenie warunków wystarczającego i koniecznego.

K o m u n i k a t y

• Zadania.
• Lista osób, które nadesłały rozwiązanie zadania 1.
• Zadanie na zaliczenie semestru - praca domowa:
  Reakcje poddanego obserwacji respondenta
  na krytyczną analizę logiczną jego stereotypów.

Wielcy odkrywcy w logice matematycznej XX wieku (w kolejności od lewej):

David Hilbert (1862-1943), Niemcy,
Kurt Gödel (1906-1978), Austria,
Alan M. Turing (1912-1954), Anglia,
Alfred Tarski (1901-1983), Polska.

Do początku strony