Recursive Analysis

Author: R. L. Goodstein

Publisher: Courier Corporation

ISBN: 0486158152

Category: Mathematics

Page: 144

View: 8299

DOWNLOAD NOW »

This text by a master in the field covers recursive convergence, recursive and relative continuity, recursive and relative differentiability, the relative integral, elementary functions, and transfinite ordinals. 1961 edition.
Release

Introduction to Numerical Analysis

Second Edition

Author: F. B. Hildebrand

Publisher: Courier Corporation

ISBN: 0486318559

Category: Mathematics

Page: 669

View: 5519

DOWNLOAD NOW »

Well-known, respected introduction, updated to integrate concepts and procedures associated with computers. Computation, approximation, interpolation, numerical differentiation and integration, smoothing of data, more. Includes 150 additional problems in this edition.
Release

Feferman on Foundations

Logic, Mathematics, Philosophy

Author: Gerhard Jäger,Wilfried Sieg

Publisher: Springer

ISBN: 3319633341

Category: Mathematics

Page: 551

View: 5819

DOWNLOAD NOW »

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics. Feferman’s work was largely based in mathematical logic (namely model theory, set theory, proof theory and computability theory), but also branched out into methodological and philosophical issues, making it well known beyond the borders of the mathematics community. With regard to methodological issues, Feferman supported concrete projects. On the one hand, these projects calibrate the proof theoretic strength of subsystems of analysis and set theory and provide ways of overcoming the limitations imposed by Gödel’s incompleteness theorems through appropriate conceptual expansions. On the other, they seek to identify novel axiomatic foundations for mathematical practice, truth theories, and category theory. In his philosophical research, Feferman explored questions such as “What is logic?” and proposed particular positions regarding the foundations of mathematics including, for example, his “conceptual structuralism.” The contributing authors of the volume examine all of the above issues. Their papers are accompanied by an autobiography presented by Feferman that reflects on the evolution and intellectual contexts of his work. The contributing authors critically examine Feferman’s work and, in part, actively expand on his concrete mathematical projects. The volume illuminates Feferman’s distinctive work and, in the process, provides an enlightening perspective on the foundations of mathematics and logic.
Release

Analysis of Numerical Methods

Author: Eugene Isaacson,Herbert Bishop Keller

Publisher: Courier Corporation

ISBN: 0486137988

Category: Mathematics

Page: 576

View: 5599

DOWNLOAD NOW »

This excellent text for advanced undergraduate and graduate students covers norms, numerical solutions of linear systems and matrix factoring, eigenvalues and eigenvectors, polynomial approximation, and more. Many examples and problems. 1966 edition.
Release

Applied Nonstandard Analysis

Author: Martin Davis

Publisher: Courier Corporation

ISBN: 0486152340

Category: Mathematics

Page: 208

View: 5318

DOWNLOAD NOW »

This applications-oriented text assumes no knowledge of mathematical logic in its development of nonstandard analysis techniques and their applications to elementary real analysis and topological and Hilbert space. 1977 edition.
Release

Real Analysis

Author: Edward James McShane,Truman Arthur Botts

Publisher: Courier Corporation

ISBN: 0486165671

Category: Mathematics

Page: 288

View: 7929

DOWNLOAD NOW »

This text surveys practical elements of real function theory, general topology, and functional analysis. Discusses the maximality principle, the notion of convergence, the Lebesgue-Stieltjes integral, function spaces and harmonic analysis. Includes exercises. 1959 edition.
Release

Mathematics for Algorithm and Systems Analysis

Author: Edward A. Bender,Stanley Gill Williamson

Publisher: Courier Corporation

ISBN: 0486442500

Category: Mathematics

Page: 248

View: 9195

DOWNLOAD NOW »

Discrete mathematics is fundamental to computer science, and this up-to-date text assists undergraduates in mastering the ideas and mathematical language to address problems that arise in the field's many applications. It consists of 4 units of study: counting and listing, functions, decision trees and recursion, and basic concepts of graph theory.
Release

Data Structures & Algorithm Analysis in C++

Author: Clifford A. Shaffer

Publisher: Courier Corporation

ISBN: 048648582X

Category: Computers

Page: 594

View: 771

DOWNLOAD NOW »

A comprehensive treatment focusing on the creation of efficient data structures and algorithms, this text explains how to select or design the data structure best suited to specific problems. It uses C++ as the programming language and is suitable for second-year data structure courses and computer science courses in algorithmic analysis.
Release

The Recursive Universe

Cosmic Complexity and the Limits of Scientific Knowledge

Author: William Poundstone

Publisher: Courier Corporation

ISBN: 048649098X

Category: Science

Page: 248

View: 1923

DOWNLOAD NOW »

This fascinating popular science journey explores key concepts in information theory in terms of Conway's "Game of Life" program. The author explains the application of natural law to a random system and demonstrates the necessity of limits. Other topics include the limits of knowledge, paradox of complexity, Maxwell's demon, Big Bang theory, and much more. 1985 edition.
Release