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

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

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

ابرگراف: تعمیم گراف‌ها و کاربردهای آن

Hypergraph

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

علوم کامپیوتر ریاضیات هوش مصنوعی

لودوویکو دلله کلمبه: فیلسوف ایتالیایی و رقیب گالیله

Lodovico delle Colombe

لودوویکو دلله کلمبه (حدود ۱۵۶۵ - پس از ۱۶۲۳) فیلسوف ایتالیایی پیرو آرای ارسطو بود که به‌خاطر مناظراتش با گالیله در فیزیک و ستاره‌شناسی شهرت یافت. او به دفاع از نظریه‌های ارسطویی در برابر یافته‌های جدید گالیله پرداخت و در مناظراتی دربارهٔ ماهیت ستاره‌های نوظهور، حرکت زمین، سطح ماه و شناور شدن اجسام شرکت کرد.

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

دیمیتری گینف: فیلسوف علم و هرمنوتیک

Dimitri Ginev

دیمیتری گینف (۱۹۵۶-۲۰۲۱)، فیلسوف بلغاری و استاد تاریخ گفتمان‌های مطالعات فرهنگی، به‌ویژه در فلسفه علم هرمنوتیک تخصص داشت. او با تأسیس مجله بین‌المللی Studia Culturologica و تألیف آثار متعدد، به توسعه فلسفه علم و نظریه‌های اجتماعی 기여 کرد.

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

جوزف بردسل: انسان‌شناس برجسته و مطالعه بر روی بومیان استرالیا

Joseph Birdsell

جوزف بنجامین بردسل (۱۹۰۸-۱۹۹۴)، انسان‌شناس برجسته از دانشگاه هاروارد و یوسی‌ال‌ای، به دلیل مطالعاتش بر روی بومیان استرالیا شناخته می‌شود. او با همکاری نورمن تایندل، تحقیقات میدانی گسترده‌ای در استرالیا انجام داد و نظریه‌های مهمی در مورد منشأ بومیان این قاره ارائه کرد.

تاریخ استرالیا انسان‌شناسی بومیان استرالیا

کنت ان. استیونز: پیشگام علم آواشناسی و پردازش گفتار

Kenneth N. Stevens

کنت ان. استیونز، استاد برجسته مهندسی برق و علوم کامپیوتر در MIT، یکی از دانشمندان پیشرو در زمینه آواشناسی آکوستیک بود. او با نظریه کوانتومی خود، درک ما از صداهای زبان را متحول کرد و جوایزی چون مدال ملی علوم را دریافت نمود. آثار او همچنان الهام‌بخش پژوهشگران است.

زبان‌شناسی علم و فناوری مهندسی برق

ژِفْروا دو لاگاسنری: فیلسوف و جامعه‌شناس چپ‌گرای فرانسوی

Geoffroy de Lagasnerie

ژِفْروا دو لاگاسنری، فیلسوف و جامعه‌شناس برجسته فرانسوی (متولد 1981)، در حوزه فلسفه اجتماعی و سیاسی، معرفت‌شناسی، نظریه انتقادی و جامعه‌شناسی فرهنگ و زندگی فکری فعالیت می‌کند. او به ویژه به آثار بوردیو و فوکو علاقه‌مند است و آثار متعددی در این زمینه‌ها منتشر کرده است.

جامعه‌شناسی علوم سیاسی فلسفه

ریاضیات بدون مختصات: رویکردی مدرن به نظریه‌ها

Coordinate-free

ریاضیات بدون مختصات، رویکردی است که مفاهیم را مستقل از سیستم‌های مختصاتی خاص توسعه می‌دهد. این روش با ساده‌سازی معادلات و کاهش ناسازگاری‌ها، ظرافت ریاضی را افزایش می‌دهد، هرچند با هزینه انتزاع بیشتر از جزئیات محاسباتی. این رویکرد در اثبات صحت تعریف‌ها و کاربردهایی مانند فضاهای برداری و هندسه دیفرانسیل حیاتی است.

فیزیک نظری گرافیک کامپیوتری ریاضیات پیشرفته

نیکولای رشیخین: فیزیکدان و ریاضیدان برجسته

Nicolai Reshetikhin

نیکولای یوریویچ رشیخین، زاده ۱۰ اکتبر ۱۹۵۸ در لنینگراد، یک فیزیکدان و ریاضیدان برجسته است. او هم‌اکنون استاد ریاضیات در دانشگاه تسینگهوا چین و استاد فیزیک ریاضی در دانشگاه آمستردام است. تحقیقات او در زمینه‌های توپولوژی ابعاد پایین، نظریه نمایش و گروه‌های کوانتومی متمرکز است. از مهم‌ترین دستاوردهای او می‌توان به توسعه نظریه سیستم‌های یکپارچه کوانتومی و ساخت مدارهای ناگسستنی در توپولوژی کوانتومی اشاره کرد.

ریاضیات فیزیک نظری توپولوژی

ایده‌آلیسم ذهنی

Subjective idealism

