چالێنجەکەی وۆڵفرام ئێس کۆمبیناتۆر

کاتێک یەک یاسا هەموو شتێک دەنووسێتەوە: وانەکان لە چالێنجەکەی Wolfram S Combinator

لە کۆتایی ساڵی ٢٠٢٣دا، ستیڤن وۆڵفرام پرسیارێکی سادەی فریودەرانەی ئاراستەی کۆمەڵگەی بیرکاری حیساباتی کرد: ئایا دەتوانرێت یەک پێکەوەگرێدەر - کۆکەرەوەی S - بسەلمێنرێت کە بە تەواوی لەسەر خۆی حیساباتی گشتگیر بەدەست دەهێنێت؟ ئەوەی بەدوایدا هات، تەحەدایەکی کراوە بوو کە چەند مانگێک بوو، کریپتۆگرافەران و لۆژیکناسان و ئەندازیارانی نەرمەکاڵاکانی بۆ ناو یەکێک لە کونە دوپشکە ڕەسەنەکانی زانستی کۆمپیوتەری تیۆری ڕاکێشا. کۆکەرەوەی S کە بە یاسای S x y z = x z (y z) پێناسە کراوە، نزیکەی بە شێوەیەکی پێکەنیناوی کەمترین دەردەکەوێت. بەڵام لەناو ئەو یەک یاسای دووبارە نووسینەوەدا پۆتانسێلی وەهمییکردنی هەر حیساباتێک کە تا ئێستا بیری لێکرابێتەوە، جێگیرکراوە. ئەمە تەنها چیرۆکێک نییە دەربارەی بیرکاری — چیرۆکێکە دەربارەی ئەوەی کە چی ڕوودەدات کاتێک ئاڵۆزییەکان تا ناوەکی کەمنەکراوەکەی دەڕووتێننەوە و بۆت دەردەکەوێت کە سادەیی، کە بە شێوەیەکی دووبارەبووەوە جێبەجێ دەکرێت، دەبێتە هێزێکی بێکۆتایی.

کۆکەرەوەی S: سادەیی وەک هێزێکی سەروو

لۆژیکی تێکەڵاو بە شێوەیەکی سەربەخۆ لەلایەن مۆیسس شۆنفینکڵەوە لە ساڵی ١٩٢٠ داهێنرا و لەلایەن هاسکێل کارییەوە لە ساڵانی ١٩٣٠دا درێژکرایەوە وەک بەدیلێک بۆ لامبدا حیسابات — ڕێگەیەک بۆ وەسفکردنی حیسابکردن بەبێ گۆڕاو. کۆمبیناتۆری S یەکێکە لەو دوو پارچە بنەڕەتییە (لە پاڵ کۆمبیناتۆری K) کە پێویستە بۆ تەواوبوونی تۆرینگ. لەو شوێنانەی کە K بە سادەیی هەڵدەبژێرێت و فڕێی دەدات، S شتێکی زۆر سەرنجڕاکێشتر دەکات: لە یەک کاتدا ئارگومێنتێک بەسەر دوو فەنکشندا دابەش دەکات، کە جۆری خۆبەکارهێنانی دووبارەبووەوە چالاک دەکات کە حیساباتی گشتگیر دەکاتە مەمکین.

تەحەدای وۆڵفرام بە تایبەتی پرسیاری ئەوەی کرد کە ئایا S بە تەنیا - بەبێ تەنانەت K وەک هاوڕێیەک - دەتوانێت ئاڵۆزییەکی تەواو دروست بکات بۆ ئەوەی تۆرینگ لە ژێر هەندێک کۆدکردندا تەواو بێت. وەڵامەکە کە لەلایەن بەشداربووانی کۆمەڵگاوە لە ڕێگەی گەڕانی تەواو و بەڵگەی فەرمی پشتڕاستکرایەوە، نوانس بوو: S بە تەنیا ناتوانێت تەواوبوونی تەواوی تورینگ بەدەستبهێنێت بەبێ هەندێک سەرەتایی زیادە، بەڵام پرۆسەی گەڕانەکە خۆی قووڵایییەکی نائاسایی ئاشکرا کرد لەوەی کە سیستەمەکانی نزیک لە کەمترین شت دەتوانن بەدەستی بهێنن. ئەو زاراوانەی کە تەنیا لە بەرنامەی S دروستکراون فراوانتر بوون بۆ ڕەفتارگەلێک کە هیچ مرۆڤێک نەیدەتوانی پێشبینی بکات بە تەنیا لە یاسای دەستپێکەوە.

