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

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

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

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

ژورنال: :پژوهش و نگارش کتب دانشگاهی 0
مصطفی همدانی دانش آموخته سطح خارج فقه و فلسفه حوزة علمیه ـ استاد حوزة علمیه قم

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

Journal: : 2022

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

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

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

ژورنال: :فصلنامه اندیشه دینی دانشگاه شیراز 2014
جمیله فاطمی

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

ژورنال: منطق پژوهی 2011

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

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

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

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

ژورنال: :فلسفه علم 2015
ابوتراب یغمائی

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

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

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

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