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

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

 Пĕрлехи хыпарсем 

 Çавăн пекех 
 Райс теореми
 Чарăну проблеми

 Шутланаяслăх теорин никĕсне тăваканĕсем
 Курт Гёдель
 Алан Тьюринг
 Стивен Клини
 Алонзо Чёрч
 Эмиль Пост

 Каçăсем 
 Шутланаяслăх теори курсĕсем 

Категори:Алгоритмсен теорийĕ