ایده‌آلیسم ذهنی یا تجربه‌گرایی ذهنی، نوعی مونیسِم فلسفی است که تنها وجود ذهن و محتوای ذهنی را قبول دارد. این نظریه با ماده‌باوری حذف‌گرایانه در تضاد است و واقعیت را کاملاً وابسته به ذهنِ درک‌کننده می‌داند. جورج برکلی، فیلسوف ایرلندی، از مهم‌ترین مدافعان این نظریه است که معتقد بود جهان تنها از ذهن انسان و خدا تشکیل شده است.

تاریخ فلسفه فلسفه ذهن نظریه‌های ادراک

درجه علمی Promotion A در آلمان شرقی: تاریخچه و الزامات

Promotion A

Promotion A، معادل دکتری در آلمان شرقی (DDR)، در اصلاحات آموزشی سال ۱۹۶۸ معرفی شد. این درجه نیازمند نگارش رساله‌ای بود که علاوه بر محتوای علمی، باید حاوی مبانی مارکسیسم-لنینیسم و ارزش‌های سوسیالیستی می‌بود. الزامات آن شامل داشتن مدرک دانشگاهی، تسلط بر نظریه‌های مارکسیستی و مشارکت فعال در جامعه سوسیالیستی بود.

تاریخ آموزش ایدئولوژی سیاسی درجه‌های آکادمیک

روانی در نظریه احتمال

Smoothness (probability theory)

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

آمار ریاضیات نظریه احتمال

پیامبر: برترین آثار

The Prophet: The Best of the Works

آلبوم غیررسمی «پیامبر: برترین آثار» مجموعه‌ای از بهترین کارهای توپاک شکور، رپر آمریکایی، است که در سال ۲۰۰۳ توسط دث رو رکوردز منتشر شد. این آلبوم شامل قطعاتی از آلبوم‌های «همه چشمان بر من»، «دون کیلومیناتی: نظریه ۷ روزه» و «زندگی اشرار: جلد ۱» است.

آلبوم‌های گردآوری‌شده موسیقی رپ توپاک شکور

کارل بریتر: پیشگام ساخت دانش و یادگیری مشارکتی

Carl Bereiter

کارل ادوارد بریتر (زاده ۱۹۳۰) محقق برجسته آموزش و استاد بازنشسته مؤسسه مطالعات آموزشی انتاریو در دانشگاه تورنتو است. او به‌خاطر تحقیقاتش در زمینه ساخت دانش و یادگیری مشارکتی کامپیوتری شناخته می‌شود. بریتر به‌همراه مارلن اسکاردامالیا نظریه «ساخت دانش» را توسعه داد و از بنیانگذاران سیستم CSILE، نخستین شبکه یادگیری مشارکتی، بود.

فناوری آموزشی روانشناسی آموزشی نظریه‌های یادگیری

گریس بیتس: ریاضیدان پیشگام آمریکایی

Grace Bates

گریس الیزابت بیتس (۱۳ اوت ۱۹۱۴ - ۱۹ نوامبر ۱۹۹۶)، ریاضیدان آمریکایی و از معدود زنانی بود که در دهه ۱۹۴۰ دکترای ریاضی دریافت کرد. او به عنوان استاد ممتاز در کالج ماونت هولیوک فعالیت داشت و در زمینه جبر و نظریه احتمال تخصص یافت. بیتس با نگارش دو کتاب درسی و غلبه بر موانع آموزشی، راه را برای زنان آینده در عرصه علم هموار کرد.

زنان پیشگام زندگی‌نامه دانشمندان تاریخ ریاضیات

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

Robert C. Koons

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

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

مدل کوره اسلاتینو: کهن‌ترین تقویم اروپا یا ظرف غلات؟

Slatino furnace model

مدل کوره اسلاتینو، شیء سفالین باستانی از دوره مس‌سنگی (حدود ۵۰۰۰ پیش از میلاد) در بلغارستان کشف شده است. این شیء با شبکه‌ای مربع‌شکل و علامت‌گذاری رنگی، احتمالاً نخستین تقویم شناخته‌شده در اروپا باشد. بااین‌حال، نظریه‌ای دیگر آن را ظرفی برای غلات مرتبط با آیین باروری می‌داند.

تاریخ اروپا باستان‌شناسی هنر سفالگری

تخصیص سهم در نظریه بازی‌ها

Imputation (game theory)

در بازی‌های کاملاً همکاری‌محور، بازیکنان ائتلاف‌هایی تشکیل می‌دهند که سود حاصل از آن برابر یا بیشتر از کار انفرادی باشد. هدف اصلی، توزیع عادلانه و کارآمد سود بین اعضای ائتلاف بزرگ است. تخصیص‌های سهم (Imputation) توزیع‌هایی هستند که هم کارآمد و هم منطقی به صورت فردی باشند.

نظریه بازی‌ها بازی‌های همکاری‌محور توزیع سود

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

Deductive closure

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

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

گستردگی ماتریس

Spread of a matrix

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

جبر خطی ریاضیات پیشرفته نظریه ماتریس

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

IEEE 1164

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

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