ئەمە ئەو تێڕوانینە ناوەندییە کە تەحەداکە لە ڕووی فەلسەفیەوە قووڵ دەکات نەک تەنها لە ڕووی تەکنیکییەوە سەرنجڕاکێش بێت. کەلێنی نێوان پێناسەی سیستەمێک و ڕەفتاریی دەتوانێت لە ڕووی فەلەکییەوە فراوان بێت. وۆڵفرام ئەم دیاردەیەی ناوبردووە "کەمنەکردنەوەی حیساباتی" — ئەو بیرۆکەیەی کە بۆ زۆرێک لە سیستەمەکان، هیچ ڕێگایەکی کورت نییە بۆ ئەوەی بزانین چی دەکەن جگە لە بەڕێوەبردنی هەنگاو بە هەنگاو.

بیرکردنەوەی تێکەڵاو و بۆچی گرنگە لە دەرەوەی ئەکادیمیا

تەحەدای S combinator تەنها مەشقێک نییە بۆ بیرکاران. شێوازێکی بیرکردنەوە بلوری دەکات کە کاریگەری قووڵی لەسەر دیزاینی سیستەم و تەلارسازی ڕێکخراوەیی و کارەکانی بازرگانی هەیە. فەلسەفەی کۆمبیناتۆر دەپرسێت: کەمترین کۆمەڵەی ئۆپەراسیۆنە ئەتۆمییەکان چییە کە هەموو ڕەفتارە خوازراوەکان لێیەوە پێکهاتوون؟ ئەمە ئەو پرسیارەیە کە ئەندازیارانی گەورە لە کاتی دروستکردنی زمانی بەرنامەسازیدا دەیکەن، تەلارسازەکانی گەورە لە کاتی دیزاینکردنی مایکرۆسێرڤیسەکاندا دەیکەن، و بەڕێوەبەرانی بازرگانی گەورە دەبێ لە کاتی دروستکردنی ستاکی کارپێکردنیان بیکەن.

زۆربەی ڕێکخراوەکان پێچەوانەکەی دەکەن. ئەوان ئامرازەکان بەو شێوەیە کۆدەکەنەوە کە ژێرزەمینەکان مۆبیلیات کۆدەکەنەوە - یەک پارچە لە یەک کاتدا، هەریەکەیان کێشەیەکی دیاریکراو چارەسەر دەکەن، تاوەکو کۆی شتەکە قورستر دەبێت لە کۆی بەشەکانی. تیمێکی فرۆشتن CRM دەگرێتەبەر. دارایی سەکۆیەکی فاکتورەکردن دەگرێتەوە. HR ئامرازێکی مووچە دەکڕێت. بەڕێوەبردنی بەلەم داشبۆردێکی تایبەتی خۆی بەدەست دەهێنێت. هەر ئامرازێک لە ڕووی ناوخۆییەوە باشترینە. پێکەوە، ئەوان ئەو شتە دروست دەکەن کە توێژەرانی ئۆپەراسیۆنەکان پێی دەڵێن "قەرزی یەکگرتن" — تێچووی شاراوەی کردنی سیستەمی ناپێکهاتەکراو بۆ قسەکردن لەگەڵ یەکتر.

کۆمبیناتۆری S مۆدێلێکی دەروونی جیاواز پێشکەش دەکات. بیرمەندی کۆمبیناتۆر لەبری ئەوەی بپرسێت "چ ئامرازێک ئەم کێشەیە چارەسەر دەکات؟" ئەم دووبارە چوارچێوەدانە جیاوازییە لە نێوان دروستکردنی کۆمەڵێک چارەسەر و دروستکردنی سەکۆیەک.

چی حیساباتی گشتگیر فێرمان دەکات دەربارەی مۆدیولەکانی بازرگانی

