نتایج جستجو برای: صوری سازی منطقی
تعداد نتایج: 114070 فیلتر نتایج به سال:
چکیده این پژوهش با هدف بررسی تاثیر ابزارهای تبلیغاتی بر جذب مشتریان بیمه آتش سوزی در استان زنجان و به روش کاربردی و از نوع پیمایشی انجام پذیرفته است، برای دستیابی به هدف پژوهش چهار فرضیه مطرح شد و پرسشنامه محقق ساخته ای که روایی و پایایی آن تایید شده بود در میان افراد نمونه (390 نفر) که با استفاده از جدول مورگان و از میان جامعه آماری مورد مطالعه (تمامی افراد واجد شرایط استفاده از بیمه آتش سوزی...
در مطالعه زبان موضوعات بسیار اندکی وجود دارد که زبان شناسان در مورد آنان اتفاق نظر دارند. یکی از این موضوعات این است که جملات رابط آواها با معانی هستند. بلو مفیلد می نویسد در گفتار انسان آواهای مختلف معانی مختلفی دارند. مطالعه ارتباط میان آواهای ویژه با معانی ویژه مطالعه زبان است.
سیستم های علائم الکتریکی و اینترلاکینگ نقشی حیاتی در ایجاد یک حمل و نقل ایمن در سیستم های راهآهن ایفا میکنند. از آنجایی که در این سیستمها رخدادن هیچ نوع خطایی حتی کوچک جایز نیست، استفاده از روشهای صوری برای طراحی، شبیه سازی، مدلسازی و ارزیابی، بسیار حائز اهمیت است. چندین روش صوری برای طراحی وجود دارد که یکی از ابزارهای مناسب، استفاده از جعبه ابزار stateflow نرم افزار matlab است. در این مقاله یک...
بررسی نظام معرفتشناسی شهابالدین سهروردی (549-587ق) به عنوان مؤسس دومین حوزه اندیشه فلسفی در تاریخ فلسفه اسلامی، اهمیت ویژهای دارد. معرفتشناسی او با بررسی تعارضهای منطقی در نظام فلسفی مشاء صورت میگیرد. نظریه سهروردی در باب علم شامل دو جزء است: نخست، جزء سنتزدایی است که سهروردی در آن، به نظریههای مختلف علم، مخصوصاً علم به واسطه تعریف، ادراک حسی، مفاهیم اولی یا مقدم بر تجربه انتقاد میکند. او ابتدا ...
دکتر محمد خوانساری،متولد 1300 ش./1921 م.در شهر اصفهان است.ایشان،علاوه بر استفاده از محضر استادان بنام علوم قدیم اصفهان،در طول دوران تحصیل در دانشسرای مقدماتی اصفهان و دانشسرای عالی تهران،از محضر استادانی همچون مرحوم کتابی،همائی،مدری رضوی،رضازادهء شفق،بهار،اقبال آشتیانی، معین،مهدوی،سیاسی،صدیقی و بخصوص شیخ محمد حسین فاضل تونی بهرهمند گردید.پس از اخذ لیسانس لسفه و علوم تربیتی،ابتدا بهعنوان مسئو...
ادراک و شناخت انسان از آثار هنری، به عنوان یک موضوع معرفت شناختی، ریشههای مفهومی خود را از دیگر حوزه-های معرفتی از جمله فلسفه اخذ میکند که دیدگاه فلاسفه و اندیشمندان درباره چگونگی ادراک و دریافت زیبایی از اثر هنری در این زمینه قابل تامل است. در این نوشتار هدف ارزیابی و شناخت چگونگی درک اثر و دریافت زیبایی شناسی مخاطبان آثار هنری از دیدگاه اندیشمندان و فلاسفه اسلامی و غربی است که با رویکردی تف...
فلسفۀ منطق علمی پسینی است و دربارۀ مبانی فلسفی منطق از سویی، و مسائل فلسفی ناشی از مباحث منطقی از سوی دیگر بررسی میکند. فلسفۀ منطق ارسطو تاکنون تدوین نشده است؛ اما برای تطبیق دو منطق قدیم و جدید لازم است مبانی فلسفی منطق ارسطو را استخراج کنیم، زیرا ممکن است با مشاهدۀ پارهای اختلافات یا اشتراکات ظاهری به وجود وحدت یا تضاد میان آنها حکم کنیم. برای استخراج این مبانی فلسفی باید افزون بر آثار پیر...
طراحی سیستم های مکانیکی پیچیده معمولا شامل جنبه های متعدد وابسته به هم و همچنین توابع هدف متعارض می باشد که مستلزم تحلیل پیچیده و زمان بری در طول روند طراحی خواهد بود. طراحی بهینه چند جنبه ای یک روش طراحی سیستماتیک برای افزایش کارایی روند طراحی سیستم های مکانیکی پیچیده به ویژه در فضای طراحی غیر همکارانه می باشد. از طرف دیگر، نظریه بازی عبارت است از مجموعه ساختارهای ریاضی که به مطالعه تعاملات بی...
زمینه و هدف: دیابت یکی از شایع ترین مشکلات سلامت در جهان می باشد که با اجرای برنامه های آموزشی علمی، می توان آن را کنترل نمود. لذا این مطالعه با هدف تعیین اثربخشی مداخله آموزشی مبتنی بر تئوری "عمل منطقی توسعه یافته" بر رفتارهای خودمراقبتی در بیماران مبتلا به دیابت نوع دو انجام شده است. روش کار: در این مطالعه نیمه تجربی، 90 نفر از بیماران مبتلا به دیابت نوع دو به صورت تصادفی سازی طبقه ای در دو ...
شهودگرایان برخلاف صورتگرایان، تحلیل عمل دادرس در قالب یک استدلال صوری را مخالف با واقعیت قضاوت دانسته و معتقدند سررشته استدلال بیش از آنکه بهدست منطق و قواعد استدلال باشد، در دست عرفان و شهود قضائی است و مراد از شهود نیز راهحلی است که در اولین برخورد با حقایق پرونده در ذهن قاضی نقش میبندد و ناخودآگاه دادرس را به سوی خود جذب میکند. به نظر با توجه به تفاوت قلمرو اشراق و استدلال هر چقدر بر تق...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید