نتایج جستجو

...{{nowrap|''S'' ∘ ''R''}} از دو رابطهٔ R و S است. ترکیب دو رابطه در [[منطق جبری]] '''ضرب نسبی''' نامیده می‌شود؛ بنابراین ترکیب برابر '''حاصلضرب نسبی''' راب ...تفاده می‌شود: برای اینکه عنصری عمو باشد باید برادر یک والد باشد. در [[منطق جبری]] گفته می‌شود که رابطهٔ «عمویی» xUz ترکیب دو رابطهٔ «برادری» xBy و «والدی» ...

...وجهات]]، '''منطق موجهات کلاسیک''' {{به انگلیسی|Classical modal logic}}، هر منطق موجهاتی است که حاوی [[دوگان (ریاضیات)|دوگانگی]] [[عملگر وجهی|عملگرهای وجهی] ...ایگی دستگاه‌های موجهات کلاسیک آشنا را مشخص می‌کنند که ضعیف‌تر از ضعیف‌ترین منطق موجهات معمولی '''K''' هستند. ...

[[پرونده:Polynomialdeg4.png|بندانگشتی|معادله جبری]] ...دله جبری''' {{به انگلیسی|Algebraic equation}}: در علم [[ریاضیات]]، معادلات جبری یا تساوی کثیرالجمله‌ها، تساوی [[عبارت (ریاضیات)|چندجمله‌ای هایی]] مانند P ...

'''قانون هویت''' {{به انگلیسی|Law of identity}} رابطۀ [[منطق]]ی بین دو شیء متحد است. مانند هویت [[ریاضی]] یا تساوی جبری که با وجود اختلاف ارزش حروفی که نمایانگر آن‌ها است، همواره صادق است. ...

...و از طرفی نگاه معناشناسی منطقی به ساختارها دارد که این نظریه را در دامنهٔ منطق ریاضی قرار می‌دهد.]] ...طرفی نگاه [[معناشناسی]] منطقی به ساختارها دارد که این نظریه را در دامنهٔ [[منطق ریاضی]] قرار می‌دهد. ...

...aic expression|بیگانه در فارسی=|حوزه=ریاضی|دفتر=سوم|بخش=فارسی|سرواژه=عبارت جبری}}</ref> {{به انگلیسی|Expression}} یک ترکیب متناهی از نمادها است که این ترکی ...مادهای ریاضیاتی، مثلاً نقطه‌گذاری، نمادهای گروه‌بندی و دیگر نمادهای [[نحو (منطق)|نحوی]]. ...

در [[جبر بولی]]، '''صورت بهنجار جبری''' یا '''فرم نرمال جبری''' ({{lang-en|Algebraic Normal Form}})، '''فرم نرمال ژگالکین''' ({{lang-en| ...درآمده باشند. یک یا چند ترم با [[یای انحصاری|XOR]] به صورت یک صورت بهنجار جبری درآمده باشند. استفاده از [[نقیض]] مجاز نمی‌باشد. ...

در [[ریاضیات]] و به خصوص در [[منطق ریاضی]]، '''جبر بولی''' {{به انگلیسی|Boolean algebra}} زیر مجموعه‌ای از [[ج ...ئوری اصلی را شامل می‌شد. آن مانند یک زبان ریاضی مطرح شده بود که سوالاتی از منطق سروکار داشت. چیزی که امروزه در طراحی دستگاه‌های دیجیتال مدرن نیاز است و به ...

...هد. در [[منطق گزاره‌ای]]، '''شرکت‌پذیری''' یک [[قاعده جایگزینی]] [[اعتبار (منطق)|معتبر]] برای [[فرمول خوش فرم|عبارات]] در [[اثبات صوری|اثبات منطقی]] است. ...] دارد و یکی از چهار اصل از «اصول موضوع [[نظریه گروه‌ها]]» است که [[ساختار جبری]] [[گروه (ریاضی)|گروه]] با استفاده از آن‌ها تعریف می‌شود. ...

...دو عنصر تشکیل شده است که تفاسیر آنها شامل ''نادرست'' و ''درست'' است. در [[منطق]]، ریاضیات و [[علوم کامپیوتر نظری]]، دامنه بولی معمولاً به صورت {۰، ۱}<ref [[ساختار جبری]] که به طور طبیعی بر روی یک دامنه بولی ساخته می شود [[جبر بولی با دو عنصر]] ...

...[گزاره (منطق)|گزارۀ]] همواره صادق است که معمولاً برای ساده‌سازی فعالیت‌های جبری در ریاضی به‌کار می‌رود. به عبارتی بهتر؛ معادله‌ای که به ازای هر [[عدد حقیقی ...math>(a-b)(a+b)=a^2-b^2 \,\!</math>}}کاربرد اتحاد مزدوج در تجزیه عبارت های جبری: ...

* قابل بیان در [[منطق]] مرتبهٔ دوم است. == تساوی‌های جبری برای عبارت‌های منظم == ...

...عکس]]، هر عنصر غیرصفر از یک میدان متناهی یک ریشه واحد است. هر [[میدان بسته جبری]] دقیقا شامل {{mvar|n}} تا ریشه {{mvar|n}}ام از واحد است، بجز وقتیکه {{mvar {{اعداد جبری}} ...

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

وقتی جدول کارنو ساخته شد و دسته‌بندی صورت گرفت باید عبارت جبری متناظر با هر دسته نوشته شود. به‌طور مثال برای گروه قرمز: * چون در سراسر گروه‌بندی قرمز ارزش A یک است بنابراین عبارت جبری متناظر این گروه باید شامل A باشد. ...

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

...عتبار (منطق)|منطقی معتبر]] را بتوان به صورت کارآمد تعیین نمود. یک [[نظریه (منطق ریاضی)|نظریه]] (مجموعه جمله‌های [[:en:Deductive_closure|بسته]] تحت [[استلزا تصمیم‌پذیری در منطق، ناظر بر مسئله ای است که پاسخ به آن یکی از دو حالت درست و غلط یا یکی از دو ...

...ر سال ۱۹۷۸ میلادی در امتداد [[مجموعه‌های فازی|نظریهٔ مجموعه‌های فازی]] و [[منطق فازی]] ارائه شد. بعد از او، دابویس و پراد در گسترش این نظریه همکاری کردند. پیش از این در دههٔ ۵۰ میلادی، شاکل، روش جبری کمینه/بیشینه را برای توصیف میزان بالقوهٔ تعجب ارائه داده بود. ...

{{stack|float=left|{{روابط دوتایی}}|{{ساختارهای جبری|مشبکه}} }} ...مام این ساختارهای "شبیه مشبکه" را نیز می توان هم از جنبه نظریه ترتیبی و هم جبری توصیف کرد. ...

جبر مجموعه‌ها، جبری از عملیات اجتماع، اشتراک و متمم، و روابط برابری و شمول نظریهٔ مجموعه‌ها است ...به قانون <math> (A^C)^C = A </math> تقلیل داده شود، این دقیقاً همان جبر [[منطق خطی]] است. ...