The computer modelling of mathematical reasoning

Main
Mathematics
The computer modelling of mathematical...

The computer modelling of mathematical reasoning

Name: The computer modelling of mathematical reasoning
ISBN: 9780121412524

Alan Bundy

0 / 0

0 comments

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

This review of the work done to date on the computer modelling of mathematical reasoning processes brings together a variety of approaches and disciplines within a coherent frame. A limited knowledge of mathematics is assumed in the introduction to the principles of mathematical logic. The plan of the book is such that students with varied backgrounds can find necessary information as quickly as possible. Exercises are included throughout the book.

კატეგორია:

Mathematics

წელი:

1983

გამომცემლობა:

Academic Press

ენა:

english

გვერდები:

413

ISBN 10:

0121412520