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

با‏وجود اهمیت ساخت سببی- که جزء جهانی‌هاست- و نیز انجام‏شدن پژوهش‏های گسترده دربارۀ این‏گونه ساخت‌ها در زبان‌های دیگر، تحقیق دربارۀ ساخت‌ سببی ریشه‏ای، تک‏واژی و کمکی ترکی آذری، محدود به بررسی‌های سنتی است، و توصیف‌ها به افزوده‏شدن تک‏واژ سببی دئر (dir) به پایه‏های فعلی‏ای چون قاچ دیرماق (qaçdirmaq)، یعنی دواندن/ دوانیدن و یاتدیرماق (yatdirmaq)، یعنی خواباندن/ خوابانیدن اختصاص دارند؛ بنابر‏این،...

چکیده ایده‌ها و اندیشه‌ها در فرایند شکل‌گیری لزوماً ترتیبِ درست و مراحلِ منطقی خود را طی نمی‌کنند. آنها بیشتر، وقوع و ظهوری «طبیعی»دارند تا «منطقی». از همین روست که مطالعات دین‌داری، پیش از مدل‌سازی و مدل‌سازی‌ها پیش از تأمل در مبانی ساخت مدل‌های دین‌داری به ظهور رسیده‌اند. مدل‌سازی برای دین‌داری، از پی ِمطالعات بسیط  اولیه در اطراف دین‌داری ضرورت پیدا کرد و کنکاش در منطق و مبانی ساخت مدل‌ها نیز ...

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

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

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

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