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

Matematička logika...literatura

[es] :: Matematika :: Matematička logika...literatura

[ Pregleda: 1940 | Odgovora: 4 ] > FB > Twit

Postavi temu Odgovori

Autor

Pretraga teme: Traži
Markiranje Štampanje RSS

nmcyber
Novi Sad, Srbija

Član broj: 187754
Poruke: 39
*.dynamic.sbb.rs.



+1 Profil

icon Matematička logika...literatura10.11.2010. u 11:17 - pre 163 meseci
Jel zna neko neku dobru literaturu iz matematičke logike...gde su zadaci lepo objašnjeni...Imam na faxu taj predmet... kolokvijum mi se bliži a ja skoro ništa ne kontam...
Presnimavanje VHS na DVD... http://www.nmcyber.in.rs/
Oglasi Novi Sad http://oglasins.com
Oglasi Beograd http://oglasibg.com
Facebook relamiranje http://oglasavanje.in.rs
 
Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8632
212.200.65.*



+2790 Profil

icon Re: Matematička logika...literatura10.11.2010. u 15:35 - pre 163 meseci
Moraš da kažeš koje oblasti ti trebaju. Uzgred, gde studiraš i šta?
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.
 
Odgovor na temu

nmcyber
Novi Sad, Srbija

Član broj: 187754
Poruke: 39
*.dynamic.sbb.rs.



+1 Profil

icon Re: Matematička logika...literatura10.11.2010. u 18:27 - pre 163 meseci
Studiram informatiku na PMF-u u Novom Sadu...treba mi za predmet "Teorijski osnovi informatike"...radimo iskazni i predikatski račun...
Presnimavanje VHS na DVD... http://www.nmcyber.in.rs/
Oglasi Novi Sad http://oglasins.com
Oglasi Beograd http://oglasibg.com
Facebook relamiranje http://oglasavanje.in.rs
 
Odgovor na temu

cikin
ucenik

Član broj: 293755
Poruke: 99
*.amres.ac.rs.



+1 Profil

icon Re: Matematička logika...literatura15.11.2012. u 23:14 - pre 139 meseci
jel moze neko da uradi u L(iskaznom racunu),probao sam sve ne znam....
 
Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8632
*.3gnet.mts.telekom.rs.



+2790 Profil

icon Re: Matematička logika...literatura16.11.2012. u 08:58 - pre 139 meseci
Probaj da dokažeš kontrapoziciju, koja se posle primene pravila dedukcije svodi na

.

Obzirom na

(1) ,

svodi se na

(2) ,
(3) .

(2) je trivijalno. (3) se prema (1) svodi na (2).

Kako dokazati (1)? Pa važi

,
,

obzirom na

(4) , važi

,

odakle sledi (1). (4) se lako dokazuje na osnovu modus ponensa, treće aksiome i

(5) ,

odnosno po pravilu dedukcije

.

No, ovo se lako izvodi ako znamo da

i .

Primenom prve aksiome i pravila dedukcije izvodi se da važi

,

a na osnovu dvostruke primene modus ponensa i treće aksiome

,

odakle trivijalno sledi prvi deo. Na osnovu toga i pravila dedukcije je

,

pa je na osnovu modus ponensa i treće aksiome

,

odakle sledi drugi deo.

[Ovu poruku je menjao Nedeljko dana 16.11.2012. u 15:38 GMT+1]
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.
 
Odgovor na temu

[es] :: Matematika :: Matematička logika...literatura

[ Pregleda: 1940 | Odgovora: 4 ] > FB > Twit

Postavi temu Odgovori

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