عنوان
پدید آورنده
موضوع
رده
QA76.95 .B86 1983
QA76
.
95
.
B86
1983
کتابخانه
محل استقرار
0121412504
0121412504
0121412520
9780121412500
9780121412524
0121413520 (pbk.)
0121413520
The computer modelling of mathematical reasoning /
[Book]
Alan Bundy, Department of Artificial Intelligence, Edinburgh.
New York :
Academic Press,
1983.
xiv, 322 pages :
illustrations ;
23 cm
"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.
Includes bibliographical references (pages 312-317) and index.
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.
0
No price : CIP rev.
Computer modelling of mathematical reasoning.
Automatic theorem proving.
Logic, Symbolic and mathematical.
Mathematics-- Data processing.
Intelligence artificielle.
Anwendung
ARTIFICIAL INTELLIGENCE.
Automatic theorem proving.
Automatisches Beweisverfahren
Computersimulaties.
Inteligencia Artificial (Computacao)
Künstliche Intelligenz
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
Mathematics-- Data processing.
Mathematik
Mathematik.
Mathématiques-- Informatique.
Redeneren.
THEOREM PROVING.
Théorèmes-- Démonstration automatique.
Wiskunde.
518
518.81
510/
.
2854
511
.
3
19
19
QA76
.
95
.
B86
1983
54
.
72
DT
706f
ST
304
ST
600
bcl
stub
rvk
rvk
Bundy, Alan
20200822084718.0
rda
مطالعه متن کتاب [Book]
Y
