Victoria Kamasa - Logika (Komunikacja i Zarządzanie)
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 14:53, 28 lut 2012 (edytuj) Kamasa (Dyskusja | wkład) (→LOGIKA) ← Poprzednia edycja |
Aktualna wersja (14:54, 28 lut 2012) (edytuj) (undo) Kamasa (Dyskusja | wkład) (→LOGIKA) |
||
| Linia 5: | Linia 5: | ||
| *[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=logwwstpzaoczni-120117024248-phpapp02&stripped_title=log-w-wstpzaoczni&userName=VictoriaKamasa Ćwiczenia] | *[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=logwwstpzaoczni-120117024248-phpapp02&stripped_title=log-w-wstpzaoczni&userName=VictoriaKamasa Ćwiczenia] | ||
| **[[Media:Log11_wyn_zaocz.pdf|'''Wyniki kolokwium''']] | **[[Media:Log11_wyn_zaocz.pdf|'''Wyniki kolokwium''']] | ||
| - | **[[Media:Log11_zaocz_popr.pdf|'''Wyniki poprawki''']] | + | **[[Media:Log_11_zaocz_popr.pdf|'''Wyniki poprawki''']] |
| *[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=drzewa09-111013054705-phpapp02&stripped_title=drzewa-09&userName=VictoriaKamasa Drzewa semantyczne - wprowadzenie] | *[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=drzewa09-111013054705-phpapp02&stripped_title=drzewa-09&userName=VictoriaKamasa Drzewa semantyczne - wprowadzenie] | ||
| *[http://www.slideshare.net/slideshow/embed_code/10153496 Tautologie, kontrtautologie, zbiory zdań semantycznie sprzecznych] | *[http://www.slideshare.net/slideshow/embed_code/10153496 Tautologie, kontrtautologie, zbiory zdań semantycznie sprzecznych] | ||
Aktualna wersja
[edytuj] 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
