کشف منابع
منطق و مبانی ریاضیات گسسته
معرفی دستهبندی: منطق و مبانی
دستهبندی "منطق و مبانی" در کتابفروشی آنلاین Refhub.ir، گنجینهای از کتابها و منابعی است که به بررسی ریشهها، اصول، و ساختار سیستمهای منطقی میپردازند. این دستهبندی با ارائه طیف متنوعی از متون مرجع و مطالعات تحلیلی، مخاطبان خود را با دنیای فلسفه منطق و کاربردهای عملی آن آشنا میکند.
منطق چیست؟
منطق علمی است که به ارزیابی و تحلیل استدلالات و پیشفرضهای فکری میپردازد. کاربرد اصلی منطق، تفکیک درست از نادرست و تقویت تصمیمگیری در مسائل مختلف است. در فلسفه و ریاضیات، منطق به بررسی اصول بنیادین تفکر و ساختارهای انتزاعی میپردازد که زیربنای استدلالهای صحیح و معتبر را تشکیل میدهند.
موضوعات پوشش داده شده در این دستهبندی
1. منطق کلاسیک
منطق کلاسیک شامل بسیاری از اصول و قواعدی است که از دوران فلسفه باستان تا کنون بهکار رفتهاند. در اینجا، کتابهایی خواهید یافت که به تحلیل اصولی چون استنتاج، استلزام، و مفهومهای پایهای چون مفهومهای درست و نادرست میپردازند.
2. منطق غیرکلاسیک
منطق غیرکلاسیک به سیستمهای منطقی میپردازد که از اصول و قواعد منطق کلاسیک انحراف دارند. این بخش شامل موضوعاتی چون منطق درصدی، منطق مدال و منطقهای نهادینه است. این منطقها در کاربردهایی مانند علم رایانه و هوش مصنوعی بسیار حائز اهمیت هستند.
3. فلسفه منطق
این بخش به بررسی سوالات فلسفی و نظری مرتبط با منطق میپردازد، مانند ماهیت حقیقت، امکانات و محدودیتهای سیستمهای منطقی و تفاوتهای منطقی میان زبانهای طبیعی و ساختارهای مصنوعی.
4. مبانی ریاضیات
منطق یکی از ارکان اصلی در تأسیس مبانی ریاضیات است. کتابهای این بخش به تحلیل روابط منطقی بین اصول ریاضیاتی میپردازند و بر اهمیت منطق در نظریات ریاضی تأکید میکنند. موضوعاتی چون نظریه مجموعهها و مسئله کاملبودن از مواردی هستند که در این قسمت بهصورت مفصل بررسی میشوند.
کاربردهای عملی منطق
منطق، علاوه بر کاربردهای نظری، در حوزههای علمی و فناوری نیز نقش مهمی ایفا میکند. از طراحی و تحلیل سیستمهای دیجیتال در مهندسی کامپیوتر گرفته تا توسعه الگوریتمهای هوش مصنوعی، منطق بهعنوان ابزاری اساسی بهکار گرفته میشود. کتابهای این دسته به بررسی نقش منطق در بهینهسازی و بهبود فرآیندهای روزمره و صنعتی میپردازند.
چرا انتخاب ما؟
در کتابفروشی آنلاین Refhub.ir، ما تعهد داریم تا با ارائه بهترین و جامعترین منابع در زمینه منطق و مبانی، به ارتقای دانش و بینش خوانندگان خود کمک کنیم. مجموعه ما شامل آثار برتر نویسندگان و محققین برجسته است که همواره با دقت و بررسی دقیق انتخاب شدهاند. همچنین، با بروزرسانی مداوم و معرفی جدیدترین انتشارات، زمینهای ساختهایم تا علاقهمندان به این حوزه بتوانند بهروزترین اطلاعات را در اختیار داشته باشند. به همین دلیل، Refhub.ir بهعنوان مقصد اول برای هر کسی که در جستجوی دانش عمیق و کاربردی در زمینه منطق و مبانی است، پیشنهاد میشود.
کتابها
195 نتیجه
The Palgrave Centenary Companion to Principia Mathematica
Nicholas Griffin,Bernard Linsky
Fuzzy Sets, Logics and Reasoning about Knowledge
Didier Dubois,Henri Prade,Erich Peter Klement (auth.),Didier Dubois,Henri Prade,Erich Peter Klement (eds.)
Beyond Formalism: Naming and Necessity for Human Beings
Rosenberg,Jay F.
Hume’s Social Philosophy: Human Nature and Commercial Sociability in A Treatise of Human Nature
Christopher J. Finlay
The Origins of European Thought: About the Body, the Mind, the Soul, the World, Time and Fate
R. B. Onians
Routledge Philosophy GuideBook to Wittgenstein and On Certainty
Andy Hamilton

The Secret Teachings of All Ages: An Encyclopedic Outline of Masonic, Hermetic, Qabbalistic and Rosicrucian Symbolical Philosophy
Manly P. Hall,Mario Lampić

ACM Transactions on Computational Logic
Japaridze, Giorgi
Introduction to Fuzzy Logic Using MATLAB
Sivanandam S. N.,Sumathi S.,Deepa S. N.
Logic and Philosophy: A Modern Introduction
Alan Hausman,Howard Kahane,Paul Tidman
The Remix Manual: The Art and Science of Dance Music Remixing with Logic
Simon Langford
Reasoning About Knowledge
Ronald Fagin,Joseph Y. Halpern,Yoram Moses,Moshe Y. Vardi

The Table of Judgments: Critique of Pure Reason A67-76; B92-101
Reinhard Brandt,Eric Watkins


Acta Crystallographica Section A Foundations and Advancespp.s188—s188
Kapis, Svetlana; Heymann, Michael; Perbandt, Markus; Chang, Guoqing; Kärtner, Franz; Betzel, Christian

Journal of Logic, Language and Information
Fairouz Kamareddine and Rob Nederpelt
History of the Concept of Mind: Volume 2: The Heterodox and Occult Tradition
Paul S. Macdonald
The Conflicts of Modernity in Ludwig Wittgenstein’s Tractatus Logico-Philosophicus
Dobrzeniecki M.

The acquisition of apparent optionality: Word order in subject and object shift constructions in Norwegian
Anderssen Merete,Bentzen Kristine,Rodina Yulia,Westergaard Marit.
Transition to Higher Mathematics: Structure and Proof
Bob A. Dumas, John E. McCarthy
Theory of Recursive Functions and Effective Computability
Hartley Rogers
Husserl’s Logical Investigations Reconsidered
Denis Fisette (auth.)