دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theory of Deductive Systems and Its Applications
دانلود کتاب تئوری سیستم های استنتاج و کاربردهای آن
مشخصات کتاب
Theory of Deductive Systems and Its Applications
ویرایش: نویسندگان: S. Yu. Maslov, Michael Gelfond, Vladimir Lifschitz سری: Foundations of Computing ISBN (شابک) : 0262132230, 9780262132237 ناشر: The MIT Press سال نشر: 1987 تعداد صفحات: 168 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 42,000
در صورت تبدیل فایل کتاب Theory of Deductive Systems and Its Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری سیستم های استنتاج و کاربردهای آن نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تئوری سیستم های استنتاج و کاربردهای آن
این ترجمه توسط دو تن از همکاران کوچک ماسلوف به سبکی روان، واضح
و زنده، کار دانشمند فقید شوروی S. Yu. ماسلوف به مخاطبان گسترده
تری. ماسلوف توسط همتایانش مردی نابغه بود که در زمینه اثبات قضیه
خودکار و منطق محاسباتی مشارکت اساسی داشت. او کمی منتشر کرد، و
آن چند مقاله بسیار دشوار در نظر گرفته شد. با این حال، این کتاب
برای مخاطبان وسیعی از خوانندگان نوشته شده است و نمونه‌های ظریفی
از کاربردها در زمینه‌هایی مانند علوم کامپیوتر، هوش مصنوعی،
تحقیقات عملیات، مدل‌سازی اقتصادی و مدل‌سازی بیولوژیکی و غیره را
شرح می‌دهد.
این کتاب همچنین کار ریاضیدان آمریکایی E. L. Post را که
الهام‌بخش کار خود ماسلوف در توسعه یک نظریه عمومی است و مدت‌ها
توسط منطق‌دانان ریاضی و نظریه‌پردازان سیستم‌ها در ایالات متحده
نادیده گرفته شده است، آشکار می‌کند.
فصل اول کتاب قوانین بازی را معرفی می کند. بخش اول، ریاضیات
حساب، سیستم‌های متعارف E. L. Post، سیستم‌ها و الگوریتم‌های
قیاسی، و محاسبات احتمالی و اطلاعات قیاسی را پوشش می‌دهد. بخش
دوم، مدل‌سازی افقی، اقتصاد «اسباب‌بازی»، محاسبات احتمالات
تکنولوژیکی و توسعه قوانین را در بر می‌گیرد. بخش سوم، مدل‌سازی
عمودی، به موضوعات «جنگ و جست‌وجو» و پیامدهای عدم تقارن
مکانیسم‌های شناختی می‌پردازد.
ولادیمیر لیفشیتز وابسته به دپارتمان علوم کامپیوتر در استنفورد
است. دانشگاه و مایکل گلفوند با گروه مهندسی برق و علوم کامپیوتر
در دانشگاه تگزاس، ال پاسو. نظریه سیستم های قیاسی و کاربردهای
آن در بنیاد سری محاسباتی، ویرایش شده توسط مایکل گاری
گنجانده شده است.
توضیحاتی درمورد کتاب به خارجی
In a fluent, clear, and lively style this translation by two of
Maslov's junior colleagues brings the work of the late Soviet
scientist S. Yu. Maslov to a wider audience. Maslov was
considered by his peers to be a man of genius who was making
fundamental contributions in the fields of automatic theorem
proving and computational logic. He published little, and those
few papers were regarded as notoriously difficult. This book,
however, was written for a broad audience of readers and
describes elegant examples of applications in such fields as
computer science, artificial intelligence, operations research,
economic modeling, and biological modeling, among others.
The book also brings to light the work by the American
mathematician E. L. Post, which inspired Maslov's own work in
the development of a general theory and which has been long
neglected by mathematicial logicians and systems theorists in
the United States.
The book's first chapter introduces the Rules of the Game. Part
I, Mathematics of Calculi, covers E. L. Post's canonical
systems, deductive systems and algorithms, and probabilistic
calculi and deductive information. Part II, Horizonal Modeling,
takes up a "toy" economy, the calculi of technological
possibilities, and the development of rules. Part III, Vertical
Modeling, deals with the topics of "to fight and to search" and
the consequences of the asymmetry of cognitive
mechanisms.
Vladimir Lifschitz is affiliated with the Department of
Computer Science at Stanford University, and Michael Gelfond
with the Department of Electrical Engineering and Computer
Science at the University of Texas, El Paso. Theory of
Deductive Systems and Its Applications is included in the
Foundation of Computing Series, edited by Michael Garey.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب AIDS Epidemiology: A Quantitative Approach (Monographs in Epidemiology and Biostatistics ; V. 22)
دانلود کتاب Grid Computing: Konzepte - Technologien - Anwendungen
دانلود کتاب An introduction to nonlinear analysis
دانلود کتاب Aermacchi jet trainer mb.326
