Шутланаяслăх теорийĕ

Шутланаяслăх теорийĕ, урăхла ăна рекурсивлă функцисен теорийĕ теççĕ — математикăлла логика, алгоритмсен теорийĕ тата информатика чиккисенче аталаннă математика уйрăмĕ. Шутланаяслăх тата шуланаймаслăх ăнлавĕсем тавра аталаннă. Малтанлăха шутланаякан тата шутланайман функцисем тата шутлавăн тĕрлĕ моделĕсем тавра пулса пынă аталану. Халь, шутланаяслăхăн çĕнĕ палăртавĕсем çуралнă май, лаптăк чылай анлăланнă. Аталану математикăлла логика текен ăслăхпа юнашар пулса пырать. Чăн та, пĕринче ĕнентерÿлĕх, тепринче шутланаяслăх ыйтăвĕ малта тăрать. Вĕсем вара пĕр-пĕринпе тачă çыхăннă.