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

Mathematica 4.0 ili Maple 8.0 i logički izrazi

[es] :: Matematika :: Mathematica 4.0 ili Maple 8.0 i logički izrazi

[ Pregleda: 2958 | Odgovora: 1 ] > FB > Twit

Postavi temu Odgovori

Autor

Pretraga teme: Traži
Markiranje Štampanje RSS

kajla
Milorad Janković
Beograd

Član broj: 445
Poruke: 909
*.rcub.bg.ac.yu.



+2 Profil

icon Mathematica 4.0 ili Maple 8.0 i logički izrazi03.03.2005. u 09:19 - pre 232 meseci
Da li neko zna da li je moguće i kako u nekom od dva gore pomenuta programa proveriti da li je data logička formula tautologija, nalaziti modele i kontramodele, da prebacuje formule u Konjuktivnu normalnu formu i Disjunktivnu normalnu formu?

Ako nije moguće ni u jednom od ova dva programa, da li neko zna gde je moguće raditi takve stvari?

poz.
 
Odgovor na temu

Dexter_of_Nis
Marko Petkovic
Nis

Član broj: 5303
Poruke: 16
*.nat-pool.ni.sbb.co.yu.



Profil

icon Re: Mathematica 4.0 ili Maple 8.0 i logički izrazi04.03.2005. u 21:41 - pre 232 meseci
Moze, u Mathematici 5.0 (btw izasla je i verzija 5.1 :), mozes da skines sa neta trial verziju) to ti radi fja LogicalExpand (proverava da li je formula tautologija, ako nije onda nalazi DNF). Za ovo ostalo, ne znam napamet, potrazi u helpu.

RgdZ
DeXteR[ity]!!!!
 
Odgovor na temu

[es] :: Matematika :: Mathematica 4.0 ili Maple 8.0 i logički izrazi

[ Pregleda: 2958 | Odgovora: 1 ] > FB > Twit

Postavi temu Odgovori

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