تەواوی تورینگ لە زانستی کۆمپیوتەردا واتە سیستەمێک دەتوانێت هەر سیستەمێکی حیساباتی تر ھاوشێوە بکات بە پێدانی کات و بیرگەی پێویستی. لە ڕووی بازرگانییەوە، چەمکی هاوشێوە تەواوبوونی کارپێکردنە — توانای پلاتفۆرمێک بۆ مامەڵەکردن لەگەڵ هەر ڕەوتی کارێک کە بزنسێک پێویستی پێیەتی، نەک لە ڕێگەی لیستی هەمیشە گەشەسەندوو لە تایبەتمەندییە بولت-ئۆنەکان، بەڵکو لە ڕێگەی مۆدیولەکانی پێکهێنراوی ڕاستەقینە کە داتا، ناسنامە و لۆژیک لە ئاستی بناغەدا هاوبەش دەکەن.

"بەهێزترین سیستەمەکان ئەوانە نین کە زۆرترین تایبەتمەندییان هەیە — ئەوان ئەوانەن کە تایبەتمەندییەکان پێکدەهێنن. ئاڵۆزیی کە لە سەرەتاییە سادە و باش دیزاینکراوەکانەوە سەرهەڵدەدات هەمیشە بەهێزترە لە ئاڵۆزییەکان کە لە سەرەتاوە دیزاین کراوە."

ئەم جیاکارییە لە پراکتیکدا زۆر گرنگە. پلاتفۆرمێک کە مۆدیولەکان بەڕاستی پێکدەهێنن بەو مانایەیە کە داتاکانی CRM ی تۆ بە شێوەیەکی سروشتی دەڕژێتە ناو سیستەمی فاکتورەکەتەوە، کە داشبۆردەکەی شیکارییەکانت دەدات، کە پلانی HR ی تۆ ئاگادار دەکاتەوە. پێویست ناکات داتاکان هەناردە بکرێن و بگۆڕدرێن و دووبارە هاوردە بکرێنەوە. ناسنامەی کڕیار هەمان شتە جا تۆ لە مۆدیۆلی فرۆشتنەوە سەیری بکەیت، سیستەمی حجزکردن، یان کتێبی مووچە. ئەمە دیزاینی پێکهاتەیی — و ئەوەش ئەوەیە کە سیستەمی کارپێکردنی بازرگانی ڕاستەقینە لە باندڵی نەرمەکاڵا جیا دەکاتەوە.

مێوایز بەتەواوی لە دەوری ئەم بنەمایە بنیات نراوە. بە 207 مۆدیول کە CRM، فاکتورەکردن، مووچە، HR، بەڕێوەبردنی بەلەم، شیکاری، ئامرازەکانی لینکی-لە-بایۆ، و سیستەمی حجزکردن دەگرێتەوە، پلاتفۆرمەکە خزمەت بە زیاتر لە 138,000 بەکارهێنەر دەکات لە ئاستی جیهانیدا نەک بە پێشکەشکردنی زۆرترین تایبەتمەندی، بەڵکو بە دڵنیابوون لەوەی ئەو تایبەتمەندیانە لە سەرەتاییە هاوبەشەکانەوە کاردەکەن — مۆدێلی داتا یەکگرتووەکان، بەڕێوەبردنی ناسنامەی بەردەوام، و چینە ئۆتۆماتیکیەکانی پێکهاتەیی کە ڕێگە بە بازرگانییەکان دەدەن دروستکردنی وەرکفڵۆ کە کەس لە مێوایز بە ڕوونی دیزاینی نەکردووە.

تەحەدای بەڵگە: بۆچی دەبێت ئاڵۆزی بەدەست بهێنرێت

