دانلود کتاب A Many-Sorted Calculus Based on Resolution and Paramodulation – حساب بسیار مرتب شده بر اساس تفکیک و پارامدولاسیون

توضیحات

A Many-Sorted Calculus Based on Resolution and Paramodulation emphasizes the utilization of advantages and concepts of many-sorted logic for resolution and paramodulation based automated theorem proving.

This book considers some first-order calculus that defines how theorems from given hypotheses by pure syntactic reasoning are obtained, shifting all the semantic and implicit argumentation to the syntactic and explicit level of formal first-order reasoning. This text discusses the efficiency of many-sorted reasoning, formal preliminaries for the RP- and ?RP-calculus, and many-sorted term rewriting and unification. The completeness and soundness of the ?RP-calculus, sort theorem, and automated theorem prover for the ?RP-calculus are also elaborated.

This publication is a good source for students and researchers interested in many-sorted calculus.

————————————————————–

ترجمه ماشینی :

حساب بسیار مرتب شده بر اساس تفکیک و پارامدولاسیون بر استفاده از مزایا و مفاهیم منطق چند مرتبه برای اثبات قضیه خودکار مبتنی بر تفکیک و پارامدولاسیون تاکید می کند.

این کتاب برخی از محاسبات مرتبه اول را در نظر می گیرد که چگونه قضایا را از فرضیه های داده شده با استدلال نحوی خالص به دست می آیند و تمام استدلال های معنایی و ضمنی را به سطح نحوی و صریح استدلال مرتبه اول رسمی منتقل می کنند. این متن در مورد کارایی استدلال‌های چند مرتبه، مقدمات رسمی برای حساب RP- و ?RP- و بازنویسی و یکسان سازی اصطلاحات با مرتب‌سازی زیاد بحث می‌کند. کامل بودن و درستی حساب ?RP-، قضیه مرتب سازی، و اثبات قضیه خودکار برای حساب ?RP- نیز به تفصیل شرح داده شده است.

این نشریه منبع خوبی برای دانشجویان و محققان علاقه مند به حساب دیفرانسیل و انتگرال دسته بندی شده است. .

tag : دانلود کتاب حساب بسیار مرتب شده بر اساس تفکیک و پارامدولاسیون , Download حساب بسیار مرتب شده بر اساس تفکیک و پارامدولاسیون , دانلود حساب بسیار مرتب شده بر اساس تفکیک و پارامدولاسیون , Download A Many-Sorted Calculus Based on Resolution and Paramodulation Book , حساب بسیار مرتب شده بر اساس تفکیک و پارامدولاسیون دانلود , buy حساب بسیار مرتب شده بر اساس تفکیک و پارامدولاسیون , خرید کتاب حساب بسیار مرتب شده بر اساس تفکیک و پارامدولاسیون , دانلود کتاب A Many-Sorted Calculus Based on Resolution and Paramodulation , کتاب A Many-Sorted Calculus Based on Resolution and Paramodulation , دانلود A Many-Sorted Calculus Based on Resolution and Paramodulation , خرید A Many-Sorted Calculus Based on Resolution and Paramodulation , خرید کتاب A Many-Sorted Calculus Based on Resolution and Paramodulation ,