نتایج جستجو

[[رده:قضیه‌های ریاضی در علوم نظری رایانه]] ...

در [[نظریه گراف]] و [[علوم رایانه|علوم کامپیوتر]]‍‍ '''پایین‌ترین جد مشترک''' ('''LCA''') دو گره v و w در یک [[در [[رده:علوم نظری رایانه]] ...

[[رده:علوم رایانه در ۱۹۳۷ (میلادی)]] [[رده:علوم نظری رایانه]] ...

...ارسی|سرواژه=تابع یک‌طرفه}}</ref> {{به انگلیسی|one-way function}} در [[علوم رایانه]]، به تابعی گفته می‌شود که برای هر ورودی، خروجی تابع به راحتی قابل محاسبه ا ...بری کلاس‌های P و NP است که به تبع آن مهم‌ترین مسئلهٔ حل‌نشدهٔ علوم رایانهٔ نظری ثابت می‌شود. عکس گزارهٔ گفته شده درست نیست، بدین معنی که نابرابری کلاس‌های ...

...ience/curriculum/ |date=۳ فوریه ۲۰۰۷}}, Saint John's University</ref> علوم رایانه رویکردی علمی و عملی به محاسبات (computation) و کاربردهای آن است. این علم به بنا به نظر [[پیتر جی. دنینگ]]، پرسش اساسی در علوم رایانه این است که: ''چه چیزی می‌تواند (به نحوی کارآمد) خودکار انجام شود؟''<ref nam ...

...نها شامل ''نادرست'' و ''درست'' است. در [[منطق]]، ریاضیات و [[علوم کامپیوتر نظری]]، دامنه بولی معمولاً به صورت {۰، ۱}<ref name="vanDalen_2004"/><ref name="M در [[علوم رایانه|علوم کامپیوتر]] ، یک متغیر بولی، [[متغیر (علوم رایانه)|متغیری]] است که مقدار خود را از یک دامنه بولی می گیرد. برخی از [[زبان برنا ...

در [[منطق]]، [[ریاضیات]]، [[علوم رایانه|علوم کامپیوتر]] و [[زبان‌شناسی]]، '''نظریهٔ زبان‌ها''' به مطالعهٔ زبان‌های قرارد ...رچشمه گرفت و [[نوام چامسکی]] در پیشرفت آن نقش مؤثری داشت. در [[علوم رایانه|علوم کامپیوتر]]، زبان‌های قراردادی به عنوان مبنایی برای تعریف دستور [[زبان برنام ...

...توسعه یافته‌است و در بولتن انجمن اروپایی برای [[علوم رایانه|علم کامپیوتر]] نظری منتشر شده‌است. هر دو پیاده‌سازی سخت افزارهای [[دیجیتال]] و [[آنالوگ]] مرتب [[رده:علوم رایانه در ۲۰۰۲ (میلادی)]] ...

در [[علوم نظری رایانه]]، '''زبان‌های منظم'''، به زیرمجموعه‌ای از [[زبان‌های صوری]] گفته می‌شود. (A\cup B)</math>، [[عمل الحاق (علوم کامپیوتر)|الحاق]] آن‌ها <math> ...

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

در [[علوم رایانه|علوم کامپیوتر]] الگوریتم‌های چندگانه در بهینه‌سازیِ اجرای واقع گرایانه [[توابع ب ...ولیه در الگوریتم‌های درخت مختلف روبرو می‌شویم. اما از طرفی این روش به صورت نظری روشی غیرحرفه‌ای به حساب می‌آید چرا که پیچیدگی الگوریتم بالا می‌رود. ...

...</math> را بیان می‌کند، به معنی [[فشردگی اندازه‌گیری|فشرده‌ترین]] حد بالای نظری [[بیت بر ثانیه|نرخ اطلاعات]] داده‌ها است که در [[نرخ خطای بیت|نرخ خطا]]<now ...</math> [[ظرفیت کانال]] در [[واحدهای نرخ-داده|بیت بر ثانیه]] است، حد بالای نظری [[بیت بر ثانیه|نرخ بیت شبکه]] (نرخ اطلاعات، که بعضاً با <math>I</math> مشخص ...

{{حل نشده|علوم رایانه|اگر چک کردن صحت حل یک مسئله آسان باشد، آیا لزوماً حل آن مسئله نیز آسان است؟ ...P در مقابل NP''' {{انگلیسی|P versus NP Problem}}، مسئله حل‌نشده مهمی در [[علوم کامپیوتر]] است. این مسئله می‌پرسد که آیا هر مسئله‌ای که صحت جواب‌های آن را ...

...یءگرا|برنامه نویسی شیءگرا]] است که می‌گوید در یک [[برنامه (رایانه)|برنامهٔ رایانه‌ای]] ، اگر S [[چند ریختی زیرنوعی (برنامه نویسی کامپیوتر)|زیرنوع]] T باشد، ا ...آنگاه تأیید این ویژگی برای برخی انواع S که زیرنوع T هستند برای یک برنامهٔ رایانه‌ای (مانند یک مترجم) ناممکن است (حتی در صورتی که ویژگی فوق برای T صحیح باشد) ...

...در واقع درخت‌ها، [[گراف]]‌های خاصی هستند که در مورد ویژگی‌های آن‌ها نتایج نظری زیادی وجود دارد.<ref name="ghodsi">{{یادکرد|نویسنده = قدسی، محمد|عنوان = دا برای پیدا کردن [[گره (علوم رایانه)|گرهی]] با یک کلید خاص مانند key در درخت، ابتدا باید از ریشه درخت شروع کنیم ...

در [[ریاضیات]]، [[علوم رایانه|علوم کامپیوتر]] و [[منطق]]، '''بازنویسی''' طیف گسترده‌ای از روشهای (بالقوه غیر ق ...رکیب می‌شود، درواقع می‌توان آن‌ها را به عنوان [[برنامه (رایانه)|برنامه‌های رایانه ای]] محسوب کرد. تعداد بسیاری از [[اثبات قضیه خودکار|قضیه اثبات کننده]]<ref> ...

در [[علوم نظری رایانه]]، '''نظریهٔ اتوماتا''' {{انگلیسی|Automata theory}} یا '''نظریهٔ ماشین‌ها'' یک ماشین خودکار قرار است که بر روی تعدادی ورودی از دنباله یا [[رشته (علوم رایانه)|رشته]] در مراحل زمانی گسسته اجرا شود. در هر مرحله از زمان، ماشین یک ورودی ...

...ز حساب هم عملی و هم نظری|، دستیار مدیرمدرسه، خلاصه‌ای از حساب هم عملی و هم نظری]]''، ارائه شد.<ref>{{cite book|last=Bellos|first=Alex|author-link=Alex Bell ...[تقسیم]] ("÷")، و [[قلاب (نشان‌گذاری متن)|پرانتز]]، و همچنین [[الحاق (علوم رایانه)|الحاق]] (به عنوان مثال، "۴۴" مجاز است) را می‌دهد. . اکثراً عملیات [[فاکتور ...

...نگستان|مصوب=نظریهٔ اطلاعات|بیگانه=information theory|بیگانه در فارسی=|حوزه=علوم کتابداری و اطلاع‌رسانی|دفتر=ششم|بخش=فارسی|سرواژه=نظریهٔ اطلاعات}}</ref> (ان ...[کتابداری و اطلاع‌رسانی|کتاب‌داری و اطلاع‌رسانی]] و [[اطلاعات و دانش‌شناسی|علومِ شناختی]] (Cognitive Sciences) نیز استفاده می‌شود.<ref name="Britanica">«in ...

[[رده:علوم نظری رایانه]] ...