informatika

logička ekvivalencija

ako se u tablici istinost dvama elementima podudaraju logičke vrijednosti

matematička logika

dio matematike koji se bavi logičkim zaključivanjem

dijagram tijeka

grafički prikaz algoritma

tautologija

izraz istinit

slijed

jedan ili više koraka koji se izvode jedan za drugim

algoritam

konačan skup koraka koji dovodi do zadanog rješenja

jednostavni izrazi

možemo odmah utvrditi istinost

grananje

odluka koji slijed odabrati s obzirom na uvjet

izjava

osnovni element matematičke logike

logička izjava

osnovni pojam logike

programiranje

postupak stvaranja programa

ponavljanje

sljed algoritamskih koraka koji se provodi određeni broj puta

program

upute računalu kako i što napraviti na programskom jeziku

logička varijabla

zamjena za osnovne izraze

logika

znanost o oblicima ispravne misli i metodama spoznaje