نتایج جستجو
پرش به ناوبری
پرش به جستجو
- در [[معناشناسی صوری (زبانشناسی)|معناشناسی صوری]] ، سور عمومی عبارتی است که مجموعهای از مجموعهها را نشان میدهد. این [[رده:معناشناسی]] ...۸۳۳ بایت (۲۰ واژه) - ۱۴ اوت ۲۰۲۳، ساعت ۱۵:۴۸
- ...ر، یک ساختار جبری ست پس موضوع این نظریه به جبر مربوط میشود و از طرفی نگاه معناشناسی منطقی به ساختارها دارد که این نظریه را در دامنهٔ منطق ریاضی قرار میدهد.]] ...[[ساختار جبری]] ست پس موضوع این نظریه به جبر مربوط میشود و از طرفی نگاه [[معناشناسی]] منطقی به ساختارها دارد که این نظریه را در دامنهٔ [[منطق ریاضی]] قرار مید ...۴ کیلوبایت (۸۴ واژه) - ۸ اوت ۲۰۲۴، ساعت ۱۵:۵۱
- ...ته باشد یا نداشته باشد. با این حال، با [[اصل طرد شق ثالث]] یکسان نیست و یک معناشناسی ممکن است بدون دو ظرفیتی بودن، آن قانون را بپذیرد.<ref name="Tomassi19992" / [[رده:معناشناسی]] ...۵ کیلوبایت (۳۰۱ واژه) - ۹ ژانویهٔ ۲۰۲۳، ساعت ۰۸:۲۴
- ...گاهی اوقات به عنوان '''E''' شناخته میشود و [[منطق وجهی نرمال]] است. هر دو معناشناسی جبری و همسایگی دستگاههای موجهات کلاسیک آشنا را مشخص میکنند که ضعیفتر از ...۲ کیلوبایت (۸۹ واژه) - ۱۴ ژانویهٔ ۲۰۲۳، ساعت ۰۹:۱۱
- ...رهها]]، دست نخورده باقی مانده و عملگرهای وجهی، بسته به [[معناشناسی کریپکی|معناشناسی]] شان به فرمولهای مرتبه اول تبدیل میشوند. که دقیقاً همان معناشناسی دو جعبه را در منطق موجهات بدست میدهد. فرمول <math>\Box \Box p</math> در <m ...۶ کیلوبایت (۲۷۶ واژه) - ۲۷ مارس ۲۰۲۰، ساعت ۰۲:۳۳
- [[رده:معناشناسی]] ...۲ کیلوبایت (۱۲۸ واژه) - ۲۱ فوریهٔ ۲۰۲۴، ساعت ۰۴:۱۴
- ...وتاسیونال زبانهای برنامهنویسی، حالت خاصی از قضیه ناستر-تارسکی برای تعیین معناشناسی تعاریف بازگشتی استفاده میشود. در حالی که قضیه نقطه ثابت روی همان تابع (از ...یج معادل نیستند؛ قضیه ناستر-تارسکی نتیجه بسیار قویتری است نسبت به آنچه در معناشناسی دنوتاسیونال استفاده میشود. با این حال، در پرتو تز چرچ-تورینگ، معنای شهودی ...۹ کیلوبایت (۱۷۰ واژه) - ۹ فوریهٔ ۲۰۲۵، ساعت ۰۵:۱۷
- [[رده:معناشناسی]] ...۳ کیلوبایت (۴۳ واژه) - ۱۱ فوریهٔ ۲۰۲۵، ساعت ۱۴:۱۸
- [[رده:معناشناسی]] ...۳ کیلوبایت (۱۰۴ واژه) - ۲۲ ژانویهٔ ۲۰۲۳، ساعت ۰۸:۵۸
- ...(SI)، دور بر دقیقه یک یکای استاندارد نیست. چرا که دوران و چرخش یک مفهوم [[معناشناسی|معنایی]] است نه یک یکا. در این سامانه، [[کمیت]]های [[بسامد]] و [[سرعت دورا ...۳ کیلوبایت (۵۵ واژه) - ۹ مارس ۲۰۲۵، ساعت ۰۵:۵۳
- [[رده:معناشناسی]] ...۳ کیلوبایت (۱۵۶ واژه) - ۲۷ ژانویهٔ ۲۰۲۵، ساعت ۱۱:۰۸
- ...ثابت در منطق،''' یک [[نظریه زبانها|زبان]] نمادی است که در هر تفسیری، از [[معناشناسی منطقی|ارزش معنایی]] یکسانی برخوردار است. دو نوع مهم از ثابتهای منطقی[[رابط ...۴ کیلوبایت (۱۰۶ واژه) - ۱۹ مهٔ ۲۰۲۴، ساعت ۰۰:۱۷
- ...ی پردازه|جبر پردازه]] و [[معناشناسی نهایی]])، [[زبانشناسی|زبانشناسی]] و [[معناشناسی|معانشناسی]] [[زبان طبیعی]] ([[نظریه وضعیت]])، فلسفه (کار بر روی [[پارادوکس ...۱۰ کیلوبایت (۷۵۹ واژه) - ۷ دسامبر ۲۰۲۰، ساعت ۱۳:۲۵
- [[رده:معناشناسی]] ...۶ کیلوبایت (۲۹۰ واژه) - ۳ فوریهٔ ۲۰۲۴، ساعت ۱۰:۱۵
- ...خاصی قرار داد. باید توجه کرد که تعریف صریحی برای ''عنوان'' از دیدگاههای [[معناشناسی]] یا [[معرفتشناسی]] مشخص نمیشود. بلکه اختصاص عناوین با [[یادگیری با نظارت ...۶ کیلوبایت (۳۰۸ واژه) - ۲۰ نوامبر ۲۰۲۳، ساعت ۱۵:۵۲
- [[رده:معناشناسی]] ...۷ کیلوبایت (۲۲۴ واژه) - ۱۸ ژوئن ۲۰۲۴، ساعت ۱۴:۱۶
- اینها دسته ای از مدلهای رابطه ای برای منطق غیر کلاسیک هستند (ر. معناشناسی کریپکی). ...۸ کیلوبایت (۱۳۹ واژه) - ۹ ژوئیهٔ ۲۰۲۴، ساعت ۰۶:۵۱
- [[رده:معناشناسی]] ...۸ کیلوبایت (۱۳۴ واژه) - ۱۱ دسامبر ۲۰۲۲، ساعت ۰۷:۲۶
- == معناشناسی == معناشناسی منطق موجهات معمولاً بهصورت زیر داده میشوند:<ref>Fitting and Mendelsohn.</ ...۳۱ کیلوبایت (۱٬۵۵۳ واژه) - ۶ اکتبر ۲۰۲۴، ساعت ۰۸:۴۵
- ...ستجو|مسائل جستجوی]] مشکل (در اصل [[انپی سخت]]) گرایش دارد. ASP مبتنی بر [[معناشناسی مدل پایدار]] (مجموعه جواب) در [[برنامهنویسی منطقی]] است. در ASP مسائل جستج ...cs#Stable_models_of_a_set_of_propositional_formulas|فرمولهای گزارهای تحت معناشناسی مدل پایدار]] رفتار کنند.<ref>{{cite journal|last1=Ferraris|first1=P.|last2= ...۳۱ کیلوبایت (۲٬۳۶۷ واژه) - ۱۲ اکتبر ۲۰۲۳، ساعت ۰۷:۳۵