Адамзат программаланган биринчи шайманды ойлоп тапкандан бери эки миңден ашуун программалоо тили жаралган. Жана жыл сайын алардын саны туруктуу өсүүдө. Алар татаал техникалык жабдуулардагы ар кандай шаймандардын ортосунда байланыш түзүүгө жардам берет.
Программалоо тили - бул компьютердик программаларды жазууда колдонулуучу расмий белгилер тутуму. Алар программанын сырткы көрүнүшүн жана компьютер тарабынан аткарылышы керек болгон иш-аракеттерди аныктаган ар кандай эрежелерге (лексикалык, семантикалык жана синтаксистик) баш ийишет. Тандалган предмет чөйрөсүнө ылайыкташтырылган программалоо тилдеринин көп сандаган класстары бар, ал тургай ачык-айкын күлкүлүүлөр бар. Алар эзотерик деп аталат жана иш жүзүндө колдонууга арналган эмес. Мисалы, адабий синтаксиси бар тилдер бар (Шекспир, Ашпозчу), код жазууну кыйындаткан тилдер (Malbolge, ALPACA) же адамгерчиликсиз логика менен - Var'aq (Клингондун логикасын колдонот) Star Trek кинотасмасынан жарыш). Жана башка комикс тилдери, бирок комикстен тышкары профессионалдык тилдер көп. Учурда колдонулуп жаткан негизги класс объектке багытталган тилдер. Бул чакан программаларды жана ири программалык тутумдарды жазууга арналган жогорку деңгээл. Бул класстын негизги өкүлдөрү Java, C #, C ++, Ruby, Python. Логикалык программалоо тилдерин да белгилеп кетүү керек. Алар парадигманы далилдеген автоматтык теоремага жана математикалык логика теориясына негизделген. Логикалык программалоонун эң белгилүү тили - Prolog. Бул жерде биринчи иреттүү предикаттык логика колдонулат. Түзүлгөн тилдердин көптүгүнө жана алардын иштешине карабастан, ар дайым программалык продуктуларды түзүүнүн шаймандарын туура тандоо зарыл. Мисалы, кардар-сервер тиркемесин ишке ашыруу керек болсо, анда, албетте, логикалык тил буга ылайыксыз. Ошондуктан, тапшырманы чечүүгө ылайыктуусун тандап алуу керек.
