مشخصات کتاب

Interpolation and Definability: Modal and Intuitionistic Logics

ویرایش:  
نویسندگان: Dov M. Gabbay,  Larisa Maksimova  
سری: Oxford Logic Guides 46 
ISBN (شابک) : 0198511744, 9780198511748 
ناشر: Oxford University Press 
سال نشر: 2005 
تعداد صفحات: 524 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 Mb 

در صورت تبدیل فایل کتاب Interpolation and Definability: Modal and Intuitionistic Logics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب درون یابی و تعریف پذیری: منطق وجهی و شهودی

این تک نگاری در مورد درونیابی و تعریف پذیری است، مفهومی مرکزی در منطق محض و دارای معنا و کاربرد قابل توجهی در همه زمینه هایی که منطق به کار می رود، به ویژه علوم کامپیوتر، هوش مصنوعی، برنامه نویسی منطقی، فلسفه علم و زبان طبیعی. مناسب برای محققان و دانشجویان فارغ التحصیل در ریاضیات، علوم کامپیوتر و فلسفه، این آخرین مورد از معتبرترین راهنماهای منطقی آکسفورد است که شامل عناصر شهودگرایی مایکل دامت (ویرایش دوم)، J.M. Dunn و G. Hardegree's Algebraic Methods in Philosophe است. منطق، انتخاب و استنتاج تغییر H. Rott: A Study of Belief Revision and Nononotonic Reasoning، P.T. طرح های جانستون از یک فیل: خلاصه نظریه توپوس: جلد 1 و 2، و منطق تقلیل دهنده و جستجوی اثباتی دیوید جی پیم و ایکه ریتر: اثبات، نظریه، معناشناسی و کنترل.

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

This monograph is on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigious world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of Intuitionism (Second Edition), J.M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P.T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof, Theory, Semantics and Control.

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

کتاب های تصادفی

دانلود کتاب Around the World in 80 Dinners: The Ultimate Culinary Adventure  

دانلود کتاب Literary names : personal names in English literature

دانلود کتاب Give and Take: Developmental Foreign Aid and the Pharmaceutical Industry in East Africa

دانلود کتاب Музичка култура. 1 разред

دانلود کتاب Multimedia Computing Systems and Virtual Reality