نتایج جستجو

...است). یعنی، یک '''بند'''، بسته به نوع زمینه، یک [[فصل منطقی|فصل]] یا [[عطف منطقی|عطف]] متناهی از لیترال‌ها است. بندها به صورت معمول اینطوری نوشته می‌شوند (ک [[رده:برنامه‌نویسی منطقی]] ...

...rx.ist.psu.edu/viewdoc/download?doi=10.1.1.104.5859&rep=rep1&type=pdf "مدل برنامه‌نویسی نگاشت‌کاهشِ گوگل"] — مقاله‌ای از رالف لامل از شرکت [[مایکروسافت]]</ref> ...ان برنامه‌نویسی)|روبی]] ٬[[اف‌شارپ(زبان برنامه‌نویسی)|اف‌شارپ]]٬[[آر (زبان برنامه‌نویسی)|آر]] و سایر زبان‌ها نوشته‌شده‌اند. ...

...ابل مقادیر این دو متغیر گفته می‌شود. در بیشتر [[زبان برنامه‌نویسی|زبان‌های برنامه‌نویسی]] [[رویه (علوم رایانه)|تابع]] تعویض به صورت توکار تعریف شده است. نحوه انجام [[پرونده:XOR Swap.svg|بندانگشتی|استفاده از عملگر منطقی Xor برای جا به جایی مقادیر دو متغیر بدون استفاده از متغیر موقت.]] ...

...|self-dual=yes}}در [[منطق]]، '''نقیض''' {{به انگلیسی|Negation}} یک [[عملگر منطقی]] یکتایی است، که نتیجه آن در صورتی که گزارهٔ تحت آن ''نادرست'' باشد، ''درست ...(که البته <math>\neg p</math> رایج‌تر است) و نماد <math>!p</math> در زبان برنامه‌نویسی کامپیوتر کاربردی فراوان دارد. ...

