Logika konputazional

Logika konputazionala informatikara aplikatutako  logika matematikoa da. Oro Har, funtsezkoa da honen erabilera zenbait mailatan: zirkuitu konputazionaletan, programazio logikoan eta Algoritmoen analisian eta algoritmoen optimizazioan (aldi baterako baliabideetan eta baliabide espazialetan).

Konputazio zirkuituak 

Ordenagailu bateko abstrakzio maila txikiena seinale elektriko ezberdinei erantzuten dieten zirkuitu elektronikoz osatuta dago, logika boolearraren ereduak jarraitzen ditu, hau da, ematen zaion sarrera seinalearen arabera balio bat itzultzen duten ate logikoak. Oso sistema konplexuak osatu daitezke oinarrizko zortzi ate logikoekin : AND, OR, Inverter, bufferra, NAND, NOR, XOR eta XNOR. Hauek denak ikur batez eta balio taula batez adierazten dira. besterik gabe den kokatzen diren leku sarrera posible guztiak eta balio eman esanak konporta itzuliko lukeen balioak lauki bat.

Sistema konputazional guztia, oso konplexua izan arren, hizkuntza bitarra soilik ulertzen duten zirkuitu elektronikoz osatuta dago. Logika konputazionala abstrakzio maila baxuetako sistemak modelatzeaz eta optimizatzeaz arduratzen da.

Kanpo estekak 

Logika
Informatika
Programazio hizkuntzen gaiak