Victoria Kamasa - Logika (Komunikacja i Zarządzanie)
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 17:32, 13 lut 2012 (edytuj) Kamasa (Dyskusja | wkład) (→LOGIKA) ← Poprzednia edycja |
Aktualna wersja (14:54, 28 lut 2012) (edytuj) (undo) Kamasa (Dyskusja | wkład) (→LOGIKA) |
||
| (4 intermediate revisions not shown.) | |||
| 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: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] | ||
| - | **[http://www.slideshare.net/slideshow/embed_code/10215619 Zadania - tautologie, kontrtautologie, zbiory zdań semantycznie sprzecznych] | + | **[http://www.slideshare.net/slideshow/embed_code/10215619 '''Zadania do wyliczenia na dyżur''' - tautologie, kontrtautologie, zbiory zdań semantycznie sprzecznych] |
| *[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=log6wniosk-111124103737-phpapp02&stripped_title=log6-wniosk-10310517&userName=VictoriaKamasa Wnioskowania] | *[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=log6wniosk-111124103737-phpapp02&stripped_title=log6-wniosk-10310517&userName=VictoriaKamasa Wnioskowania] | ||
| - | **[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=log6wnioskzad-111124110555-phpapp02&stripped_title=log6-wniosk-zad&userName=VictoriaKamasa Zadania] | + | **[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] | ||
| + | **[http://static.slidesharecdn.com/swf/ssplayer2.swf?doc=log10krpzadania-120227045902-phpapp02&stripped_title=log10-krp-zadania&userName=VictoriaKamasa '''Zadania na dyżur''' - predykaty] | ||
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
