جستجوي پيشرفته | کتابخانه مجازی الفبا

جستجوي پيشرفته | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 73
پارادوکس یابلو در منطق مرتبه دوم
نویسنده:
محمد امین طریقی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تبریز: دانشگاه تبریز,
چکیده :
استفان یابلو‎‎ در سال 1993 پارادوکسی غیرعادی شامل لیستی نامتناهی از جملات ‏در زبان غیر‌صوری ارایه کرد. بعد از معرفی دو حالت شناخته‌شده در بررسی تناقض در مجموعه‌ای از عبارات‏، ناسازگاری لیست جملات یابلو در زبان‌های مرتبه دوم بررسی‌ شده‌است. ‏در حالی ‌که حالت اول لیست متناقض نیست‏، نسخه‌ی مرتبه دوم لیست متناقض می‌باشد. از‏‌این‌رو نتیجه می‌گیریم ‏که لیست یابلو متناقض است و استدلال غیر‌صوری یابلو معتبر می‌باشد.
ساختار نحوی و سمانتیکی منطق ربط
نویسنده:
سکینه تولمی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
منطق ربط شاخه‌ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می‌کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می‌شود. در این پایان‌نامه با معرفی این روشِ ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال‌های ربطی و غیر ربطی را نشان داده‌ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سال 1992 پریست و سیلوان (روتلی) آن سمانتیک را ساده‌تر ساختند. در این پایان نامه به شرح سمانتیک پریست و سیلوان پرداخته‌ایم؛ این سمانتیک دو ویژگی برجسته دارد: نخست اینکه ساختارهای این سمانتیک تنها یک جهان نرمال دارند (سمانتیک کاهشی)؛ دوم اینکه این سمانتیک به جای رابطه ( ≤ ) از رابطه ( = ) استفاده می‌کند (سمانتیک ساده شده). سمانتیک پریست و سیلوان با اینکه بسیار ساده شده است همچنان پیچیدگی‌های فراوانی دارد که پاره‌ای از این پیچیدگی‌ها را در قالب مثال‌های گوناگون نشان داده‌ایم. در پایان دو ادات مهم تلفیق و تفریق را به روش اصل موضوعی و استنتاج طبیعی معرفی کرده‌، اعتبار چند استدلال مربوط به این دو ادات را در سمانتیک پریست و سیلوان نشان داده‌ایم.
معرفی منطق های ربط
نویسنده:
مریم امیر ماهانی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
کرمان: دانشگاه شهید باهنر کرمان,
چکیده :
در این پایان نامه، به بررسی منطق های ربط می پردازیم این پایان نامه، شامل سه فصل است. در فصل اول تعاریف و قضایایی را که از منطق کلاسیک و منطق موجهات ‏نابهنجار مورد نیاز است، بیان می کنیم.‏ مفهوم منطق ربط، الفبا، معناشناسی و هم چنین توسیع های این منطق را در فصل دوم ارائه می دهیم در فصل سوم به معرفی یکی از کاربردهای این منطق که در واقع در مدل سازی پیش بینی ترافیک است، می ‏پردازیم
منطق فازی ربطی: رویکردی گزاره‌ای
نویسنده:
سیداحمد میرصانعی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
در استدلال‌های علمی و حتی در استدلال‌های روزمره ما، مقدمات استدلال و نتيجه بايد به هم ربط داشته باشند. از جهتی ما با بسياری از استدلال‌هايي سر و کار داريم که تقريبی‌اند و تا يک درجه خاصی درست هستند. در اين پايان‌نامه با توجه به دو مقوله مهم در زبان طبيعی و منطق، يعنی «ربط» و «ابهام»، با رويکردی صوری، گزاره‌ای و غيرکلاسيک منطق‌هايي ساخته می‌شوند که استدلال آن‌ها هم فازی است و هم ربطی، و منطق‌های فازی ربطی نام دارند. منطق‌های فازی ربطی FB، NB را با راهکار فازی‌سازی و RB، RDB را با راهکار بازتعبيری ساختيم. اين 4 منطق فازی ربطی، منطق‌های پايه هستند. منطق‌هاي فازی ربطی قوی‌تر، گسترش اين منطق‌ها هستند.
منطق عملی تکلیف، جبرهای بول اتمیک و تحمل‌پذیری خطا
نویسنده:
فاطمه احمدی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,
چکیده :
هدف از این پایان نامه، معرفی یک چهارچوب ریاضی جهت استدلال در مورد خواص سیستم های تحمل پذیر خطا می باشد. در همین راستا یک منطق عملی تکلیف (DPL ) و یک اصل گذاری برای آن معرفی می گردد. این منطق خواص مفیدی مثل سلامت، تمامیت، فشردگی و تصمیم پذیری دارد. اگر چه منطق معرفی شده، ارزشمند و مهم است ولی از آنجا که منطق های زمانی در مشخص کردن سیستم های محاسبه نقش مهمی دارند، این منطق توسط عملگر های زمانی (CTL) توسیع داده می شود. در سیستم های تحمل پذیر خطا، بعد از یک نقض باید اعمالی اجرا شود تا آن نقض را جبران کند که در منطق تکلیف استدلال CTD نامیده می شود. رویکرد ما در این پایان نامه برای مواجهه با چنین جملاتی، استفاده از چندین نسخه ی مجوز می باشد که به این ترتیب توسیع سودمند دیگری از DPL حاصل می شود. در این پایان نامه همچنین با طرح سناریوهایی از ساختارهای ارائه شده مانند شام فیلسوفان و سیستم قطار، چگونگی کاربرد آنها را برای مشخص کردن سیستم های محاسبه در عمل نیز نشان می دهیم.
 معرفی منطق خطی
