نتایج جستجو

...، یک '''تابع مرتبهٔ بالاتر''' {{به انگلیسی|Higher-order function}}، [[تابع|تابعی]] است که حداقل یکی از شروط زیر را داشته باشد: ...یفرانسیلی]] در [[حسابان]] که نگاشتی از یک تابع به [[مشتق]] آن تابع (که خود تابعی دیگر است) برقرار می‌کند، نمونه‌ای متداول از این گونه توابع است. ...

در میان استراتژی‌های ارزیابی در [[نظریه زبان‌های برنامه‌نویسی|نظریهٔ زبان‌های برنامه‌نویسی]]، '''ارزیابی کندرو''' یا '''فراخوانی به هنگام نیاز''' استراتژ ...[ارزیابی تندرو]] یا استراتژی موکد قرار دارد. این استراتژی ارزیابی در بیشتر زبان‌های برنامه‌نویسی مورد استفاده قرار می‌گیرد. به‌طور خلاصه، در این ارزیابی برخلاف ...

...ساخته‌شده توسط ما، از نگاشت و کاهشی سرچشمه گرفت که در لیسپ و سایر زبان‌های تابعی وجود دارد." -[http://labs.google.com/papers/mapreduce.html "نگاشت‌کاهش: ساد [[کتابخانه(نرم‌افزار)|کتابخانه‌هایِ]] نگاشت‌کاهش برای زبان‌های [[سی++]] و [[سی‌شارپ]]، [[ارلنگ(زبان برنامه‌نویسی)|ارلارج]] ٬[[جاوا (زبان ب ...

wier دو خصوصیت توابع ترکیب را بیان کرد: خطی بودن و منظم بودن. تابعی که به صورت <math>f(x_1, ..., x_n) = ...</math> تعریف شده خطی است [[اگر و تن (MGها) است. زبان‌های ایجاد شده با LCFRS (و معادل‌های ضعیف آنها) را می‌توان به چند جمله‌ای زمانی ...

...e) معرفی شد. این ماشین، طیف گسترده‌ای از [[فرمالیسم گرامر نیمه حساس به متن|زبان‌های نیمه حساس به متن]] (به انگلیسی: [[:en:Mildly_context-sensitive_grammar_form ...نخی، نسخه‌ای گسترده‌تر و ساده‌تر از ماشین‌هایی است که قبل از آن برای تجزیه زبان‌های نیمه حساس به متن پیشنهاد شده بودند. از این قبیل ماشین‌ها می‌توان به اتوماتا ...

'''atan2''' عنوان تابعی در [[زبان‌های برنامه‌نویسی]] است که برای بدست آوردن [[آرک‌تانژانت]] به کار می‌رود، با این در اکثر پیاده‌سازی‌هایی که از این تابع در زبان‌های برنامه‌نویسی مختلف انجام شده است، y آرگومان اول و x آرگومان دوم تابع است. ه ...

...ف رسمی پیچیدگی مدار یچیدگی اندازه مدار یک زبان رسمی <math>A</math> به صورت تابعی <math>t:\mathbb{N}\to\mathbb{N}</math> تعریف می‌شود که طول بیت ورودی <math> ...له‌ای تحت شرایط خاصی برای خانواده مدارهای استفاده‌شده اثبات شده است .اولین تابعی که برای آن کران پایین فوق‌چندجمله‌ای مدارها نشان داده شد، تابع زوجیت است که ...

|paradigm=[[array programming|array]]، [[برنامه‌نویسی تابعی]]، [[برنامه‌نویسی ساخت‌یافته]]، [[برنامه‌نویسی پودمانی]] ...درک بعضی از برنامه‌هایی که به زبان APL نوشته شده‌اند، زمان زیادی لازم است. زبان‌های کمی وجود دارند که عملیات آرایه‌ای آن‌ها به وسعت APL باشد. ...

...همچون [[مرتب‌سازی شمارشی]]، در [[زبان برنامه‌نویسی|زبان‌های برنامه‌نویسی]] تابعی در تشکیل پایه‌ای برای اسکن [[تابع مرتبه‌بالا|توابع مرتبه بالا]] و در [[الگو نحوه پیاده‌سازی جمع پیشوندی در زبان‌های جاوا، پایتون و سی {به انگلیسی:به ترتیب:C, python, java} نشان داده شده‌است. ...

...ن در طیف گسترده‌ای از حوزه‌های کاربردی از جمله [[بیوانفورماتیک]]، [[پردازش زبان‌های طبیعی|پردازش زبان طبیعی]]، [[بازشناسی گفتار|تشخیص گفتار]] و بینایی رایانه ا برچسب‌گذاری دنباله دسته‌ای از مسائل رایج در [[پردازش زبان‌های طبیعی|پردازش زبان طبیعی]] است، جایی که داده‌های ورودی اغلب دنباله هستند (به ...

{{ادغام از|زبان‌های پشته‌ای عیان}} ...رائه می‌دهد. کلاس زبان دوم به‌طور صحیح بین [[زبان منظم|زبان‌های منظم]] و [[زبان‌های مستقل از متن قطعی]] است. از زمان معرفی آنها در سال ۲۰۰۴ تحقیقات زیادی در ای ...

برای هر کلمه ی ''w'' در <math>\Sigma^*</math>، <math>T_w:Q\to Q</math> را تابعی قرار دهید که به صورت بازگشتی برای تمام <math>q \in Q</math> به صورت زیر تعر [[رده:زبان‌های صوری]] ...

== برنامه‌نویسی تابعی == ...قط اجازه می‌دهند داده‌های جدید ساخته شود. با این حال، کامپایلرهای زبان‌های تابعی خوب اغلب زمانی که یک شیء ساخته شده بسیار شبیه به شیء موجود باشد، تشخیص می‌د ...

...ارتی]] دانشمند کامپیوتر آمریکایی در اواخر دهه ١٩۵٠ اولین زبان برنامه نویسی تابعی را در [[مؤسسه فناوری ماساچوست|انستیتوی فناوری ماساچوست]] برای کامپیوتر های ...رکیب تابع|ترکیب]] [[رویه (علوم رایانه)|توابع]] ساخته می‌شوند. برنامه‌نویسی تابعی یک رویکرد [[برنامه‌نویسی اعلانی|برنامه‌نویسی اعلانی است]] که در آن تعریف تو ...

...'''دی ال''') خانواده‌ای از زبان‌های [[بازنمود دانش|نمایش دانش]] است. بیشتر زبان‌های DL ها رساتر از [[منطق گزاره‌ای]] هستند اما رسایی کمتری نسبت به [[منطق مرتبه * معکوس، [[رابطه ترایا|ترایا]] و تابعی بودن.<ref name=":1"/> ...

...ایانش‌پذیری]] ثابت کرده‌است که این زبان‌های فقط بازگشتی از نظر ریاضی برابر زبان‌های دستوری هستند، یعنی اینکه مسائل را بدون نیاز به <code>while</code> و <code>f ...وز مورد استفاده‌اند تعریفی مستقیم از توابع بازگشتی در خود دارند. وقتی چنین تابعی فراخوانی می‌شود، کامپیوتر(برای اکثر زبان‌هایی که پشته دارند) یا خود [[کد زب ...

...لامبدا است. هر عبارت لامبدا یک نقطه ثابت دارد، و یک ترکیب‌کننده نقطه ثابت تابعی است که یک عبارت لامبدا را به عنوان ورودی می‌گیرد و نقطه ثابت آن عبارت را به در معناشناسی دنوتاسیونال زبان‌های برنامه‌نویسی، حالت خاصی از قضیه ناستر-تارسکی برای تعیین معناشناسی تعاریف با ...

...ذیرد و یک پارسر جدید را به عنوان خروجی برمی‌گرداند. در این زمینه، یک پارسر تابعی است که رشته‌هایی را به عنوان ورودی می‌پذیرد و ساختارهایی را به عنوان خروجی ...ن دادند که از ترکیب کننده‌های تجزیه گر می‌توان برای ساختن مفسرهای [[پردازش زبان‌های طبیعی|زبان طبیعی]] استفاده‌کرد. همچنین گراهام هاتن در سال ۱۹۹۲ از توابع مرت ...

...</math> به مسئلهٔ <math>B</math> می‌نامند. فرایند کاهش را به صورت تئوری با تابعی تعریف می‌کنند که در ورودی مسئله‌ای در قالب مسئلهٔ <math>A</math> را می‌خوان ...ا در نظر بگیرید. کاهش‌پذیری <math>A</math> به <math>B</math> به معنای وجود تابعی است که دامنهٔ آن مجموعهٔ <math>A</math> و تابع هدف آن مجموعهٔ <math>B</math ...

در برخی از زبان‌های برنامه‌نویسی شروع i و j از ۰ می‌باشد. [[دترمینان]]، در [[جبر خطی]] به تابعی گفته می‌شود که هر ماتریس مربعی را (به عبارتی هر ماتریس را) به یک عدد نسبت م ...