Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.

Propositional Logic

[es] :: Veštačka inteligencija :: Propositional Logic

[ Pregleda: 1999 | Odgovora: 0 ] > FB > Twit

Postavi temu Odgovori

Autor

Pretraga teme: Traži
Markiranje Štampanje RSS

FelipeKaetano
birubiru

Član broj: 283361
Poruke: 1
*.9.14.vie.surfer.at.



Profil

icon Propositional Logic14.04.2011. u 23:08 - pre 157 meseci
POkusavam da rijesim neke zadatke u ovoj oblasti, gdje je pomocu direct method, refutation method, natural reasoning, resolution, resolution refutation potrebno rijesiti odredjene zadate vrijednosti, odnosno tautologije. Npr.

Using Direct Method and Refutation Method prove the following: P v Q, ¬P, ¬Q |=R


Ima li neko neki dobar link gdje bi se vise o prakticnoj primjeni direct method i refutation method u propositional logici moglo saznati?
 
Odgovor na temu

[es] :: Veštačka inteligencija :: Propositional Logic

[ Pregleda: 1999 | Odgovora: 0 ] > FB > Twit

Postavi temu Odgovori

Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.