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

ایماژ یا صور خیال مجموعه ی تشبیه ها و استعاره ها و به طور کلی صورت مجازی بیان را دربردارد. ایماژیسم مکتبی در شعر است که بر مبنای تصویرگرایی و خیال پردازی شکل گرفت و افرادی مانند: تی.اس.الیوت که از نظریه پردازان نقد نو است، از تصاویری که ظاهراً بی ربط هستند ولی در کنار هم قرار می گیرند، استقبال کردند. آنها برای ارائه ی مقصود به جای بیان مستقیم از صورخیال استفاده کردند. ایماژیست ها آثار بزرگی که م...

هدف: هدف اصلی این پژوهش، بررسی تأثیر سبکهای شناختی بر قضاوت ربط در فرایند گزینش و ارزیابی منابع اطلاعاتی است. روش‎شناسی: این پژوهش از نوع کاربردی است و به روش پیمایشی اجرا شده است. جامعة پژوهش را دانشجویان مقطع کارشناسی ارشد دانشگاه فردوسی مشهد در دو حوزة علوم انسانی/ اجتماعی و علوم پایه/ فنّی- مهندسی تشکیل دادند که بر اساس آزمون تحلیل سبک‎شناختی رایدینگ در یکی از گروه‎های کل‌گرا یا تحلیلی...

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

منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...

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

روش خوشه بندی نتایج جستجو از روش های موثر در سازماندهی اطلاعات در وب است. در این پژوهش میزان تاثیرگذاری این روش در بازیابی تصاویر مربوط از ابرموتور جستجوی yippy با استفاده از سنجه دقت مورد توجه می باشد. در این آزمون، تعداد 12 پرسش به صورت تصادفی از سایت wordtracker انتخاب شد. پرسش ها در خوشه تصویر ابرموتور yippy جستجو شده و20 نتیجه اول از خوشه اصلی و سه زیرخوشه برای ارزیابی ربط ذخیره گردید. داد...

در این مقاله نخست از حروف ربط همپایگی و انواع ساخت همپایگی و پیشینة مطالعات آن در زبان فارسی بحث شده است، سپس رویکرد چندهسته ای و رویکرد حرف ربط همپایگی به مثابة یک هستة نقشی مورد مطالعه قرار گرفته و به نارسائی های انگارة مشخصگر- هسته- متمم و افزودگی برای ساخت همپایگی اشاره شده است. در رابطه با نوع و بنیان همپایه ها تصریح می شود که همپایگی در هر سطحی حتی در سطح پایین تر از واژه نیز امکان پذیر ا...

چکیده ندارد.

هدف: پژوهش حاضر به مقایسه میزان ربط نتایج حاصل از محدودسازی عبارت جست وجو به روش عنوان و به طریق نشانی اینترنتی توسط کاربران در استانداری همدان و هم چنین میزان حضور کلیدواژه های مورد جست وجو در وب سایت های گروه های مورد پژوهش می باشد. روش پژوهش: جامعه آماری این پژوهش90 نفر از کارشناسان استانداری همدان هستند. آنان با استفاده از قسمت جست وجوی پیشرفته موتور کاوش گوگل، کلیدواژه های (یک و چند واژه ا...