یەکێک لە لایەنە فێرکارییەکانی چالێنجەکەی Wolfram S Combinator ئەوە بوو کە چەندە سەلماندی کە پشتڕاستکردنەوەی تەنانەت ئەو ئیدیعایانەی کە بەڕواڵەت سادە بوون. بەشداربووانی کۆمەڵگا سەلمێنەری تیۆرمی ئۆتۆماتیکی، ژماردنی زاراوەی تەواو و ستراتیژییەکانی نووسینەوەی ڕۆمانیان بەکارهێنا. زۆرێک لەو ڕێبازانەی کە بەڵێندەر دەرکەوتن، بە شێوەیەکی نادیار هەڵە دەرچوون. ئەمە تایبەتمەندی سیستەمە پێکهاتەییە بەرزەکانە: ڕەفتارەکانیان لە پێوەردا بەڕاستی سەختە پێشبینی بکرێت تەنها لە یاساکانیانەوە.

بۆ بازرگانییەکان، ئەمە نەخشە دەکات بۆ خاڵێکی ئازاری ئاشنا: تاقیکردنەوەی یەکگرتن. کاتێک دە سیستەمت هەیە کە هەریەکەیان بە شێوەیەکی دروست کاردەکەن بە گۆشەگیری، ناتوانیت وا دابنێیت کە کارلێکەکانیان دروست دەبێت. هەر خاڵێکی نوێ یەکگرتن پۆتانسێلی ڕەفتاری چاوەڕواننەکراو چەند هێندە دەکات. هەر لەبەر ئەمەشە ژمارەی یەکگرتنەکان لە کۆی نەرمەکاڵایەکی ئاسایی کۆمپانیادا بە شێوەیەکی چوارگۆشەیی لەگەڵ ژمارەی ئامرازەکاندا گەشە دەکات — و بۆچی تێچووی یەکگرتن بە بەردەوامی لە تێچووی مۆڵەتدان لە ڕێکخراوە گەورەکاندا زیاترە.

ئەو چارەسەرەی کە تەحەدای کۆمبیناتۆر ئاماژەی پێدەکات، تاقیکردنەوەی زیاتر نییە لە چینە یەکگرتنەکەدا، بەڵکو کەمتر ڕووی یەکگرتنە بۆ دەستپێکردن. کاتێک مۆدیولەکان ژێرخانێکی هاوبەشیان هەیە، کارلێکەکانیان بە هەمان ئەو یاسایانە بەڕێوەدەبرێن کە ڕەفتاری تاکەکەسییان بەڕێوەدەبەن. هیچ چینێکی وەرگێڕان نییە کە هەڵە بێت، هیچ گرێبەستێکی API نییە بۆ شکاندن، هیچ ناتەبایەکی سکیما نییە بۆ چاککردنەوە لە کاتژمێر ٢ی بەیانی پێش پێشکەشکردنی بۆرد.

کاریگەرییە پراکتیکییەکان: بنیاتنانی بزنسەکەت لەسەر سەرەتاییە پێکهاتەکان

چۆن بزنسێک لە ڕاستیدا بیرکردنەوەی کۆمبیناتۆر بە کردەوە بەکاردەهێنێت؟ لێرەدا ئەو بنەما سەرەکیانە دەخەینەڕوو کە لە تەحەدای S combinator ەوە سەرهەڵدەدەن کاتێک وەرگێڕدراون بۆ ستراتیژی کارپێکردن:

• سەرەتا سەرەتاییەکانت بناسە. پێش هەڵبژاردنی ئامرازەکان، نەخشەی شتە سەرەکییەکانی داتاکانت دابنێ — کڕیاران، مامەڵەکان، کارمەندان، سەروەت و سامانەکان، کات — و دڵنیابە کە هەر پلاتفۆرمێک کە وەریدەگریت وەک یەکەکانی پلە یەک و هاوبەش مامەڵەیان لەگەڵ دەکات نەک تۆمارە ناوخۆییەکانی مۆدیول.
• لە ئامرازسازی سەرەتاییدا قووڵی لە فراوانی باشترە. پلاتفۆرمێک کە دە شت بە باشی لە بناغەیەکی هاوبەشەوە ئەنجام بدات بەنرخترە لە بیست ئامرازی تایبەتمەند کە هەریەکەیان یەک شت بە شێوەیەکی نائاسایی دەکەن بەڵام ناتوانن داتای یەکتر ببینن.
• تاقیکردنەوەی پێکهاتەکردن، نەک تەنها تایبەتمەندییەکان. لە کاتی هەڵسەنگاندنی نەرمەکاڵای بازرگانیدا، پرسیارەکە ئەوە نییە "ئایا مۆدیۆلی A تایبەتمەندی X ی هەیە؟" بەڵام "کاتێک من مۆدیولەکانی A و B پێکەوە بەکاردەهێنم، ئایا سیستەمەکە باشتر ڕەفتار دەکات لە هەریەکەیان بە تەنیا؟"
• ئۆتۆماتیکی وەک پێکهاتە مامەڵەی لەگەڵ بکە. بەهێزترین ئۆتۆماتیکیکردن لە پلاتفۆرمی پێکهاتەکراودا سکریپت یان یەکگرتن نین — ئەوان ڕەوتی کارن کە ڕەفتارەکانی مۆدیولەکان بەیەکەوە زنجیر دەکەن، ڕێگە بە ڕووداوێکی حجزکردن دەدەن نوێکردنەوەی CRM دەستپێبکات کە فاکتورەیەک دەستپێدەکات کە هاتنە ژوورەوەی مووچە دەستپێدەکات، هەموو ئەمانە بەبێ دەستێوەردانی دەستی یان کۆدی تایبەتمەند.
• بودجە بۆ سەرهەڵدان. سیستەمی پێکهاتوو ئەو کارانە دەکات کە تۆ پلانت بۆ دانەناوە — و ئەوە تایبەتمەندییەکە نەک هەڵە. شوێنێک لە کارەکانتدا بەجێبهێڵە بۆ دۆزینەوەی ئەو کاریگەرانەی کە پلاتفۆرمەکە چالاکیان دەکات بەڵام کەس بە ڕوونی دیزاینی نەکردووە.

کەمنەبوونەوەی حیساباتی لە کارەکاندا: وەرگرتنی ئەوەی کە ناتوانیت پێشبینی بکەیت

چەمکی کەمنەبوونەوەی حیساباتی وۆڵفرام دەرئەنجامێکی ڕاستەوخۆی کارکردنی هەیە: هەندێک دەرئەنجامی بازرگانی ناتوانرێت لە بنەما یەکەمەکانەوە پێشبینی بکرێت - دەبێت بەڕێوەببرێن. ئەمە شکستی پلاندانان نییە؛ تایبەتمەندییەکی سیستەمی گونجاوی ئاڵۆزە. بازاڕەکان بەم شێوەیە ڕەفتار دەکەن. پەیوەندییەکانی کڕیاران بەم شێوەیە ڕەفتار دەکەن. بە دڵنیاییەوە داینامیکی ڕێکخراوەیی بەم شێوەیە ڕەفتار دەکات.

ئەو بزنسانەی کە زۆرترین ململانێیان لەگەڵ ئەم واقیعەدا هەیە، ئەوانەن کە کۆی کارپێکردنی ڕەق و شکاویان دروستکردووە. کاتێک هەموو ڕەوتی کارێک بە ڕەق کۆد کراوە بۆ ئامرازێکی دیاریکراو، گونجاندن لەگەڵ کەمنەبوونەوەی حیساباتی - لەگەڵ پێشبینینەکردنی ڕاستەقینەی بارودۆخی ڕاستەقینەی بازرگانی - پێویستی بە دووبارە جێبەجێکردنەوەی گرانبەها هەیە. کاتێک کە ڕەوتی کار لە سەرەتاییە نەرمەکانەوە پێکهاتووە، زۆرجار گونجاندن بابەتی ڕێکخستنەوەی پێکهاتە نەک لە سفرەوە بنیات بنرێتەوە.

هەر لەبەر ئەمەشە کە پلاتفۆرمە مۆدیۆلارەکان کە توانای پێکهاتەی ڕاستەقینەیان هەیە تەنها لە ڕووی کارکردنەوە گونجاو نین — لە ڕووی ستراتیژییەوە خۆڕاگرن. بزنسێک کە بە بەهای 138,000 بەکارهێنەر لە زیرەکی پلاتفۆرمی کەڵەکەبوو کاردەکات، وەک چۆن مێوایز دەیکات، بەردەوام پێکهاتەی نوێ دەدۆزێتەوە کە کاردەکەن. ئەو زیرەکییە بەکۆمەڵە بە شێوەیەک ئاوێتە دەبێت کە هیچ پلانێکی ناوخۆیی تاکە کڕیارێک نەیتوانی پێشبینی بکات.

سنوور: لەو شوێنەی کە تێکەڵکەرەکان و AI یەکدەگرن

تەحەدای S combinator وەک وانەیەک لە سنووری سیستەمی کەمترین کۆتایی هات — بەڵام هەروەها وەک نیشاندانی ئەوەی کە تا چەند دەتوانرێت ئەو سنوورانە پاڵ بنرێت. سنووری داهاتوو لە هەردوو زانستی کۆمپیوتەری تیۆری و ئۆپەراسیۆنی بازرگانی پراکتیکیدا، یەکتربڕینی سیستەمی کۆمبیناتۆرییە لەگەڵ فێربوونی ئامێر: پلاتفۆرمەکان کە نەک تەنها ئەرکەکان پێکدەهێنن، بەڵکو فێردەبن کام پێکهاتە زۆرترین کاریگەرە و نوێ پێشنیار دەکەن بۆ بەکارهێنەرەکانیان.

بیر لە سیستەمی کارپێکردنی بازرگانی بکەرەوە کە چاودێری ئەوە دەکات کە کام پێکهاتەی مۆدیول پەیوەندی بە گەشەی داهات، مانەوەی کڕیار، یان کارایی کارکردنەوە هەیە، و بە شێوەیەکی چالاکانە ئەو نەخشانە دەخاتە ڕوو بۆ ئەو بەڕێوەبەرانەی کە هێشتا نەیاندۆزیوەتەوە. ئەمە زانستی خەیاڵی نییە — پەرەسەندنی سروشتی پلاتفۆرمێکە کە یەکخستنی قووڵی داتا و قەبارەیەکی بەس بێت. کاتێک کە مۆدیولەکانی CRM، فاکتورەکردن، شیکاری، HR و بەڕێوەبردنی بەلەمەکانت هەموویان لە سەرەتاییەکانی داتا هاوبەشەکانەوە کاردەکەن، چینەکەی AI دیدێکی یەکگرتووی هەیە بۆ کارەکەت کە هیچ پەچەیەکی ئامرازە یەکگرتووەکان ناتوانێت هاوتا بکات.

کۆکەرەوەی S فێرمان دەکات کە قووڵترین ئاڵۆزیی پێویستی بە کتێبخانەیەکی بێکۆتایی یاساکان نییە. پێویستی بە سەرەتاییە دروستەکان هەیە، کە بە دیسیپلین و خەیاڵ جێبەجێ دەکرێن. بۆ ئەو بزنسانەی کە داواکارییەکانی کارکردنی ساڵی ٢٠٢٥ بەڕێوەدەبەن - بەڕێوەبردنی تیمە دابەشکراوەکان، کڕیارە جیهانییەکان، مۆدێلی داهاتی تێکەڵاو، و چاوەڕوانییەکانی شیکاری کاتی ڕاستەقینە - ئەو پلاتفۆرمەی کە سەردەکەوێت ئەو پلاتفۆرمە نییە کە درێژترین لیستی تایبەتمەندییەکانی هەیە. ئەوە ئەو کەسەیە کە وەک خودی S لەسەر ئەو تێڕوانینە ڕەسەنە بنیات نراوە کە هەموو شتێکی سەرنجڕاکێش لە پێکهاتەوە سەرهەڵدەدات.

ئەو تەحەدایەی کە وۆڵفرام هێنایە ئاراوە، بەڕواڵەت سەبارەت بە بیرکاری بوو. بەڵام قووڵترین وانەکەی هی هەر کەسێکە کە سیستەمەکان بنیات بنێن کە مەبەست لێی بەردەوام بوون: لە بچووکترین کۆمەڵە شتەکانەوە دەست پێ بکە کە بەڕاستی پێکهاتەیان پێکدەهێنن، و متمانە بکە کە ئاڵۆزییەکان ئاگاداری خۆیان دەبن.

