Metoda aksjomatyczna

full text pdf

full text pdf

Rachunki sekwentów

Rachunki sekwentów

1 i 2 wykład, 5, 8 i 12 października 2015

1 i 2 wykład, 5, 8 i 12 października 2015

Tematy zajęć 1-13

Tematy zajęć 1-13

Logika 11-14

Logika 11-14

Gödel a Teza Churcha

Gödel a Teza Churcha

streszczenia

streszczenia

Egzamin - Zakład Logiki Stosowanej

Egzamin - Zakład Logiki Stosowanej

1 Twoje pragnienia 2 Metoda aksjomatyczna w KRZ 3 Relacje

1 Twoje pragnienia 2 Metoda aksjomatyczna w KRZ 3 Relacje