دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings
دانلود کتاب COLOG-88: کنفرانس بین المللی منطق کامپیوتری تالین، اتحاد جماهیر شوروی، 12 تا 16 دسامبر 1988 مجموعه مقالات
مشخصات کتاب
COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings
ویرایش: 1 نویسندگان: Morozov Andrey (auth.), Per Martin-Löf, Grigori Mints (eds.) سری: Lecture Notes in Computer Science 417 ISBN (شابک) : 3540523359, 9783540523352 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1990 تعداد صفحات: 343 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب COLOG-88: کنفرانس بین المللی منطق کامپیوتری تالین، اتحاد جماهیر شوروی، 12 تا 16 دسامبر 1988 مجموعه مقالات: منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی، مهندسی نرم افزار
در صورت تبدیل فایل کتاب COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب COLOG-88: کنفرانس بین المللی منطق کامپیوتری تالین، اتحاد جماهیر شوروی، 12 تا 16 دسامبر 1988 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب COLOG-88: کنفرانس بین المللی منطق کامپیوتری تالین، اتحاد جماهیر شوروی، 12 تا 16 دسامبر 1988 مجموعه مقالات
این جلد شامل چندین مقاله دعوت شده و همچنین مجموعه ای از مشارکت های دیگر است. این کنفرانس اولین نشست منطق دانان شوروی علاقه مند به علوم کامپیوتر با همتایان غربی خود بود. این مقالات نتایج و تکنیک‌های جدید را در کاربردهای سیستم‌های قیاسی، سنتز و تحلیل برنامه‌های قیاسی، آزمایش‌های کامپیوتری در زمینه‌های مرتبط با منطق، اثبات قضیه و برنامه‌ریزی منطقی گزارش می‌کنند. این امکان دسترسی به کار فشرده روی منطق کامپیوتر را هم در اتحاد جماهیر شوروی و هم در کشورهای غربی فراهم می کند.
توضیحاتی درمورد کتاب به خارجی
This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.
فهرست مطالب
Algebraic specified processes and enumerable models....Pages 1-2
On conditions of full coherence in biclosed categories: A new application of proof theory....Pages 3-8
The use of justification systems for integrated semantics....Pages 9-24
An equational deductive system for the differential and integral calculus....Pages 25-49
Inductively defined types....Pages 50-66
Algorithms for probabilistic inference....Pages 67-75
Geometry of interaction 2: Deadlock-free algorithms....Pages 76-93
On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions....Pages 94-104
β-Reductions and β-developments of λ-terms with the least number of steps....Pages 105-111
Group-theoretic approach to intractable problems....Pages 112-121
On some applications of Heyting-valued analysis II....Pages 122-145
Mathematics of infinity....Pages 146-197
Gentzen-type systems and resolution rules part I propositional logic....Pages 198-231
On the problem of reducing search in logic program execution....Pages 232-241
Correctness of short proofs in theory with notions of feasibility....Pages 242-245
A formulation of the simple theory of types (for Isabelle)....Pages 246-274
On connections between classical and constructive semantics....Pages 275-285
Flow-diagrams with sets....Pages 286-299
The resolution program, able to decide some solvable classes....Pages 300-312
A structural completeness theorem for a class of conditional rewrite rule systems....Pages 313-326
A proof-search method for the first order logic....Pages 327-338
