نتایج جستجو برای: منطق کلاسیک

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

باقر ساروخانی شیوا صادقی‌پور

مفاهیم اجتماعی بر معانی فهمیده‌شده‌ای دلالت دارند که می‌توان آنها را در "مصادیق"[1] مشخص و مطالعه کرد. بنابراین، مفاهیم اجتماعی از دوپارة ذهنی[2] و عینی[3] تشکیل شده‌اند. به‌عبارت دیگر، وجود رابطة دیالکتیکی بین ذهن و عین است که مفهوم اجتماعی را می‌سازد. گاه چگالی تأثیر پارة ذهنی بالاتر است و گاه پارة عینی، اما در هردو صورت، درجه‌ای از چگالی تأثیر پارة دیگر نیز در مفهوم وجود دارد. بنابراین، دربا...

ژورنال: :مجله دانشکده حقوق و علوم سیاسی 2006
دکتر مجید وحید

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

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

هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...

ژورنال: :شعر پژوهی 0
سیدفضل اله میرقادری عضو هیأت علمی /بخش عربی دانشگاه شیراز احسان زیورعالم دانشگاه هنر تهران

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

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

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

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

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

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

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

ژورنال: :هنرهای زیبا 2007
دکتر محمدباقر قهرمانی شهروز یوسفیان

درام تعاملی (برهم کنشی)، به مثابة نوع تازه ای از مناسبات مجازی درام، محصول تعامل رایانه و قواعد نمایشی است. تعامل مزبور حاصل مناسبات جدید میان مخاطب و درام نویس است؛ کاربر یک نرم افزار داستانی با اعمال سلیقه و خواست خود در روند شکل گیری روایت، جایگاه خود را به عنوان عاملی نوظهور در فرآیند نمایشی تثبیت می کند. درام تعاملی از دو سو نشانگر مناسباتی پویا و قابل تأمل است: نخست از منظر زیبایی شناسی م...

دکتر مجید وحید

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

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

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

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