نویسنده:
پریسا طلوعی
نوع منبع :
رساله تحصیلی
وضعیت نشر :
کرمان: دانشگاه شهید باهنر کرمان,
چکیده :
در این پایان نامه سعی شده است، ابتدا به معرفی منطق های کلاسیک، شهود گرایی و زیر ساخت بپردازیم و بعد ارتباط منطق خطی را با هر یک از این منطق ها بیان می کنیم. همچنین منطق خطی را با تفسیر کامل هر یک ازحروف ربط و اصول موضوعه آن بیان کرده ایم و در انتها معنا شناسی های این منطق را بررسی می کنیم و به توصیف هر یک از حروف ربط این منطق در هر یک از این معناشناسی ها می پردازیم. سپس ارتباط معناشناسی ها را با منطق های کلاسیک و شهودگرایی بیان می کنیم، که به طور خلاصه محتوای آن به شرح زیر است: این پایان نامه از سه فصل تشکیل شده و در این فصل ها سعی شده است تمامی مطالب مورد نیاز بیان شود فصل اول شامل سه بخش است که در بخش های اول و دوم و سوم به ترتیب، منطق های کلاسیک و شهودگرایی و زیرساخت را معرفی می کنیم و نکاتی در مورد آنها را توضیح می دهیم. در بخش اول فصل دوم به تعریف منطق خطی می پردازیم. در بخش دوم الفبای آن را بیان می کنیم و هر یک ازحروف ربط آن را با ذکر مثال توضیح می دهیم. بخش سوم شامل یکی از کاربردهای این منطق است و در بخش چهارم اصول موضوعه منطق خطی را بیان می کنیم. فصل سوم شامل سه بخش است. در بخش اول به بیان معناشناسی حالت می پردازیم و تفسیر هر یک از حروف ربط را در آن نشان می دهیم. در بخش دوم معناشناسی تشخیصی را بیان می کنیم و حروف ربط را در آن تفسیرمی کنیم و چگونگی تبدیل منطق های کلاسیک و شهودگرایی به منطق خطی را بیان می کنیم. در بخش سوم نیز مثالی برای این معناشناسی ها می آوریم.
منطق تکلیف و کاربرد آن در دستگاه‌های هنجاری
نویسنده:
ابوتراب پورحقانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,
چکیده :
دستگاه هنجاری اولین ساختار اجتماعی است که توسط بشر ایجاد شده است. ابتدایی ترین دستگاه هنجاری خانواده و بزرگترین آن جامعه است دستگاه هنجاری بر پایه هنجارها و مجوز ها استوار است .در این پایان نامه یکی از توسیع های منطق تکلیف به نام منطق ورودی/خروجی مورد بررسی قرار گرفته است. منطق تکلیف یکی از شاخه های منطق موجهات است که به بررسی گزاره های در باره وظیفه، مجوز و ممنوعیت می پردازد و در سال 1951 توسط فون رایت معرفی گردید. اما از همان ابتدا پارادوکسهای زیادی برای آن به وجود آمد. یکی از این توسیع منطق ورودی/خروجی است با ارائه دو مقاله دیگر این منطق به عنوان توسیعی از منطق تکلیف کامل گردید. در این منطق با استفاده از یک قید در استنتاج ها جلوی تولید پارادوکسها گرفته می شود. در این منطق وظایف را به صورت زوجهای مرتب نشان می دهیم که درایه اول اشاره به وضعیتی است که اتفاق افتاده است و درایه دوم مربوط به وظیفه یا مجوزی است که در آن وضعیت وجود دارد. این منطق قاعده محور بوده و شامل هیچ اصل موضوعی نیست. یکی از دیگر مباحث مطرح در منطق تکلیف موضوع دستگاه های هنجاری است. یک دستگاه هنجاری، دستگاهی که بر اساس وظایف پایه گذاری شده است. مثال بارز این نوع دستگاه ها، حکومت یک کشور می باشد. در هر دستگاه هنجاری هر کسی وظیفه ای بر عهده دارد که باید انجام دهد. برای این دستگاه ها مدل های مختلفی در منطق تکلیف ارائه شده است. یکی از این مدلها بر اساس منطق ورودی/خروجی ارائه شده است. در این مدل هنجارهای اساسی و رویه ای و روابط محسوبی مدل شده است. این مدل سازگار با مباحث علوم کامپیوتر می باشد.
فرهنگ نامه منطق
نویسنده:
نرگس نیمروزی
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
قم: بوستان کتاب قم ,
چکیده :
این کتاب اصطلاح نامه‌ای توصیفی و دو زبانه (فارسی - انگلیسی) است که بیش از سه هزار اصطلاح ضروری و پرکاربرد علم منطق درآن گردآوری شده است. دامنه اصطلاحات این فرهنگ نامه، منطق قدیم و جدید و برخی شاخه‌های آن را دربردارد. مولف با استفاده از منابع فارسی، عربی، انگلیسی و پایگاه‌های متعدد اینترنتی معتبر فلسفی و منطقی این اصطلاحاترا تدوین نموده است. نکات قابل توجه این فرهنگ نامه عبارتند از: نثر روان، طراحی جدول‌های متفاوت و ابتکاری، مستندسازی اصطلاحات، تنوع حوزه‌های اصطلاحات، بهره‌گیری از منابع معتبر کهن و معاصر عربی و انگلیسی، همچنین جامعیت و مدخل‌های توصیفی این اثر می‌باشد
 کاربرد ایده جهانهای ممکن در منطق و ادبیات داستانی
نویسنده:
سمیه فریدونی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
ایده جهانهای ممکن حدود نیم قرن است که مورد توجه قرار گرفته است. کاربرد اصلی و اولیه این ایده، توسط منطقدانان و به منظور طراحی دلالت‏شناسی صوری برای منطق گزاره‏های ضروری و ممکن، با استفاده از مفاهیم و ساختارهای موجود در نظریه مجموعه‏ها، بوده است. این ایده سپس، در شاخه‏های دیگر منطق، مانند منطق تکلیف و منطق شرطی نیز به کار گرفته شد و سودمند واقع شد. «جهانهای ممکن»، به سرعت، در رشته‏های دیگر مانند فلسفه زبان و هنر و حتی هوش مصنوعی، نیز مورد توجه قرار گرفت و پژوهشگران این رشته‏ها ...
  • تعداد رکورد ها : 73