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

در اصول فقه، به قضایایی که دایره عمل آنها، به زمان، مکان و مخاطبِ ‫خاص منحصر است و حکم آن جنبه عمومی ندارد، «قضیه خارجیه» اطلاق می‫شود و در مقابل آن، «قضیه حقیقیه» قرار دارد. این دو اصطلاح، توسط آخوند خراسانی از دانشِ منطق وارد مباحث اصول‫ فقه شد و پیش از آن، فقها اصطلاح «قضیةٌ فی واقعة» را استفاده می‫کردند که تفاوت‫هایی با قضیه خارجیه دارد.اختصاص یک روایت به موقعیت و شرایط خاص، از صدر اسلام وجود ...

به کارگیری سامانه های هدایت خودکار در بخش کشاورزی از سودمند‏ترین موارد این سامانه ها است. در این پژوهش به طراحی و ارزیابی الگوریتم ماشین بینایی مبتنی بر برداشت تصویر از دوربین نصب شده در جلوی کابین دروگرjd955 و یافتن مسیر پیشروی کمباین پرداخته شد. در این الگوریتم پس از برداشت تصویر، اعمال صافی ها، و بهینه ساز های لازم، به کمک تبدیل هاف مسیر پیشروی به صورت یک خط از تصویر استخراج شد. سپس انحراف ج...

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

این مقاله به دو قضیه مربوط به دایره های مماس می پردازد که ابوسهل کوهی، ریاضی دان ایرانی سده 4ق آن ها را یافته است. این دو قضیه ملهم از کتاب مأخوذات منسوب به ارشمیدس است. اصل رساله کوهی برجای نمانده، اما این دو قضیه در تحریر خواجه نصیرالدین طوسی از مأخوذات نقل شده است، و بدین ترتیب به ترجمه لاتینی این اثر در 1659 در لندن و ترجمه لاتینی دیگری در 1661 در فلورانس و نیز یک ترجمه هلندی منقح در 1695 ر...

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

‏ یک‎$l(2‎ , ‎1)$ ‎ -برچسب گذاری از گراف ‎$g$‎، یک تابع ‎$f$‎ از مجموعه رأس ها ‎$(v(g))$‎ به مجموعه همه اعداد صحیح غیر منفی است به طوری که ‎$|f(x)‎ - ‎f(y)| geq 2$‎ اگر ‎$d(x‎ , ‎y) = 1$‎ و ‎$|f(x)‎ - ‎f(y)| geq 1$‎ اگر ‎$d(x‎ , ‎y) = 2$‎، که ‎$d(x,y)$‎ نشان دهنده فاصله بین ‎$x$‎ و ‎$y$‎ در ‎$g$‎ هست.‎ یک ‎$‎k‎$‎ - ‎$l(2‎ , ‎1)$‎ - برچسب گذاری از گراف ‎$g$‎، یک نگاشت ‎$f:v(g) longrightarrow l...

این مقاله به دو قضیه مربوط به دایره های مماس می پردازد که ابوسهل کوهی، ریاضی دان ایرانی سده 4ق آن ها را یافته است. این دو قضیه ملهم از کتاب مأخوذات منسوب به ارشمیدس است. اصل رساله کوهی برجای نمانده، اما این دو قضیه در تحریر خواجه نصیرالدین طوسی از مأخوذات نقل شده است، و بدین ترتیب به ترجمه لاتینی این اثر در 1659 در لندن و ترجمه لاتینی دیگری در 1661 در فلورانس و نیز یک ترجمه هلندی منقح در 1695 ر...

هدف: هدف از پژوهش حاضر، بررسی تاثیر چهار هفته تمرین تناوبی هوازی شدید(هاف) بر تغییرات نسبت لاکتات به پیروات و توان بی هوازی بازیکنان فوتبال می باشد. روش ها: 18 بازیکن فوتبال شاغل در لیگ آزادگان ایران با میانگین سنی 24/2±88/21 سال، قد 33/5±22/174سانتی متر، وزن 7/5±77/67کیلوگرم، در دو گروه تمرین(12n=) و کنترل(6n=) برای شرکت در این پژوهش، داوطلب و به صورت تصادفی تقسیم شدند. برنامه چهار هفته ای تمر...

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