پژوهش حاضر با هدف بررسی سنجش سواد اطلاعاتی کاربران و میزان آموزش سواد اطلاعاتی از سوی کتابداران وابسته به نهاد کتابخانه های عمومی کشور در استان البرز انجام شده است. با توجه به ابعاد پژوهش و نحوه بررسی سوالات، روش پژوهش، پیمایش است و جامعه آماری پژوهش را کاربران دارای تحصیلات دانشگاهی در کتابخانه های عمومی استان البرز تشکیل می دهند. در این پژوهش به منظور جمع¬آوری اطلاعات به روش میدانی از ابزار پرسشنامه محقق ساخته استفاده شده است در تحقیق حاضر پرسشنامه ها در کتابخانه های عمومی استان البرز توزیع و تعداد 255 مورد جمع آوری و مورد تجزیه و تحلیل قرار گرفت. پرسشنامه با پایایی 931/0 در بین نمونه منتخب از جامعه مورد بررسی توزیع گردید و داده های به دست آمده به کمک نرم افزار 18 spss تجزیه و تحلیل گردید. نتایج حاصل از این پژوهش نشان داد که سواد اطلاعاتی کاربران کتابخانه های وابسته به نهاد کتابخانه های عمومی کشور در استان البرز در سطح مطلوبی قرار ندارد. میزان استفاده کاربران از راهنمایی های کتابداران برای ارتقاء سواد اطلاعاتی خود در کتابخانه های وابسته به نهاد کتابخانه های عمومی کشور در استان البرز در سطح مطلوبی قرار دارد. اما میزان کمک کتابداران برای ارتقاء مهارت های سواد اطلاعاتی کاربران در کتابخانه های وابسته به نهاد کتابخانه های عمومی کشور در استان البرز در سطح مطلوبی قرار ندارد.

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

چکیده ندارد.