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

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

در زبان فارسی، عناصر نحوی درون گروه زمان و از جمله سازه هایی که در جایگاه موضوع قرار دارند، می توانند به دلا یل کلامی و به منظور یافتن خوانش نشاندار، از فراز یکدیگر گذر کنند و به جایگاهی بالاتر از بند خود جابه جا شوند. مقالة حاضر می کوشد تا با رویکردی مشخصه بنیاد، فرایندهای یادشده را در چارچوب مفاهیم نظری برنامة کمینه گرا تبیین کند و تحلیلی همگون از انگیزة حرکت سازه های مؤک د و مبتدا و نیز...

در زبان فارسی، عناصر نحوی درون گروه زمان و از جمله سازه هایی که در جایگاه موضوع قرار دارند، می توانند به دلا یل کلامی و به منظور یافتن خوانش نشاندار، از فراز یکدیگر گذر کنند و به جایگاهی بالاتر از بند خود جابه جا شوند. مقالة حاضر می کوشد تا با رویکردی مشخصه بنیاد، فرایندهای یادشده را در چارچوب مفاهیم نظری برنامة کمینه گرا تبیین کند و تحلیلی همگون از انگیزة حرکت سازه های مؤک د و مبتدا و نیز...

رأی‏گیری الکترونیکی، انتخاباتی است که در هر یک از مراحل آن از ابزارهای الکترونیکی، استفاده شده باشد. سیستم¬های رأی‏گیری الکترونیکی بایستی حداقل به اندازه مدل سنتی آن، ویژگی‏های امنیتی را برآورده نمایند. یکی از نیازهای امنیتی که بسیار حائز اهمیت است قابلیت بازبینی می‏باشد. ویژگی قابلیت بازبینی انتخابات، این امکان را به رأی‏دهندگان و ناظران انتخابات می‏دهد که بتوانند مراحل ضبط، جمع‏آوری و شمارش آ...

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

در این مقاله ضمن معرفی آراء دستورنویسان و زبان شناسان در مورد تکواژ جمع «– ها»، زمان واژه های جمع زبان فارسی را به دو گروه تقسیم می کنیم. در ادامه، ضمن تمرکز بر زمان واژه های دارای نشانة جمع «– ها»، ابتدا با استفاده از تعامل میان این گروه از زمان واژه ها، از یک سو با سورها، و از سوی دیگر با عبارات استفهامی، نشان خواهیم داد که نشانة جمع «– ها» به زمان واژة میزبان خود ویژگی گروه های سور را می بخش...