جستجو در مقالات

عبارت مورد نظر خود را بنویسید

20 نتیجه برای «منطق گزاره‌ای» پاک کردن

اراده‌گرایی معرفتی: انتخاب باورها توسط خودمان

Doxastic voluntarism

اراده‌گرایی معرفتی دیدگاهی فلسفی است که معتقد است باورهایمان را خودمان انتخاب می‌کنیم. این نظریه، که ریشه در منطق معرفتی دارد، انسان را خالق باورهایش می‌داند و به دو نوع مستقیم و غیرمستقیم تقسیم می‌شود.

فلسفه معرفت‌شناسی اخلاق

من باور دارم (ترانه‌ی تِی‌اِی‌فیل‌استایل)

I Do Believe (Tha Feelstyle song)

«من باور دارم (ریمیکس)» تک‌آهنگی از هنرمند هیپ‌هاپ نیوزیلندی، تِی‌اِی‌فیل‌استایل، است که در سال ۲۰۰۶ منتشر شد. این ترانه به‌عنوان موسیقی اصلی فیلم «عروسی سیون» انتخاب شد و با همکاری رپرها، دی‌جی‌ها و هنرمندان نیوزیلندی از جمله مارکو، فلوز، مانوئل باندی و لپی مارینر تولید گردید.

موسیقی هیپ‌هاپ فیلم و موسیقی هنر نیوزیلند

زبان عبارات جایاکارتا (Jakarta Expression Language)

Jakarta Expression Language

زبان عبارات جایاکارتا (EL)، که پیشتر با نام‌های Expression Language و Unified Expression Language شناخته می‌شد، زبانی تخصصی برای ارزیابی عبارات در صفحات وب برنامه‌های Jakarta EE است. این زبان با هدف ساده‌سازی تعامل با کدهای جاوا و جداسازی منطق برنامه از رابط کاربری طراحی شده است.

توسعه وب Jakarta EE زبان‌های برنامه‌نویسی

تکنوپولیس اوی‌اُی: فضاهای کسب‌وکار و مراکز نوآوری در شمال اروپا

Technopolis Oyj

تکنوپولیس اوی‌اُی (Technopolis Oyj) شرکتی فنلاندی است که فضاهای اداری و خدماتی مراکز رشد کسب‌وکار را فراهم می‌کند. این شرکت با ۱۶ پردیس در منطقه نوردیک و بالتیک، میزبان هزاران نفر و شرکت است.

فضای کسب‌وکار نوآوری و استارتاپ املاک تجاری

منطق شگفت‌انگیز گراف‌های تصادفی

The Strange Logic of Random Graphs

کتاب «منطق شگفت‌انگیز گراف‌های تصادفی» نوشته جوئل اسپنسر، به بررسی قوانین صفر-یک در گراف‌های تصادفی می‌پردازد. این کتاب که در سال ۲۰۰۱ توسط اسپرینگر منتشر شد، مدل اردوش-رنی-گیلبرت را تحلیل می‌کند و نشان می‌دهد چگونه احتمال بروز ویژگی‌های خاص در گراف‌ها با افزایش اندازه آنها به صفر یا یک میل می‌کند.

ریاضیات گسسته نظریه گراف احتمالات

پر نودسن، فوتبالیست دانمارکی

Per Knudsen (Danish footballer)

پر نودسن (۲ ژوئن ۱۹۲۵ - ۸ فوریه ۱۹۹۹) یک فوتبالیست دانمارکی بود که به عنوان مدافع در تیم اِی‌جی‌اف بازی می‌کرد. او عضو تیم ملی دانمارک در المپیک ۱۹۴۸ و ۱۹۵۲ بود، اما در هیچ مسابقه‌ای به میدان نرفت. با این حال، او موفق به کسب مدال برنز المپیک ۱۹۴۸ شد.

المپیک فوتبال ورزشکارانی از دانمارک

مارتین نوتسن: فیلسوف آلمانی و استاد کانت

Martin Knutzen

مارتین نوتسن (۱۷۱۳-۱۷۵۱) فیلسوف آلمانی و پیرو کریستین ولف بود که به عنوان استاد ایمانوئل کانت، فیزیک نیوتون را به او معرفی کرد. او در کونیگسبرگ (کلینینگراد کنونی) متولد شد و در فلسفه، ریاضی و فیزیک تحصیل کرد. نوتسن به عنوان استاد منطق و متافیزیک، بر اندیشه‌های کانت تأثیر گذاشت و او را با ادبیات علمی عصر و آثار نیوتون آشنا ساخت.

تاریخ علم بیوگرافی فلسفه

مدرسه تریویوم

Trivium School

مدرسه تریویوم یک مدرسه کاتولیک مستقل آماده‌کننده ورود به دانشگاه برای پسران و دختران در مقاطع هفتم تا دوازدهم است. این مدرسه در لنکستر، ماساچوست واقع شده و در سال ۱۹۷۹ توسط جان اس. اشمیت تأسیس شد. برنامه درسی آن بر اساس سه هنر لیبرال (نحو، منطق و بلاغت) طراحی شده و بر پرورش فضایل فکری تأکید دارد.

مدارس خصوصی آموزش کاتولیک مؤسسات آموزشی ماساچوست

استاندارد IEEE 1164: منطق چند ارزشی برای VHDL

IEEE 1164

استاندارد IEEE 1164، سیستم منطق چند ارزشی برای VHDL است که در سال 1993 منتشر شد. این استاندارد، مقادیر منطقی مورد نیاز در طراحی خودکار الکترونیک و زبان توصیف سخت‌افزار VHDL را تعریف می‌کند و با ارائه مقادیری مانند 'Z'، 'H'، 'L' و 'U'، مدل‌سازی و شبیه‌سازی طرح‌های منطقی پیچیده را تسهیل می‌نماید.

