نتایج جستجو

...ه بپذیرم تهران پایتخت [[فرانسه]] است. منطق کلاسیک این ارتباط را می‌پذیرد و منطق‌های فراسازگار می‌خواهند پاسخی برای این مشکل بیابند.<ref>"Paraconsistent Log منطق کلاسیک انفجاری است؛ به این معنا که اگر یک تناقض در فرضیات باشد همه‌چیز از آ ...

...با منطق درجه اول، مساله‌های استنتاج اصلی برای DL ها معمولاً [[تصمیم‌پذیری (منطق)|تصمیم‌پذیر]] هستند، و برای این مسائل، رویه‌های تصمیم مؤثر طراحی و پیاده‌سا == انواع منطق توصیف == ...

...نطقی]] تحلیل می‌کند، یعنی برروی مقادیری پیوسته در بازه بین ۰ و ۱. برخلاف [[منطق کلاسیک]] یا [[دیجیتال]]، که بر روی مقادیر گسسته‌ ۱ یا ۰ (درست یا نادرست) عم ...ی کنترلی استفاده می‌شود. اصطلاح "فازی" یا مبهم به این واقعیت اشاره دارد که منطق حاکم بر سامانه می‌تواند با مفاهیمی برخورد کند که نمی‌توانند به عنوان "درست" ...

...Academic|location=Dordrecht|isbn=978-0-7923-8595-0|ref=harv}}</ref> اصطلاح منطق فازی اولین بار در پی تنظیم [[مجموعه‌های فازی|نظریهٔ مجموعه‌های فازی]] به وس ...انک]] پس از بررسی رایانه‌ای [[بیلان]] اقتصادی یک بازرگان می‌تواند فراتر از منطق «وام می‌دهیم» یا «وام نمی‌دهیم» رفته و بگوید: «وام می‌دهیم اگر…» یا «وام نم ...

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

'''اثبات با بررسی حالت‌ها''' {{به انگلیسی|Proof by cases}} روشی برای [[اثبات ریاضی]] است که در آن گزاره‌ای که باید اثبات شود به تعداد متناهی حالت تقسیم می‌شود ...ثر مجموعه‌های ریاضی بی‌نهایت هستند، این روش به ندرت برای استخراج نتایج کلی ریاضی استفاده می‌شود.<ref>{{Cite book|title=Discrete mathematics with application ...

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

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

...cation)، ذخیره و [[انتقال اطلاعات]] می‌پردازد. این نظریه، [[مدل ریاضی|مدلی ریاضی]] از شرایط و عوامل مؤثر در پردازش و انتقال [[اطلاعات]] (داده‌ها) به‌دست می‌ ...زمان، مقاله «انتقال اطلاعات» در ۱۹۲۸ از سوی هارتلی بود که نخستین پایه‌های ریاضی نظریه اطلاعات را بنا گذاشت.<ref name="Britanica"/>[[پرونده:ClaudeShannon MF ...

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

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

...-status=dead}}</ref> که کوته‌نوشتی برای عبارت «برنامه‌نویسی مجموعه جواب در منطق» است.<ref>{{cite web|author=Rogelio Davila|title=AnsProlog, an overview|url [[رنگ‌آمیزی گراف|رنگ‌آمیزی]] <math>n</math> تایی یک [[گراف (ریاضی)|گراف]] <math>G = \left\lang V, E\right\rang</math> یک تابع <math>\mathrm{c ...

...آنتروپی به صورت صوری دقیقاً مانند فرمول شانون است. آنتروپی در سایر بخش‌های ریاضی همچون [[ترکیبیات]] و [[یادگیری ماشینی|یادگیری ماشین]] نیز دارای اهمیت است. <math>\mathrm{E}[\cdot]</math> تابع امید ریاضی و <math>\mathrm{I}(\cdot)</math> تابع میزان اطلاعات رویداد است. <math>\math ...

...توسعه یافت که [[ایالات متحده آمریکا]] برای محدود کردن توانایی چین در توسعه سامانه‌های هوش مصنوعی پیشرفته، بر روی تراشه‌های [[انویدیا]] تحریم‌هایی اعمال کرده بود. ...پ‌سیک R1-Lite منتشر شد که برای انجام وظایفی مانند استنتاج منطقی، استدلال [[ریاضی]] و [[حل مسئله|حل مسئل]]<nowiki/>ه در زمان واقعی طراحی شده بود. دیپ‌سیک ادع ...

...2014"/> به نظر برخی از فلاسفه و دانشمندان، حتی ایده‌ها مثل [[ریاضیات]] و [[منطق]] را نیز باید جزئی از تعریف جهان دانست.{{refn|1={{یادکرد ژورنال |نام خانواد ...گیری ساختارهای نجومی مانند کهکشانها و [[سیاره|سیارات]] و [[سامانه سیاره‌ای|سامانه‌های سیاره‌ای]] به‌وجود نمی‌آمد. از زمان مه‌بانگ جهان به شکل [[تابع یکنوا|یکنوای ...