Site programming by
Marcin Junczys-Dowmunt
Logowanie / rejestracja
Nawigacja
Strona główna
Historia Zakładu
Pracownicy Zakładu
Badania
Seminarium
Dydaktyka
Publikacje
Linki
Kontakt
Kategorie
Wersje językowe
English
Deutsch
Artykuł
dyskusja
Edytuj
Historia
Victoria Kamasa - Logika (Komunikacja i Zarządzanie)
From Zakład Logiki Stosowanej
Wersja z dnia 20:58, 22 lut 2012;
Kamasa
(
Dyskusja
|
wkład
)
(
różn
)
← Poprzednia wersja
|
Aktualna wersja
(
różn
) |
Następna wersja →
(
różn
)
LOGIKA
Wprowadzenie
O związkach cz. I
O związkach cz. II
ostatnie zadania policzymy wspólnie na następnych zajęciach
Ćwiczenia
Wyniki kolokwium
Drzewa semantyczne - wprowadzenie
Tautologie, kontrtautologie, zbiory zdań semantycznie sprzecznych
Zadania do wyliczenia na dyżur
- tautologie, kontrtautologie, zbiory zdań semantycznie sprzecznych
Wnioskowania
Zadania do wyliczenia na dyżur
- wnioskowania
Dowody, czyli jeszcze trochę zadań do poćwiczenia