در این پژوهش توان اکولوژیکی منطقه سجافی در شهرستان هندیجان، با توجه به گسترش روز افزون توسعه در مناطق سـاحلی  و همجـوار  آن از یک سو و آسیب پذیری بالقوه آنها از سوی دیگر، در مقیاس 1:100000 و با روش رویهم گذاری نقشه ها به روش بولین با کمک سامانه اطلاعات جغرافیایی (GIS) ارزیابی شد. همچنین برای کاستی های موجود منطق     بـولین در روش          رویهـم  گـذاری، از منطـق فـازی  در روش مذکور استفاده و ن...

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

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

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

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

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

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

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

هدف: مطالعه دلالت های منطق ریاضی برتراند راسل در طراحی نظام های سازماندهی اطلاعات. روش/ رویکرد:از حیث گردآوری داده ها، تاریخی و از نظر نوع، تحلیلی و از نظر هدف، کاربردی است و به روش تحلیل محتوای کیفی انجام شده است. یافته‏ها: در این پژوهش، چارچوبی نحوی، معناشناختی، هستی شناختی، و منطقی برای طبقه بندی و تحلیل شناسه های موضوعی معرفی شده است. ضعف ها و کاستی های زبان طبیعی در مقایسه با زبان های منطق...

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