[xoxo]

Siemka,

Skąd wziąć skrypt do logiki o którym mowa w listach zadań?

[shawnzy]

http://ksiegarnia.ue.wroc...formatykow.html

lub biblioteka ;)

[KrzysiekWu]

Tja... Tylko open source!!


http://tinyurl.com/5twgzx8

Na ile to się pokrywa z wersja papierową?

[pit3r]

[Jerzu]

KrzysiekWu, z tego, co przelotnie patrzę, to niewiele.

[KrzysiekWu]

A udostępnił może jakiś sylabus? Potrzebuję do podania o przepisanie oceny. Albo powiedział jakie rozdziały z książki nas obowiązują?

[killaruna]

Muszę Ciebie zasmucić - te zajęcia to jazda bez trzymanki. Jednego dnia możesz usłyszeć historię o prawdziwości Biblii i istnieniu Boga, innym razem natrafisz na rozważania, czy Zosia lubi Jasia, skoro lubi piwo.

Cóż, pozostaje Ci jedynie zaznajomić się chyba ze skryptem: W. Ostasiewicz, "Logika dla informatyków". Tak ogółem:

Klasyczny rachunek zdań; Wnioskowanie dedukcyjne; Wybrane problemy metalogiczne; Rachunek predykatów. Rachunek rezolucyjny; Teorie dedukcyjne; Bazy wiedzy i programowanie logiczne; Logika i algorytmika; logiki nieklasyczne.

[farbowanyaniol]

KrzysiekWu, a co do przepisania oceny... nie licz na to...

Ludzie z uniwerku wrocławskiego z informatyki nie mogą przepisać, bo tylko przeglądał "ich" książki z logiki i "to nie jest logika, to nie jest logika, to nie jest logika, tu nie ma nic z logiki"

Chyba musisz polubić jego książkę