ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Logic Colloquium '86: Proceedings

دانلود کتاب گفتگوی منطق 86: مجموعه مقالات

Logic Colloquium '86: Proceedings

مشخصات کتاب

Logic Colloquium '86: Proceedings

دسته بندی: منطق
ویرایش:  
نویسندگان: ,   
سری: Studies in logic and the foundations of mathematics 124 
ISBN (شابک) : 9780444535832, 0444535837 
ناشر: Elsevier Science 
سال نشر: 1988 
تعداد صفحات: 340 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

قیمت کتاب (تومان) : 44,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Logic Colloquium '86: Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب گفتگوی منطق 86: مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب گفتگوی منطق 86: مجموعه مقالات

نتیجه نشست تابستانی اروپایی انجمن منطق نمادین، این جلد مروری بر آخرین تحولات در بیشتر زمینه‌های اصلی منطق است که امروزه به طور فعال دنبال می‌شوند. تحولات جدید مهم در کاربردهای منطق در علوم کامپیوتر ارائه شده است. سایر حوزه‌های مورد بررسی عبارتند از نظریه مدل، نظریه مجموعه‌ها، نظریه بازگشت، نظریه اثبات و تاریخچه منطق. این جلد شامل متون ده سخنرانی دعوت شده و شش مقاله ارائه شده است. ادامه مطلب... جلو جلد; مطالعات منطق و مبانی ریاضیات، جلد 124; صفحه حق چاپ پیشگفتار؛ فهرست؛ فصل 1 استقرا بدون پارامتر، قضیه Matiyasevic و BΣ]; فصل 2 تخریب ناپذیری از نوع Laver برای کاردینال های قابل دسترس. فصل 3 سیستم استنتاج کامل برای فرآیندهای منظم با حرکات بی صدا. فصل 4 برنامه های منطقی تجمعی و مدل سازی; فصل 5 نفی در یک سیستم چیست؟ فصل 6 آموزش منطق توسط کامپیوتر: راهنمای هکرها. فصل 7 در مورد نقش O' در نظریه بازگشت. فصل 8 ریشه های اجباری فصل 9 نحوه بدست آوردن درون یابی برای L K + Kفصل 10 لمای درونیابی کریگ برای منطق معین معین; فصل 11 نظریه مدل و نوع نمایش جبرها; فصل 12 روش تکمیل کنوت-بندیکس، تابع رشد، و گروه های چند حلقه ای. فصل 13 مقدمه ای بر نظریه برنامه ریزی منطقی. فصل 14 یک کلاس کامل از برنامه های منطقی محدود. فصل 15 نوسانات اعداد حقیقی; فصل 16 انجام بدون تعین - جنبه های مدل های درونی


توضیحاتی درمورد کتاب به خارجی

The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Other areas examined include model theory, set theory, recursion theory, proof theory, and the history of logic.This volume contains the texts of ten of the invited lectures and six of the contributed papers. Read more... Front Cover; Studies in Logic and the Foundations of Mathematics, Volume 124; Copyright Page; Preface; CONTENTS; Chapter 1 Parameter-Free Induction, the Matiyasevic Theorem and BΣ]; Chapter 2 A Laver-Type Indestructability for Accessible Cardinals; Chapter 3 A Complete Inference System for Regular Processes with Silent Moves; Chapter 4 Cumulative Logic Programs and Modelling; Chapter 5 What is Negation in a System?; Chapter 6 Teaching Logic by Computer : a Hacker's Guide; Chapter 7 On the Role of O' in Recursion Theory; Chapter 8 The Origins of Forcing Chapter 9 How to obtain Interpolation for L K + KChapter 10 The Craig Interpolation Lemma for Certain Modal Logics; Chapter 11 Model Theory and Representation Type of Algebras; Chapter 12 The Knuth-Bendix Completion Procedure, the Growth Function, and Polycyclic Groups; Chapter 13 Introduction to the Theory of Logic Programming; Chapter 14 A Complete Class of Restricted Logic Programs; Chapter 15 Oscillations of Real Numbers; Chapter 16 Doing without Determinacy-Aspects of Inner Models



فهرست مطالب

Goto 0 /FitH 5551......Page 1
Goto 0 /FitH 5552......Page 2
Goto 0 /FitH 5553......Page 3
Goto 0 /FitH 5554......Page 4
Goto 0 /FitH 5555......Page 6
Goto 0 /FitH 5556......Page 14
Goto 0 /FitH 5557......Page 25
Goto 0 /FitH 5558......Page 86
Goto 0 /FitH 5559......Page 97
10......Page 115
11......Page 134
12......Page 143
13......Page 174
14......Page 208
15......Page 218
16......Page 260
17......Page 276
18......Page 318
19......Page 324
20......Page 331




نظرات کاربران