دانلود کتاب Mathematical Problems from Applied Logic I: Logics for the XXIst Century (به فارسی: مسائل ریاضی از منطق کاربردی I: منطق برای قرن بیست و یکم) نوشته شده توسط «Dov M. Gabbay – Sergei S. Goncharov – Michael Zakharyaschev»
اطلاعات کتاب مسائل ریاضی از منطق کاربردی I: منطق برای قرن بیست و یکم
موضوع اصلی: ریاضیات
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Dov M. Gabbay – Sergei S. Goncharov – Michael Zakharyaschev
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2005
تعداد صفحه: 368
حجم کتاب: 2 مگابایت
کد کتاب: 0-387-28688-8 , 978-0387-28688-4
نوبت چاپ: 1
توضیحات کتاب مسائل ریاضی از منطق کاربردی I: منطق برای قرن بیست و یکم
مسائل ریاضی از منطق کاربردی I فصل هایی از منطق دانان منتخب، مشهور جهان را ارائه می دهد. موضوعات مهم منطق از نقطه نظر توسعه بیشتر آنها در پرتو الزامات ناشی از کاربرد موفقیت آمیز آنها در زمینه هایی مانند علوم کامپیوتر و زبان هوش مصنوعی مورد بحث قرار می گیرند. مروری بر وضعیت فعلی و همچنین مسائل و دیدگاه‌های باز در زمینه‌هایی مانند استنتاج‌های غیر استاندارد در منطق توصیف، منطق اثبات‌پذیری، پویایی منطقی و نظریه محاسباتی روشن می‌شود. این کتاب شامل کمک های جالبی در مورد نقش منطق امروزی است، از جمله برخی از جنبه های غیرمنتظره منطق معاصر و کاربرد منطق.
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. An overview of the current state as well as open problems and perspectives are clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics, and computability theory. The book contains interesting contributions concerning the role of logic today, including some unexpected aspects of contemporary logic and the application of logic.
دانلود کتاب «مسائل ریاضی از منطق کاربردی I: منطق برای قرن بیست و یکم»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.