منو
رکورد قبلیرکورد بعدی

" Classical Fourier analysis / "


Document Type : BL
Record Number : 872321
Main Entry : Bundy, Alan
Title & Author : The computer modelling of mathematical reasoning /\ Alan Bundy, Department of Artificial Intelligence, Edinburgh.
Publication Statement : London ;New York :: Academic Press,, 1983.
Page. NO : xiv, 322 pages :: illustrations ;; 23 cm
ISBN : 01214125040121413520 (pbk.)
: : 0121412504
: : 01214125200121413520
: : 9780121412500
: : 9780121412524
Notes : "This book started as notes for a postgraduate course in Mathematical Reasoning given in the Department of Artificial Intelligence at Edinburgh from 1979 onwards."--Preface.
Bibliographies/Indexes : Includes bibliographical references (pages 312-317) and index.
Contents : I. Formal notation -- Arguments about propositions -- The internal structure of propositions -- Miscellaneous topics -- II. Uniform proof procedures -- Formalizing the notion of proof -- Searching for a refutation -- Criticisms of uniform proof procedures -- III. Guiding search -- Decision procedures for inequalities -- Rewrite rules -- Using semantic information to guide proofs -- The productive use of failure -- Formalizing control information -- IV. Mathematical invention -- Concept formation -- Forming mathematical models -- V. Technical issues -- Clausal form -- Herbrand proof procedures -- Pattern matching -- Applications of artificial mathematics.
Subject : Automatic theorem proving.
Subject : Logic, Symbolic and mathematical.
Subject : Mathematics-- Data processing.
Subject : Intelligence artificielle.
Subject : Anwendung
Subject : ARTIFICIAL INTELLIGENCE.
Subject : Automatic theorem proving.
Subject : Automatisches Beweisverfahren
Subject : Inteligencia Artificial (Computacao)
Subject : Künstliche Intelligenz
Subject : Logic, Symbolic and mathematical.
Subject : Logique symbolique et mathématique.
Subject : Mathematics-- Data processing.
Subject : Mathematik
Subject : Mathématiques-- Informatique.
Subject : THEOREM PROVING.
Subject : Théorèmes-- Démonstration automatique.
Subject : Mathematik.
Subject : Computersimulaties.
Subject : Redeneren.
Subject : Wiskunde.
Dewey Classification : ‭510/.2854‬
: ‭511.3‬
LC Classification : ‭QA76.95‬‭.B86 1983‬
NLM classification : ‭54.72‬bcl
: ‭DT 706f‬stub
: ‭ST 304‬rvk
: ‭ST 600‬rvk
copyhttps://lib.clisel.com/site/catalogue/809719
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