با ظهور منطق صوری جدید و پیشرفت در متمایز کردن صورت از ماد ّه، مواردی از خلط صورت با ماد ّه در منطق قدیم آشکار شده است. عده ای معتقدند این خلط در قاعدۀ عکس مستوی که از قواعد صوری بسیار مهم است و در اثبات بسیاری از دیگر قواعد صوری هم به کار می رود، وجود دارد؛ چون در مواردی از اعمال قاعدة عکس مستوی، استنتاج وجودی از شرطی صورت می گیرد و اصل صادق، امـّا عکس کاذب است. علّت اینکه پیشینیان آن را معتبر می ...

هدف: سنجش میزان صحت پیشینه­ های کتابشناختی پایگاه اپک کتابخانه ملی ایران به لحاظ ساختار صوری پیشینه ها. روش/رویکرد پژوهش: در این پیمایش با بهره گیری از فرمول کوکران تعداد 1100 پیشینه از میان نزدیک به هفتصد هزار پیشینه کتاب انتخاب و با استفاده از سیاهه وارسی پژوهشگرساخته تحلیل شد. یافته ها: در 48 درصد پیشینه ها اشکال وجود داشت. بیشترین اشکال رعایت نکردن ضوابط مربوط به یونی کد و غلط املایی در برخ...

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

هدف: سنجش میزان صحت پیشینه­‌های کتابشناختی پایگاه اپک کتابخانه ملی ایران به‌لحاظ ساختار صوری پیشینه‌ها. روش/رویکرد پژوهش: در این پیمایش با بهره‌گیری از فرمول کوکران تعداد 1100 پیشینه از میان نزدیک به هفتصد هزار پیشینه کتاب انتخاب و با استفاده از سیاهه‌ وارسی پژوهشگرساخته تحلیل شد. یافته‌‌ها: در 48 درصدِ پیشینه‌‌ها اشکال وجود داشت. بیشترین اشکال رعایت نکردن ضوابط مربوط به یونی‌کد و غلط املایی در ...

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

با ظهور منطق صوری جدید و پیشرفت در متمایز کردن صورت از ماد‌ّه، مواردی از خلط صورت با ماد‌ّه در منطق قدیم آشکار شده است. عده‌ای معتقدند این خلط در قاعدۀ عکس مستوی که از قواعد صوری بسیار مهم است و در اثبات بسیاری از دیگر قواعد صوری هم به‌ کار می‌رود، وجود دارد؛ چون در مواردی از اعمال قاعدة عکس مستوی، استنتاج وجودی از شرطی صورت می‌گیرد و اصل صادق، امـّا عکس کاذب است. علّت اینکه پیشینیان آن را معتبر می...

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

الف. موضوع و طرح مسئله: زبان همچون تمامی نظامها، دارای لایه های مختلف ساختاری است که کارکردی مخصوص به خود دارند و افزون بر این، در تعامل با یکدیگرند. دستیابی به الگوهای عملکرد این نظامهای درون زبانی برای درک کارکرد زبان و ایجاد امکان مدلسازی آن حائز اهمیّت است، به ویژه الگوهایی که بتوانند عملکرد سطوح مختلف را فارغ از نظام یک زبان خاص توضیح دهند. ریاضیات به عنوان علمی که روابط و مفاهیم پیچیده را...