Victoria Kamasa - Logika (Komunikacja i Zarządzanie)
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 11:02, 27 lut 2012 (edytuj) Kamasa (Dyskusja | wkład) (→LOGIKA) ← Poprzednia edycja |
Wersja z dnia 11:03, 27 lut 2012 (edytuj) (undo) Kamasa (Dyskusja | wkład) (→LOGIKA) Następna edycja → |
||
| Linia 13: | Linia 13: | ||
| *[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=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] | *[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=log11krptkn-120104092920-phpapp02&stripped_title=log11-krp-tkn&userName=VictoriaKamasa KRP - porwanie] | ||
| + | **[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=log10krpzadania-120227045902-phpapp02&stripped_title=log10-krp-zadania&userName=VictoriaKamasa '''Zadania na dyżur''' - predykaty] | ||
Wersja z dnia 11:03, 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
