Victoria Kamasa - Logika
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 11:57, 21 gru 2015 (edytuj) Kamasa (Dyskusja | wkład) (→LOGIKA) ← Poprzednia edycja |
Aktualna wersja (10:29, 21 sty 2016) (edytuj) (undo) Kamasa (Dyskusja | wkład) (→LOGIKA) |
||
| Linia 20: | Linia 20: | ||
| **[http://www.slideshare.net/slideshow/embed_code/key/ueh8sjwsNgj37g Zadania] | **[http://www.slideshare.net/slideshow/embed_code/key/ueh8sjwsNgj37g Zadania] | ||
| *[http://www.slideshare.net/slideshow/embed_code/key/qlFBwhkAYOBvjs Dowodzenie] | *[http://www.slideshare.net/slideshow/embed_code/key/qlFBwhkAYOBvjs Dowodzenie] | ||
| + | *[http://www.slideshare.net/slideshow/embed_code/key/zDwWItTzJpOKRH Klasyczny rachunek predykatów. Wprowadzenie. Drzewa semantyczne] | ||
Aktualna wersja
Logika | Proseminarium licencjackie (JK) | Semiotyka logiczna | Statystyka (JiNoI)
[edytuj] LOGIKA
- Wprowadzenie
- O związkach logicznych, część 1
- związkach logicznych, całość
- kolokwium - 10.11.2015
- kolokwium należy poprawić najpóźniej do 22.12.2015.
- Drzewa semantyczne
- Tautologie, kontrtautologie, zbiory zdań semantycznie sprzecznych
- Wnioskowania
- Sylogizmy
- Dowodzenie
- Klasyczny rachunek predykatów. Wprowadzenie. Drzewa semantyczne
