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

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

این پژوهش کوشیده است تا روش نوینی را برای آموزش مهارت نوشتار معرفی و بررسی نماید که بر استفاده از اصطلاحات پیش ساخته (formulaic expressions) تأکید دارد. بر خلاف روش های رایج آموزش مهارت نوشتار، این روش علاوه بر آموزش دستور و واژگان زبان به آموزش نوشتار فرآیندی نیز (process writing) اهتمام می ورزد. دو گروه 30 نفره از زبان آموزان در این پژوهش شرکت داشته که یکی بر اساس این روش نوین و دیگری بر پایه...

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

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

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

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

آیه دوم سوره مائده که در ارتباط با احکام حج نازل شده، به مسلمانان فرمان داده تا حرمت زائران بیت الله الحرام را حفظ نموده و نه تنها از هرگونه تعدّی به آنان بپرهیزند، بلکه بر نیکی و احسان به آنان با یکدیگر هم پیمان شوند. اما مفسران در تعیین مصداق «آمّینَ البَیتَ الحَرامَ» اختلاف نموده اند. برخی مراد از این زائران را مسلمانان، برخی مسلمانان و مشرکان، و برخی تنها مشرکان دانسته اند که با هدف زیارت یا تجارت...

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