پرسیارە زۆرەکان

کۆمبینەیتەری S چییە و بۆچی گرنگە بۆ حیساباتی تیۆری؟

کۆکەرەوەی S کە بە یاسای S x y z = x z (y z) پێناسە کراوە، یەکێکە لە بلۆکە بنەڕەتییەکانی بنیاتنانی لۆژیکی پێکەوەیی شانبەشانی کۆکەرەوەی K. گرنگییەکەی لە مینیمالیزمەکەیدایە — دەتوانێت هەر فەنکشنێکی حیسابکراو دەرببڕێت کاتێک لەگەڵ K تێکەڵ دەکرێت، ئەمەش دەیکاتە بەردێکی بناغەی حیساباتی لامبدا، بەرنامەسازی کارایی و تیۆری فراوانتری حیساباتی گشتگیر.

چالنجی کۆمبیناتۆری وۆڵفرام ئێس بەڕاستی چی بوو کە داوای لە بەشداربووان دەکرد بیسەلمێنن؟

ستیڤن وۆڵفرام تەحەدای کۆمەڵگەی کرد کە بە فەرمی بیسەلمێنن کە تێکەڵکەری S بە تەنیا - بەبێ هاوبەشە تەقلیدییەکەی K - تەواو تۆرینگە. بنەمای ستانداردی SK لە مێژە گشتگیرە، بەڵام جیاکردنەوەی S وەک تاکە سەرەتایی پێویستی بە ستراتیژی سەلماندنی تەواو نوێی هەبوو. بەشداربووان لێکۆڵینەوەیان لەوە کرد کە ئایا خۆبەکارهێنانی S دەتوانێت حیساباتی ئارەزوومەندانە ھاوشێوە بکات، لۆژیکیەکان، تیۆریستەکانی جۆر و ئارەزومەندانی سەلمێنەری تیۆرمی ئۆتۆماتیکی لە سەرانسەری جیهاندا ڕابکێشێت.

چۆن تێگەیشتنەکان لە لۆژیکی تێکەڵاوەوە پەیوەست دەبن بە پلاتفۆرمی نەرمەکاڵا جیهانی ڕاستەقینە؟

بەڵگەکانی وەک ئەمانە تێگەیشتنمان لە کەمترین پێداویستییە ڕەهاکانی حیسابکردن قووڵتر دەکەنەوە — ئەو تێڕوانینانەی کە دەچنە ناو دیزاینی کۆمپایەر، تیۆری جۆر و باشکردنی زمانی کارایی. تەنانەت بەرهەمێکی وەک Mewayz، سیستەمی کارپێکردنی بازرگانی 207 مۆدیول کە لە app.mewayz.com بە نرخی 19 دۆلار/مانگ بەردەستە، لە کۆتاییدا لەسەر چینەکانی ئەبستراکت کاردەکات کە ڕەگیان لە هەمان بنەماکانی حیساباتی گشتگیردا هەیە کە تەحەدای S combinator بۆ فەرمیکردنی داناوە.

دەتوانم بچمە کوێ بۆ شوێنکەوتنی ئاستەنگە بەردەوامەکان لە زانستی کۆمپیوتەری تیۆریدا؟

باشترین خاڵەکانی دەستپێک بریتین لە بەڵگەنامەی ڕەسەنی چالێنجەکەی وۆڵفرام، دەقە ئەکادیمییەکان لەسەر حسابی لامبدا، و کۆمەڵگاکانی وەک لیستی پۆستی بنەماکانی بیرکاری. بۆ ڕێکخستنی توێژینەوەکەت یان بەڕێوەبردنی بزنسێکی پەروەردەی تەکنیکی، Mewayz سیستەمی کارپێکردنی بازرگانی ٢٠٧ مۆدیول پێشکەش دەکات بە نرخی ١٩ دۆلار/مانگ — سەردانی app.mewayz.com بکە بۆ گەڕان بەدوای ئەو ئامرازانەی کە دروستکراون بۆ مامەڵەکردن لەگەڵ هەموو شتێک لە بڵاوکردنەوەی ناوەڕۆکەوە تا بەڕێوەبردنی کڕیار.