چکیده ندارد.

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

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

چکیده ندارد.

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

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