عبارت مورد نظر خود را بنویسید
ارادهگرایی معرفتی دیدگاهی فلسفی است که معتقد است باورهایمان را خودمان انتخاب میکنیم. این نظریه، که ریشه در منطق معرفتی دارد، انسان را خالق باورهایش میداند و به دو نوع مستقیم و غیرمستقیم تقسیم میشود.
آذالعحق، سیاستمدار هندی از ایالت بیهار، دو دوره بهعنوان نماینده مجلس قانونگذاری از حوزه انتخابیه زیرادی (۲۰۰۰-۲۰۰۵) فعالیت کرد. او در دولت رابری دوی وزیر ایالتی بود و در سال ۲۰۱۰ از حزب راشترییا جاناتا دال (RJD) جدا شد و به حزب سمْرَس سَماج پیوست. نام او گاهی به شکل ایجازالحق نیز نوشته میشود.
کوه دندانکوسه، واقع در رشتهکوههای استیکین در شمال بریتیش کلمبیا کانادا، با ارتفاع ۱۶۵۳ متر از سطح گذرگاه دریاچههای قورباغه، بین رودخانههای کاسیار و دال قرار دارد. این کوه به دلیل موقعیت جغرافیایی و ارتفاع قابل توجه خود، یکی از نقاط برجسته منطقه به شمار میرود.
کتاب «منطق شگفتانگیز گرافهای تصادفی» نوشته جوئل اسپنسر، به بررسی قوانین صفر-یک در گرافهای تصادفی میپردازد. این کتاب که در سال ۲۰۰۱ توسط اسپرینگر منتشر شد، مدل اردوش-رنی-گیلبرت را تحلیل میکند و نشان میدهد چگونه احتمال بروز ویژگیهای خاص در گرافها با افزایش اندازه آنها به صفر یا یک میل میکند.
زبان عبارات جایاکارتا (EL)، که پیشتر با نامهای Expression Language و Unified Expression Language شناخته میشد، زبانی تخصصی برای ارزیابی عبارات در صفحات وب برنامههای Jakarta EE است. این زبان با هدف سادهسازی تعامل با کدهای جاوا و جداسازی منطق برنامه از رابط کاربری طراحی شده است.
آرتور مک آدان، شاهزادهای از خاندان دال ریاتا در قرن ششم، پسر آیدان مک گابرین بود. او به احتمال زیاد رهبر نظامی در نبرد با پیکتها بود و همراه برادرش در نبرد میاثی کشته شد. نام او که از آرتور گرفته شده، ریشهای بریتونی دارد.
نیکولا شیمچ (۱۷۶۶-۱۸۴۸)، فیلسوف صرب، به عنوان نویسنده اولین کتاب مدرن منطق به زبان صربی شناخته میشود. آثار او که در بوداپست منتشر شد، تأثیر بسزایی در تفکر منطقی در منطقه داشت.
کرنگوریله یک دهستان در شهرستان دامبوویتسا، منطقه مونتنیا در رومانی است که جمعیت آن ۳۳۹۹ نفر میباشد. این دهستان از هشت روستا تشکیل شده است: بادولستی (مرکز دهستان)، کرنگوریله دِ ژوس، کرنگوریله دِ سوس، پاترویا-دِال، پاترویا-والِه، پوتلوگِنی-والِه، راتِستی و وویا.
رنجیت سینگ بالیان، سیاستمدار برجسته هندی و عضو حزب شیومانی آکالی دال، دو بار به عنوان نماینده مجلس ایالتی پنجاب از حوزه سانگرور انتخاب شد و در کابینه ایالتی نیز خدمت کرد. وی در سال ۲۰۱۶ در سن ۶۱ سالگی درگذشت.
مایکل پاول فورمن، استاد برجسته سیستمهای کامپیوتری در دانشگاه ادینبورو و رئیس پیشین دانشکده انفورماتیک است. او در زمینههای منطق کاربردی در علوم کامپیوتر، هوش مصنوعی و طراحی سیستمهای دیجیتال فعالیت گستردهای دارد و یکی از توسعهدهندگان اصلی سیستم لامبدا برای خودکارسازی طراحی سختافزار به شمار میرود.
فلسفه کاربردی زنیت (ZAP) سازمانی در کرایستچرچ نیوزیلند است که در سال ۱۹۷۴ توسط جان دالهوف تأسیس شد. این سازمان با ترکیبی از ساینتولوژی، عرفان شرقی و ایدههای انجمن جان بیرچ، اعضای خود را به انضباط ذهنی و فلسفه کاربردی تشویق میکرد و در کسبوکارها و سیاست نیز فعال بود.
برور اوستر دال (۱۹۰۰-۱۹۷۳) دونده سوئدی بود که در مسابقات ۱۰۰ متر و ۴×۱۰۰ متر امدادی المپیک تابستانی ۱۹۲۴ پاریس شرکت کرد. او نماینده سوئد در این رقابتهای بینالمللی بود.
مارتین نوتسن (۱۷۱۳-۱۷۵۱) فیلسوف آلمانی و پیرو کریستین ولف بود که به عنوان استاد ایمانوئل کانت، فیزیک نیوتون را به او معرفی کرد. او در کونیگسبرگ (کلینینگراد کنونی) متولد شد و در فلسفه، ریاضی و فیزیک تحصیل کرد. نوتسن به عنوان استاد منطق و متافیزیک، بر اندیشههای کانت تأثیر گذاشت و او را با ادبیات علمی عصر و آثار نیوتون آشنا ساخت.
ویلی وانکا، شخصیت خیالی رولد دال، در "چارلی و کارخانه شکلاتسازی" و دنباله آن معرفی شد. این نام به فیلمها، موزیکالها، فرنچایز و برند آبنبات نیز اطلاق میشود.
مربع مخالفت در منطق صوری، نمایی است که روابط بین چهار گزاره مقولهای اساسی را نشان میدهد. ریشههای آن به ارسطو و تمایز بین دو نوع مخالفت: تناقض و تضاد برمیگردد. این مربع توسط آپولونیوس و بوئتیوس قرنها پس از ارسطو ترسیم شد.
اصل استقلال از فرضیه در نظریه اثبات و ریاضیات سازنده بیان میکند که اگر φ و ∃x θ جملههایی در یک نظریه صوری باشند و φ → ∃x θ قابل اثبات باشد، آنگاه ∃x (φ → θ) نیز قابل اثبات است. این اصل در منطق کلاسیک معتبر است، اما در منطق شهودی به طور کلی اعتبار ندارد.
بستهبندی استنتاجی در منطق ریاضی، مجموعهای از فرمولهای منطقی است که شامل تمام فرمولهایی میشود که بهطور منطقی از آن استنتاج میشوند. به عبارت دیگر، اگر مجموعهای از فرمولها همیشه نتیجهگیری منطقی داشته باشد، آن مجموعه بستهبندی استنتاجی دارد.
در انتخابات مجلس ایالتی هاریانا در سال ۲۰۰۰، حزب لوک دال هند (INLD) اکثریت مطلق را به دست آورد. عمران پورکاش چوتاله به عنوان رهبر حزب در مجلس انتخاب شد و برای پنجمین بار در ۳ مارس ۲۰۰۰ به عنوان وزیر ارشد هاریانا سوگند یاد کرد.
بریج بهاری پراساد، سیاستمدار هندی و عضو حزب راشتریا جاناتا دال، به عنوان وزیر علم و فناوری در دولت بیهار خدمت کرد. او به دلیل نقشش در فساد اداری و درگیریهای جناحی مشهور بود. پراساد در ۱۳ ژوئن ۱۹۹۸ در حالی که برای درمان در بیمارستان بود، ترور شد. مرگ او به تلافی قتل چوتان شکلا، یک گانگستر محلی، عنوان شد.
مسیریابی فازی روشی نوین در بهکارگیری منطق فازی برای پروتکلهای مسیریابی است. این تکنیک بهویژه در شبکههای بیسیم موقت و شبکههایی که از کلاسهای مختلف کیفیت سرویس پشتیبانی میکنند، کاربرد دارد. در حال حاضر، این موضوع در مرحله تحقیق و توسعه قرار دارد.
