Logic, Form and Function: The Mechanization of Deductive Reasoning
North-Holland, 1979/01/01 - 312 ページ
Logic: form and content; Formulas: syntax and intuitive semantics; Boolean analysis of sentences; Infinitive finitary trees and boolean compactness; Semantic analysis of sentences and terms; Logical consequence: sequents and proofs; Logical equivalence: substitutivity and variants; Normal forms of sentences and sequents; Herbrand models and maps; Quad notation for clausal sequents; Unification; Resolution; Resolution on the computer; Historical notes; Appedix; Index.
この書籍の 9 ページで COND NULL が見つかりました
検索結果1-3 / 9
レビュー - レビューを書く
Review: Logic (Trinity Paper, #9)ユーザー レビュー - Davey Ermold - Goodreads
In my near-thirty years of life, I've never had lessons in logic. I've had little bits here and there, and I knew how to construct some semblance of an argument, but this is the first time I've ever ... レビュー全文を読む
Review: Logic (Trinity Paper, #9)ユーザー レビュー - David - Goodreads
Essential text on logic and reasoning. Clark presents an advanced, deep-dive into the primary elements of logic. Numerous tables and graphical illustrations are provided to aid in categorization. Why isn't this mandatory study material for all high-schools or at least college freshmen? レビュー全文を読む
Syntax and Intuitive Semantics
Boolean Analysis of Sentences
Infinite Finitary Trees and Boolean Compactness
他の 10 セクションは表示されていません
他の版 - すべて表示
JSTOR: Logic: Form and Function. The Mechanization of Deductive ...
Logic: form and function. The mechanization of deductive reasoning. Artificial intelligence series. North-Holland, New York 1979, vi + 312 pp. ...
Review: ja Robinson, Logic: Form and Function. The Mechanization ...
Review: ja Robinson, Logic: Form and Function. The Mechanization of Deductive Reasoning. jd Halpern. Source: J. Symbolic Logic Volume 51, Issue 1 (1986), ...
projecteuclid.org/ handle/ euclid.jsl/ 1183742043
Robinson ja Logic: form and function, The mechanization of deductive reasoning, University Press of Edinburgh, 1979 没看过：（ Rogers H.Jr Theory of ...
web.ics.purdue.edu/ ~zhang138/ General/ ref.htm