نتایج جستجو
پرش به ناوبری
پرش به جستجو
- ...ق ریاضی]] نقش اساسی دارد. این تابع، عدد بعدی هر عدد طبیعی را مشخص میکند و در اصول موضوعه [[پئانو]] مورد استفاده قرار میگیرد. [[جوزپه پئانو]] در قرن نوزدهم اصولی را برای تعریف [[اعداد طبیعی]] ارائه کرد که به '''اصول پئان ...۳ کیلوبایت (۵۸ واژه) - ۱۱ مارس ۲۰۲۵، ساعت ۱۴:۲۲
- ...ا توجه به سمبلیک و تعاریف مناسبی که برای عملگرهای پایه دارد، در دنیای علوم کامپیوتر بسیار شناخته شده و مورد قبول است. == منطق کلینی == ...۳ کیلوبایت (۱۷۰ واژه) - ۲۷ ژانویهٔ ۲۰۱۷، ساعت ۰۱:۰۸
- ...تفاسیر آنها شامل ''نادرست'' و ''درست'' است. در [[منطق]]، ریاضیات و [[علوم کامپیوتر نظری]]، دامنه بولی معمولاً به صورت {۰، ۱}<ref name="vanDalen_2004"/><ref na ...ر روی یک دامنه بولی ساخته می شود [[جبر بولی با دو عنصر]] است. [[شی اولیه]] در [[رسته (ریاضیات)|دسته]] [[مشبکه (ترتیب)|شبکه های محدود]] یک دامنه بولی است. ...۶ کیلوبایت (۳۴۸ واژه) - ۱۲ دسامبر ۲۰۲۴، ساعت ۰۷:۰۳
- '''نظریه رایانشپذیری''' از مباحث پایه در [[علوم رایانه]] است که به بررسی محاسبهپذیر و محاسبهناپذیر بودن عملیات با استفاده ...ه این حافظه از طریق تعداد زیادی تکههای کوچک گسسته، دسترسی دارد. دانشمندان کامپیوتر به دلیل قابلیت سادگی قاعده سازی، تحلیل و آنالیز و قابل استفاده برای اثبات ن ...۸ کیلوبایت (۵۴ واژه) - ۲۷ اوت ۲۰۲۳، ساعت ۱۰:۵۲
- ...رت ویلم بث''' (۷ ژوئیه 1908 – ۱۲ آوریل ۱۹۶۴) یک [[فیلسوف]] و [[منطق|منطق دان]] هلندی بود که اساساً کارش به [[بنیانهای ریاضیات|مبانی ریاضیات مربوط]] ...[[فلسفه]] و [[روانشناسی]] نیز پرداخت. [[پیاچدی|دکترای]] او در سال ۱۹۳۵ در رشته فلسفه بود. ...۸ کیلوبایت (۱۳۹ واژه) - ۹ ژوئیهٔ ۲۰۲۴، ساعت ۰۶:۵۱
- ...کلی برای سازماندهی یک امضا است. این مسئله، کابردهایی در [[علوم رایانه|علوم کامپیوتر]] دارد: نمونههایی از همجبرها شامل [[ساختمان داده]]های تنبل و نامتناهی، م در <math>\mathcal{C}</math> است به طوری که ...۶ کیلوبایت (۳۴۶ واژه) - ۸ اکتبر ۲۰۲۲، ساعت ۱۳:۲۵
- ...رهٔ برنامههای رایانهای ساخته شد ولی بعدها به رفتارهای کلیتر و پیچیدهتر در زبانشناسی، فلسفه، هوش مصنوعی و دیگر پهنهها اعمال گردید.<ref name=":0">{{C ...angle </math> گسترش دادهاست، در نتیجه منطق پویا یک [[:en:Multimodal_logic|منطق چند-وجهی]] است. معنی <math>[a]p</math> آن است که «بعد از انجام عمل <math> { ...۸ کیلوبایت (۴۲۴ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۱
- ...نای جملات و ... اهمیتی نمیدهیم (مثلاً جملهٔ «رنگ آسمان قرمز است» ممکن است در یک زبان قراردادی جملهٔ مورد قبولی باشد). ...شوند که میتوانند توسط ماشینهای [[تجزیهکننده|تجزیهگر]] تجزیه شوند. در [[منطق]]، فرمالیسم ریاضی و [[بنیانهای ریاضیات|مبانی ریاضی]]، از زبانهای قراردادی ...۱۱ کیلوبایت (۳۵۹ واژه) - ۲ ژوئیهٔ ۲۰۲۴، ساعت ۰۷:۰۳
- ...Horn-satisfiability}} یا '''ارضاپذیری هورن''' با کوتهنوشت '''HORNSAT در [[منطق صوری]]،''' عبارت است از مسئلهٔ تعیین اینکه آیا مجموعهٔ مفروضی از عبارتهای ه مسئلهٔ ارضاپذیری هورن در [[زمان چندجملهای]] قابل حل است. یک [[الگوریتم زمان چندجملهای]] برای ارضاپ ...۴ کیلوبایت (۴۸ واژه) - ۲۱ مهٔ ۲۰۲۱، ساعت ۱۵:۰۸
- [[پرونده:CTL model.png|بندانگشتی|منطق درخت محاسباتی]] ...ین است که میتوان یک مسیر خاص را مشخص کرد. برای مثال این جملات در این منطق(منطق درخت محاسباتی) قابل بیان هستند: ...۸ کیلوبایت (۴۳۶ واژه) - ۱۸ دسامبر ۲۰۲۳، ساعت ۰۹:۵۶
- '''متغیر''' به فارسی '''وردا''' {{به انگلیسی|variable}} در ریاضیات [[فهرست نمادهای ریاضی|نماد]] و ظرفی برای یک [[عبارت (ریاضیات)|عبارت ...، [[علوم وب]]، و [[علوم محاسباتی]] بر عهده دارند. در مقایسه یا مفاهیم ثابت منطق متغیرها به تنهایی بی معنا میباشند. ...۱۰ کیلوبایت (۱۱۸ واژه) - ۱۹ ژانویهٔ ۲۰۲۵، ساعت ۰۵:۳۱
- در [[علوم نظری رایانه]]، '''زبانهای منظم'''، به زیرمجموعهای از [[زبانهای صوری]] گف از زبانهای منظم در [[تجزیه کننده]]ها و طراحی [[زبانهای برنامهنویسی]] استفاده میشود. ...۶ کیلوبایت (۱۵۸ واژه) - ۲۳ ژوئن ۲۰۲۴، ساعت ۱۱:۱۲
- [[پرونده:KochFlake.svg|چپ|بندانگشتی|چهار مرحله در ساخت یک [[برفدانه کخ]]. مانند بسیاری دیگر از [[فراکتال|فرکتال]]ها مراحل از ...ازگشتی''' (یا''' تعریف استقرایی''') در [[منطق ریاضی]] و [[علوم رایانه|علوم کامپیوتر]] برای تعریف اعضای یک مجموعه بهطور وابسته به دیگر اعضا استفاده میشود. یک ...۸ کیلوبایت (۱۵۴ واژه) - ۸ دسامبر ۲۰۲۱، ساعت ۱۱:۱۲
- ...پایانه داده شده هست یا خیر.[1] این قضیه بیان میکند که اگر توالی نشانهها در نظر گرفته نشود آنگاه زبانهای مستقل از متن از نظر مجموعههای منظم و نشان دا ...}|)</math> و <math>|w_{a_i}|</math> نشان دهندهٔ تعداد حرف <math>a_i</math> در کلمهٔ <math>w</math> است. ...۶ کیلوبایت (۲۹۵ واژه) - ۱۲ ژوئن ۲۰۲۲، ساعت ۰۶:۳۳
- ...یا [[نظریه اعداد|نظریۀ اعداد]] [[سازگاری (منطق ریاضی)|سازگار]] و [[تمامیت (منطق) |تام]] است، اشاره کرد. زمانی که پئانو اصول موضوعهاش را فرمولبندی کرد، زبان [[منطق ریاضی]] طفولیت خود را سپری میکرد. سیستم نمادگذاری منطقیای که او برای نشان ...۸ کیلوبایت (۲۱۶ واژه) - ۱۲ ژوئیهٔ ۲۰۲۴، ساعت ۱۲:۳۹
- در [[علوم کامپیوتر]] و [[منطق ریاضی]], یک '''درخت اتومات نا متناهی''' ماشینی از وضعیت ها است که با یک [[ ...ها در [[منطق]] با همدیگر رابطهٔ نزدیکی دارند که اجازه میدهد مسائل تصمیم در منطق به اتومات های ساده کاهش شوند. ...۷ کیلوبایت (۲۸۶ واژه) - ۳۱ ژوئیهٔ ۲۰۲۲، ساعت ۰۸:۵۰
- ...های کاهش) هستند. در ابتداییترین شکل، آنها از مجموعه ای از اشیا و روابطی در مورد نحوه تبدیل آن اشیا تشکیل شدهاند. === منطق === ...۱۴ کیلوبایت (۵۵۶ واژه) - ۲۲ اوت ۲۰۲۳، ساعت ۰۷:۰۵
- ...ه تغییر میدهند و خانههای مختلف از حافظه هستند که در معرض تحول هستند. این منطق توسط [[جان سی رینولدز]], [[Peter O'Hearn]], Samin Ishtiaq و Hongseok Yang م ...[[عملوند]] آن، در قسمتهای مجزا از حافظهٔ پشته هستند؛ لذا، با شکلگیری این منطق و ابزارهای آن، وارسی الگوریتمها و برنامههای موازی امکانپذیر شدهاست.<ref ...۱۱ کیلوبایت (۵۳۹ واژه) - ۱ مهٔ ۲۰۲۲، ساعت ۱۱:۱۱
- در [[زبان صوری|نظریهٔ زبانهای صوری]]، هر [[مجموعه (ریاضیات)|مجموعهٔ]] ناتهی ر ...ه|کدگذاری نویسهها]] مثل [[اسکی (استاندارد)|ASCII]] از نمونههای کاربرد در کامپیوتر است.<ref name=":2">{{یادکرد کتاب|عنوان=Introduction to Automata Theory, Lan ...۱۰ کیلوبایت (۴۲۰ واژه) - ۹ اوت ۲۰۲۳، ساعت ۲۱:۴۹
- ...نی]] روی مجموعه ای از رشته ها و یا مجموعه ای از سمبل ها یا کاراکتر ها است. در ریاضیات عموما به عنوان ساختار [[مونوئید های ازاد|مونوئید ازاد]] شناخته می ش ...ی]] برای تشریح برخی از [[اتوماتای سلولی ساده|اتوماتاها]] معرفی شده بود، که در آن به معنای "صفر یا تعدادی بیشتر تکرار" است. ...۸ کیلوبایت (۳۸۹ واژه) - ۵ فوریهٔ ۲۰۲۵، ساعت ۱۶:۱۰