طراحی مدار دیجیتال زبان‌های توصیف سخت‌افزار (HDL) استانداردهای مهندسی برق

نیکولا شیمچ: پیشگام منطق مدرن در زبان صربی

Nikola Šimić

نیکولا شیمچ (۱۷۶۶-۱۸۴۸)، فیلسوف صرب، به عنوان نویسنده اولین کتاب مدرن منطق به زبان صربی شناخته می‌شود. آثار او که در بوداپست منتشر شد، تأثیر بسزایی در تفکر منطقی در منطقه داشت.

تاریخ فلسفه مطالعات فرهنگی

ویژگی توزیع‌پذیری در ریاضیات

Distributive property

ویژگی توزیع‌پذیری یکی از مفاهیم بنیادین ریاضیات است که نشان می‌دهد چگونه یک عملگر دوتایی (مانند ضرب) بر عملگر دیگری (مانند جمع) اثر می‌گذارد. این قانون در ساختارهای جبری مختلف، از اعداد حقیقی و ماتریس‌ها گرفته تا جبر بولی و منطق گزاره‌ای، کاربرد گسترده‌ای دارد.

جبر و ریاضیات منطق ریاضی ساختارهای جبری

رابرت سی. مِی

Robert C. May

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

فلسفه زبان منطق و معناشناسی فیلسوفان آمریکایی

تالار ناوی پیر: تاریخچه، ابعاد و رویدادها

Navy Pier Auditorium

تالار ناوی پیر شیکاگو، با نام مستعار "هال"، در سال ۱۹۱۶ توسط چارلز سامنر فراست طراحی و ساخته شد. این مجموعه شامل تالار فستیوال و تالار بزرگ اِی‌اُن است که در طول سال‌ها شاهد بازسازی‌ها و میزبانی رویدادهای فرهنگی و عمومی متعددی بوده است.

تاریخ معماری جاذبه‌های گردشگری شیکاگو سالن‌های همایش و رویداد

ژرمی آبادیه: هافبک فرانسوی

Jérémy Abadie

ژرمی آبادیه، متولد ۱۷ اکتبر ۱۹۸۸، یک فوتبالیست حرفه‌ای فرانسوی است که در پست هافبک برای تیم اِی‌اس لا شاتنیِر بازی می‌کند. او سابقه بازی در لیگ ۲ فرانسه برای باشگاه آرسی استراسبورگ را دارد و در سال ۲۰۱۷ از لا روش وی‌اف به اف‌سی شالان منتقل شد.

هافبک‌های فوتبال فوتبالیست‌های فرانسوی بازیکنان لیگ ۲ فرانسه

جمع‌کننده (الکترونیک)

Adder (electronics)

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

الکترونیک دیجیتال مدارهای منطقی پردازشگرها

مسابقات انفرادی جام راجرز اِی‌تی‌اند‌تی ۲۰۰۱

2001 Rogers AT&T Cup – Singles

سرنا ویلیامز در دیدار پایانی با غلبت بر جنیفر کاپریاتی، عنوان قهرمانی بخش انفرادی زنان مسابقات تنیس آزاد کانادا ۲۰۰۱ را به دست آورد. مارتینا هینگیس، قهرمان دو دوره پیش، در این رویداد غایب بزرگ بود.

مسابقات بین‌المللی ورزشکاران زن ورزش تنیس

بسته‌بندی استنتاجی

Deductive closure

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

ریاضیات فلسفه منطق

الی برتان، زمین‌شناس و طبیعت‌شناس سوئیسی

Élie Bertrand

الی برتان (۱۷۱۳-۱۷۹۷) یک زمین‌شناس و طبیعت‌شناس سوئیسی بود که آثار مهمی در زمینه ساختار داخلی زمین، کوه‌ها و زلزله‌ها به جای گذاشت. او همچنین در زمینه زبان‌شناسی و منطق فعالیت داشت و به عنوان یکی از نویسندگان دائرةالمعارف (۱۷۵۱-۱۷۷۲) شناخته می‌شود.

زمین‌شناسی تاریخ علم طبیعت‌شناسی

رابرت سی. کونز: فیلسوف و استاد دانشگاه تگزاس

Robert C. Koons

رابرت چارلز کونز، فیلسوف آمریکایی و استاد دانشگاه تگزاس، به دلیل مشارکت‌هایش در متافیزیک و منطق فلسفی شناخته می‌شود. او همچنین مدافع آزادی آکادمیک و آموزش تمدن غربی است. کونز با تألیف کتاب‌هایی مانند «افول ماتریالیسم» و «اطلس واقعیت»، نقش مهمی در فلسفه معاصر ایفا کرده است.

آموزش عالی متافیزیک فلسفه معاصر

فهرست قسمت‌های سریال خانم وزیر

List of Madam Secretary episodes

سریال خانم وزیر، یک درام سیاسی آمریکایی ساخته باربارا هال است که در آن تی لئونی نقش الیزابت مک‌کورد، تحلیل‌گر سابق سی‌آی‌اِی را بازی می‌کند که به سمت وزیر امور خارجه آمریکا منصوب می‌شود. این سریال در مه ۲۰۱۴ سفارش داده شد و اولین قسمت آن در ۲۱ سپتامبر ۲۰۱۴ از شبکه سی‌بی‌اس پخش شد.

سریال‌های تلویزیونی سریال‌های آمریکایی درام سیاسی