Kompiuterių programinė įranga arba tiesiog programinė įranga - tai bet koks mašininiu būdu skaitomų instrukcijų rinkinys, nurodantis kompiuterio procesoriui atlikti konkrečias operacijas. Kompiuterių programinė įranga skiriasi nuo kompiuterių techninės įrangos, kuri yra fizinis kompiuterių komponentas. Kompiuterių techninei ir programinei įrangai reikia viena kitos, ir nė viena iš jų negali būti realiai naudojama be kitos. Naudojant muzikos analogiją, techninė įranga yra tarsi muzikos instrumentas, o programinė įranga - kaip natos, kuriomis grojama tuo instrumentu. Kompiuterių programinę įrangą sudaro kompiuterių programos, bibliotekos ir su jomis susiję dokumentai. Žodis programinė įranga kartais vartojamas ir siauresne prasme, reiškiančia tik taikomąją programinę įrangą. Programinė įranga saugoma kompiuterio atmintyje ir yra neapčiuopiama, t. y. jos negalima paliesti. Žemiausiu lygmeniu vykdomąjį kodą sudaro mašininės kalbos instrukcijos, būdingos atskiram procesoriui - paprastai centriniam procesoriui (CPU). Mašininę kalbą sudaro dvejetainių reikšmių grupės, reiškiančios procesoriaus instrukcijas, kurios keičia kompiuterio būseną iš ankstesnės. Pavyzdžiui, instrukcija gali pakeisti tam tikroje kompiuterio atminties vietoje saugomą reikšmę - poveikis, kurio naudotojas tiesiogiai nepastebi. Instrukcija taip pat gali (netiesiogiai) sukelti ką nors kompiuterio sistemos ekrane - būsenos pokytį, kuris turėtų būti matomas naudotojui. Procesorius vykdo instrukcijas tokia tvarka, kokia jos yra pateiktos, nebent jam būtų nurodyta "peršokti" prie kitos instrukcijos arba jis būtų nutrauktas. Mašinine kalba parašyta programinė įranga vadinama "mašininiu kodu". Tačiau praktikoje programinė įranga paprastai rašoma aukšto lygio programavimo kalbomis, kuriomis žmonėms lengviau ir efektyviau naudotis (jos artimesnės natūraliai kalbai) nei mašinine kalba. Aukšto lygio kalbos į mašinų kalbą verčiamos naudojant kompiliaciją, interpretaciją arba jų derinį. Programinė įranga taip pat gali būti parašyta žemo lygio asemblerio kalba, iš esmės tai yra neaiškus mnemoninis mašininės kalbos atvaizdavimas naudojant natūralios kalbos abėcėlę. Surinkimo kalba į mašininį kodą verčiama naudojant asemblerį.