قواعد قیاس حملی، که معمولاً تحت عنوان “the rules of the categorical syllogism” در منابع آموزشی منطق به زبان انگلیسی مطرح می شود، روش مفیدی است که جهت تشخیص اعتبار قیاس های حملی، به منطق آموزان، در کتاب های عمومی آموزش منطق، ارائه می شود. استفاده از این قواعد به تقلید از آثار آموزشی غربی در کشور ما نیز متداول گشته و با اندک تغییراتی، در آثار مؤلفان منطقی در داخل کشور، بازنویسی شده است. این تغییرا...

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

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

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

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

چکیده ندارد.

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

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

در این نوشته، برهانی غیر از برهان استاندارد برای قضیه کیلی - همیلتن ارائه می شود که بر مبنای استفاده از سری های توانی صوری استوار است.