Victoria Kamasa - Logika (Komunikacja i Zarządzanie)
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 20:58, 22 lut 2012 (edytuj) Kamasa (Dyskusja | wkład) (→LOGIKA) ← Poprzednia edycja |
Wersja z dnia 11:02, 27 lut 2012 (edytuj) (undo) Kamasa (Dyskusja | wkład) (→LOGIKA) Następna edycja → |
||
| Linia 11: | Linia 11: | ||
| **[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=log6wnioskzad-111124110555-phpapp02&stripped_title=log6-wniosk-zad&userName=VictoriaKamasa '''Zadania do wyliczenia na dyżur''' - wnioskowania] | **[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=log6wnioskzad-111124110555-phpapp02&stripped_title=log6-wniosk-zad&userName=VictoriaKamasa '''Zadania do wyliczenia na dyżur''' - wnioskowania] | ||
| *[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=log7dowodzenie-111202071356-phpapp01&stripped_title=log7-dowodzenie&userName=VictoriaKamasa Dowody, czyli jeszcze trochę zadań do poćwiczenia] | *[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=log7dowodzenie-111202071356-phpapp01&stripped_title=log7-dowodzenie&userName=VictoriaKamasa Dowody, czyli jeszcze trochę zadań do poćwiczenia] | ||
| + | *[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=log8predykaty-120227045911-phpapp01&stripped_title=log8-predykaty-11766478&userName=VictoriaKamasa KRP - wprowadzenie] | ||
| + | *[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=log11krptkn-120104092920-phpapp02&stripped_title=log11-krp-tkn&userName=VictoriaKamasa KRP - porwanie] | ||
Wersja z dnia 11:02, 27 lut 2012
LOGIKA
- Wprowadzenie
- O związkach cz. I
- O związkach cz. II ostatnie zadania policzymy wspólnie na następnych zajęciach
- Ćwiczenia
- Drzewa semantyczne - wprowadzenie
- Tautologie, kontrtautologie, zbiory zdań semantycznie sprzecznych
- Wnioskowania
- Dowody, czyli jeszcze trochę zadań do poćwiczenia
- KRP - wprowadzenie
- KRP - porwanie
