Kazalo:
Opredelitev - Kaj pomeni logika programiranja?
Programska logika je temeljni konstrukt, ki se na računalništvo uporablja na različne obsežne načine.
Programska logika vključuje logične operacije na trdnih podatkih, ki delujejo v skladu z logičnimi načeli in merljivimi rezultati.
Tehopedia razlaga programsko logiko
Izraz programska logika ima svoje korenine v napredku računalništva. Programska logika se je začela samo s "trdo in hitro logiko", sestavljeno v prefinjene algoritme in izraženo v programskih jezikih, kot je Prolog.
Osnovni računalniki so razvili načine, kako ravnati s števili in logičnimi stanji, pri čemer uporabljajo posebne operaterje, ki vodijo do natančnih rezultatov.
Tu je pomembno razlikovanje, da je programska logika in logika na splošno v osnovi postavljena na druge vrste programiranja, ki niso zasnovane na trdi logiki ali merljivih stanjih in rezultatih.
Na primer, modalna logika je po svoji naravi postavljena proti teoretičnim kvantnim operacijam, ki ne zagotavljajo določenega nastavljenega stanja, na katerega lahko računalniki uporabljajo logiko.
Programska logika na splošno temelji na računski logiki, ki jo delijo tako ljudje kot stroji, to je tisto, kar raziskujemo, ko še naprej sodelujemo z novimi tehnologijami. Glede na to bi lahko razvili natančnejše definicije programske logike, povezane z osnovo kode.
