Applied Logic

By: F.D. Kamareddine (Editor)

Write A Review

Hardcover | 30 November 2003

At a Glance

Hardcover
336 Pages

Dimensions(cm)
24.13 x 16.51 x 1.52

Hardcover

$169.75

or 4 interest-free payments of $42.44 with

Ships in 5 to 7 business days

THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. By then, his contributions in mathematics were numerous and extremely influential. His book on advanced asymptotic methods, North Holland 1958, was a classic and was subsequently turned into a book in the well known Dover book series. His work on combinatorics yielded influential notions and theorems of which we mention the de Bruijn-sequences of 1946 and the de Bruijn-Erdos theorem of 1948. De Bruijn's contributions to mathematics also included his work on generalized function theory, analytic number theory, optimal control, quasicrystals, the mathematical analysis of games and much more. In the 1960s de Bruijn became fascinated by the new computer technology and as a result, decided to start the new AUTOMATH project where he could check, with the help of the computer, the correctness of books of mathematics. In each area that de Bruijn approached, he shed a new light and was known for his originality and for making deep intellectual contributions. And when it came to automating mathematics, he again did it his way and introduced the highly influential AUTOMATH. In the past decade he has also been working on theories of the human brain.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Mathematics Mathematical Foundation Mathematical Logic Language & Linguistics Reference, Dictionaries & Guides Mathematical Theory of Computation Maths for Computer Scientists Applied Mathematics

Databases Data Capture & Analysis Optimisation Algebra

Contributors	p. vii
Editorial Preface	p. 1
A Mathematical Model for Biological Memory and Consciousness	p. 9
Towards an Interactive Mathematical Proof Mode	p. 25
Recent Results in Type Theory and their Relationship to Automath	p. 37
Linear Contexts, Sharing Functors: Techniques for Symbolic Computation	p. 49
De Bruijn's Automath and Pure Type Systems	p. 71
Hoare Logic with Explicit Contexts	p. 125
Transitive Closure and the Mechanization of Mathematics	p. 149
Polymorphic Type-checking for the Ramified Theory of Types of Principia Mathematica	p. 173
Termination in ACL2 using Multiset Relations	p. 217
The [pi]-Calculus in FM	p. 247
Proof Development with [Omega]mega: The Irrationality of [radical]2	p. 271
Index	p. 315
Table of Contents provided by Rittenhouse. All Rights Reserved.

Applied Logic

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Optimisation

The Infinite Game

From the bestselling author of Start With Why

How to Win At Chess

The Ultimate Guide for Beginners and Beyond

The Selfish Gene

40th Anniversary Edition

Industrial Organization

The Economics of Markets, Firms, and Competition

The Art of Strategy

A Game Theorist's Guide to Success in Business and Life

Statistical Analysis with R For Dummies

For Dummies (Computer/Tech)

Math Games with Bad Drawings

75 1/4 Simple, Challenging, Go-Anywhere Games & And Why They Matter

Game Theory

2nd edition

Elementary Linear Algebra

8th Edition - International Metric Edition

On the Edge

The Art of Risking Everything

MAXIMA AND MINIMA

How Extremes Can Explain Mathematics Concepts And Facilitate Problem Solving

MAXIMA AND MINIMA

How Extremes Can Explain Mathematics Concepts And Facilitate Problem Solving

This Is Chaos

Embracing the Future of Magic

Acumenous Game-Based Learning in Simulation Games

Transforming Fears of Mathematics and Statistics Education

Data-Driven Modelling with Fuzzy Sets

Embracing Uncertainty

Metaheuristic Algorithms

Theory and Practice

Robust Control Algorithms for Two-link Flexible Manipulators

Blackjack Mathematics for Non-Mathematicians

Beautiful Security

When Science Meets Cybersecurity

Blackjack Mathematics for Non-Mathematicians

Fuzzy Model-Based Sliding Mode Control of Complex Nonlinear Systems

Engineering Mathematics and Operations Research

Fuzzy Sets and Triangular Norms

Aggregation in Decision-Aided Intelligent Systems

Advanced Techniques in Tracking and Sensor Management

Theory and Applications

AK Peters/CRC Recreational Mathematics

60 Years of Mathematical Puzzles in Parabola

This product is categorised by