نتایج جستجو برای: صوری سازی منطقی

تعداد نتایج: 114070  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - دانشکده علوم انسانی 1389

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

ژورنال: :متن پژوهی ادبی 0
محمد راسخ .

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

ژورنال: :مهندسی حمل و نقل 0
بیژن معاونی استادیار، دانشکده مهندسی راه آهن، دانشگاه علم و صنعت ایران، تهران، ایران محمدعلی صندیدزاده استادیار، دانشکده مهندسی راه آهن، دانشگاه علم و صنعت ایران، تهران، ایران حمیدرضا کشاورز دانش آموخته کارشناسی ارشد، دانشکده مهندسی راه آهن، دانشگاه علم و صنعت ایران، تهران، ایران

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

ژورنال: حکمت و فلسفه 2009
سیما سادات نوربخش

بررسی نظام معرفتشناسی شهابالدین سهروردی (549-587ق) به عنوان مؤسس دومین حوزه اندیشه فلسفی در تاریخ فلسفه اسلامی، اهمیت ویژهای دارد. معرفتشناسی او با بررسی تعارضهای منطقی در نظام فلسفی مشاء صورت میگیرد. نظریه سهروردی در باب علم شامل دو جزء است: نخست، جزء سنتزدایی است که سهروردی در آن، به نظریههای مختلف علم، مخصوصاً علم به واسطه تعریف، ادراک حسی، مفاهیم اولی یا مقدم بر تجربه انتقاد میکند. او ابتدا ...

ژورنال: گنجینه اسناد 2008
فاطمه نورائی نژاد(مصاحبه گر)

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

ژورنال: هنرهای تجسمی 2016

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

ژورنال: حکمت و فلسفه 2008

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

ژورنال: :مهندسی مکانیک مدرس 0
بهمن احمدی دانشگاه گیلان نادر نریمان زاده استاد دانشگاه گیلان علی جمالی دانشگاه گیلان

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

بابازاده, توحید, بنای جدی *, مرتضی, شریعت, فریبا, مرادی, فاطمه, مکمل, عادل,

زمینه و هدف: دیابت یکی از شایع ترین مشکلات سلامت در جهان می باشد که با اجرای برنامه های آموزشی علمی، می توان آن را کنترل نمود. لذا این مطالعه با هدف تعیین اثربخشی مداخله آموزشی مبتنی بر تئوری "عمل منطقی توسعه یافته" بر رفتارهای خودمراقبتی در بیماران مبتلا به دیابت نوع دو انجام شده است. روش کار: در این مطالعه نیمه تجربی، 90 نفر از بیماران مبتلا به دیابت نوع دو به صورت تصادفی سازی طبقه ای در دو ...

ژورنال: مطالعات حقوقی 2017

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید