Šabloniziranje logičkih (matematičkih) postupaka,a sa svrhom praktičke primjene je opravdano.Naprimjer za projektovanje nekih automata koji sami rade.

Ako se tokom predavanja ne navode primjeri jednostavne, primjene to je žalosno za dotičnog predavača.

Ako su opisani primjeri praktične primjene,a nisu u opsegu interesovanja slušaoca kursa,onda je to uporedivo sa ovim:

Lopata je izmišljena da zamijeni i prevaziđe ručno prebacivanje materijala dlanovima.Ko ne radi lopatom taj mu je izum bezvezan.

Imali smo mi i konkretan primer kada postoji automat sa dva imena boksera i postoje tri sudije koje glasaju sa tasterima A-Jedan bokser B-drugi bokser. I sada, na osnovu njihovog glasanja mi trebamo napraviti aparat da ako vecina izglasa A , da se uključi svetlo na A bokseru, a ako na B da se ukljuci svetlo kod B boksera. I to je kapiram, ali on je sam deo gde se primenjuje matematicka logika ubrzao i prosto neobjasnjeno kazao, ovo se moze zapisati drugacije i to ovako, a pritom nije objasnio zasto bas tako. I onda je preskocio ceo deo algebarskog prevodjenja na prostiji oblik i zapisao konacan modul te logicke formule.

Imaš tri sudije. je iskaz da je -ti sudija glasao za boksera A. Bokser A je pobedio u slučaju

.

Ahaaam. Meni je sve ovo lakše da gledam iz ugla javascript jezika. Znali napišem sve mogućnosti koje bi rezultovale da bokser A pobedi? A šta je sa bokserom B?

Imaš implikacije: ako je onda "pali svetlo A" , ako je sve to za B, onda "pali svetlo B"

Jednostavno bokser B je pobedio ako bokser A nije pobedio.

Hvala, malo bolje sada razumem sve ovo :D