...ون لجستیک، دسته‌بندهای غیرخطی، ساختارهای چندجمله‌ای پچیده، مدارات و عبارات منطقی و ... .<ref>{{cite web|url=https://www.gene-expression-programming.com/inde [[ژنوم]] برنامه‌نویسی بیان ژن شامل کروموزومی خطی، ساده با درازای ثابت است که از ترکیب یک یا چند ژ ...

...که [[جایگزینی]] در آن محل می‌تواند انجام گیرد. این محل‌ها نباید [[پراسنجه (برنامه‌نویسی رایانه‌ای)|پراسنجه]] ی همین عبارت یا هر عبارت محمول باشند. بعضی از کتاب‌های ...رد که در یک تابع استفاده می‌شود، ولی نه [[متغیر محلی]] است و نه [[پراسنجه (برنامه‌نویسی رایانه‌ای)|پراسنجه]] آن تابع است. عبارت [[متغیر غیرمحلی]] به عنوان مترادف د ...

...ات ناشی از [[استدلال قیاسی]] استفاده کرد. [[برنامه‌نویسی منطقی|برنامه‌ریزی منطقی]] نرمال با استفاده از بعضی مفروضات که به‌طور ناقص تعریف شده‌اند، اجازه گستر برنامه‌های منطقی قیاسی دارای سه مؤلفه <math>\langle P,A,IC\rangle</math> هستند: ...

...ی از عبارت‌های منطقی است، که از آنها مطمئن هستیم» و D «مجموعه‌ای از قواعد منطقی پیش‌فرض است». به W نظریه پیش‌زمینه می‌گوییم و ممکن است به زبان [[منطق مرتبه [[رده:برنامه‌نویسی منطقی]] ...

...، عملگرهای اصلی جبر بولی [[عطف منطقی]] (و) که با ∧ نشان داده می‌شود، [[فصل منطقی]] (یا) که با ∨ نشان داده می‌شود و نقیض که با ¬ نشان داده می‌شود، می‌باشند. ...ه‌های دیجیتال مدرن نیاز است و به عنوان یک نوع دادهٔ اساسی در تمام زبان‌های برنامه‌نویسی مدرن وجود دارد. [[کلود شانون]] از پیشگامان رایانه‌های [[دیجیتال]] نخستین با ...

...بالاتر معرفی شده‌است. البته [[پیشانه و پسانه|بک اند]] کوایل توسط محیط‌های برنامه‌نویسی دیگر که کوانتومی هستند نیز پشتیبانی و ساپورت می‌شود.<ref>{{Cite web|url=htt ...از دروازه های (گیت‌های) ثابت است. ([[دروازه‌های منطقی کوانتومی|دروازه های منطقی کوانتومی]] که به پارامترهایی مانند [[تبدیل آدامار|گیت هادامارد]] وابسته نیس ...

در اینجا مثالی از پیاده سازی الگوریتم De Casteljau در [[هسکل (زبان برنامه‌نویسی)|هاسکل آورده شده است]] :<syntaxhighlight lang="haskell"> ...ارائه شد برای یک منحنی غیر منطقی بزیر معتبر است. برای ارزیابی منحنی بیزیر منطقی در <math>\scriptstyle \mathbf{R}^n</math> ، ما ممکن است نقطه را به <math>\s ...

...G)}} روشی است برای توضیح گرامر زبان‌های رسمی و طبیعی، که در [[برنامه‌نویسی منطقی]] مورد استفاده قرار می‌گیرد. این مفهوم بسیار به مفاهیم گرامرهای صفتی و گرام ...توسط آلاین کلمراویر و فیلیپ راسل ارائه شد. اولین برنامه ای که با این زبان برنامه‌نویسی نوشته شد، یک سیستم [[پردازش زبان‌های طبیعی|پردازش زبان طبیعی]] بزرگ بود. فر ...

...ا کوته‌نوشت '''SLD''' [[قاعده استنتاج]] اصلی استفاده شده در [[برنامه‌نویسی منطقی]] است. این [[رزولوشن (منطق)|رزلوشن]] یک روش اصلاحی از رزلوشن معمولی است و م ...آن است که مجموعه ورودی بندها صدق‌ناپذیر هستند. با این حال، در برنامه‌نویسی منطقی، یک ابطال SLD یک تفسیر محاسباتی دارد. بند اولیه <math> \neg L_1 \lor \cdots ...

...ی سطح بالا ('''همان‌سازی الگوی سطح بالا''') در بعضی از پیاده‌سازی‌های زبان برنامه‌نویسی، مثل [[:en:ΛProlog|لمبداپرولوگ]]، استفاده شده‌است، به دلیل آنکه الگوهای سطح == یکسان‌سازی در برنامه‌نویسی منطقی و تئوری نوع == ...

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

...ها میل دارند [[نظریه پیچیدگی محاسباتی|پیچیدگی محاسباتی]] اجزاء احتمالاتی و منطقی خود را چند برابر کنند. مشکلات دیگر شامل امکان نتایج ضد شهودی، مانند آن‌هایی ...لف طبقه‌بندی کرد: آن‌هایی که سعی می‌کنند یک بسط احتمالاتی از مفهوم [[پیامد منطقی]] بسازند، مثل [[شبکه منطق مارکوف]]، و آن‌هایی که سعی می‌کنند مسائلی با عدم ...

...لاع می‌دهد چگونه برنامه‌نویس قصد دارد از داده‌ها استفاده کند. اکثر زبانهای برنامه‌نویسی از انواع داده‌های اصلی [[عدد صحیح|اعداد صحیح]] (با اندازه‌های مختلف)، اعداد تقریباً تمام زبانهای برنامه‌نویسی حاوی مفهوم نوع داده می‌باشند، هرچند زبانهای مختلف ممکن است از اصطلاحات مختل ...

...روش‌ها]]، [[رویه (علوم رایانه)|توابع]]، [[کلاس (برنامه‌نویسی)|کلاس‌ها]]، [[برنامه‌نویسی ماژولی|ماژول‌ها]] یا [[پرونده (رایانه)|پرونده‌های]] جداگانه در یک برنامه اع * انتساب: ذخیره یا انتقال داده‌ها به یک [[متغیر (برنامه‌نویسی)|متغیر]]. ...

...به طوری که«n» تعداد ماتریس‌ها می‌باشد).فضایی که برای این کار مورد نیاز است منطقی به نظر می‌رسد.می توان نشان داد که این حقهٔ ساده زمان را از(O(''۲''<sup> n < به سراغ [[برنامه‌نویسی پویا]] رفته و دو شرط لازم این روش برای حل مسائل بهینه‌سازی را بررسی می‌کنیم ...

...rogramming|array]]، [[برنامه‌نویسی تابعی]]، [[برنامه‌نویسی ساخت‌یافته]]، [[برنامه‌نویسی پودمانی]] * [[جی (زبان برنامه‌نویسی)]] ...