Algorithmic Mathematics

Introduces the basic algorithms for computing and provides a constructive approach to abstract mathematics.

**Tag(s):**
Mathematics

**Publication date**: 01 Jan 2004

**ISBN-10**:
n/a

**ISBN-13**:
n/a

**Paperback**:
n/a

**Views**: 16,596

**Type**: N/A

**Publisher**:
n/a

**License**:
n/a

**Post time**: 09 Dec 2007 05:51:39

Algorithmic Mathematics

Introduces the basic algorithms for computing and provides a constructive approach to abstract mathematics.

Excerpts from the Preface:

This text contains sufficient material for a one-semester course in mathematical algorithms, for second year mathematics students. The course requires some exposure to the basic concepts of discrete mathematics, but no computing experience.

The aim of this course is twofold. Firstly, to introduce the basic algorithms for computing exactly with integers, polynomials and vector spaces. In doing so, the student is expected to learn how to think algorithmically and how to design and analyze algorithms.

Secondly, to provide a constructive approach to abstract mathematics, algebra in particular. When introducing the elements of ring and field theory, algorithms offer concrete tools, constructive proofs, and a crisp environment where the benefits of rigour and abstraction become tangible.

We shall write algorithms in a straightforward language, which incorporates freely standard mathematical notation. The specialized constructs are limited to the if-structure and the while-loop, which are universal.

Exercises are provided. They have a degree of difficulty comparable to that of examination questions. Some of the exercises consist of short essays; in this context, the notation [ ] indicates that mathematical symbols are not permitted in the essay. Starred sections contain optional material, which is not examinable.

This text contains sufficient material for a one-semester course in mathematical algorithms, for second year mathematics students. The course requires some exposure to the basic concepts of discrete mathematics, but no computing experience.

The aim of this course is twofold. Firstly, to introduce the basic algorithms for computing exactly with integers, polynomials and vector spaces. In doing so, the student is expected to learn how to think algorithmically and how to design and analyze algorithms.

Secondly, to provide a constructive approach to abstract mathematics, algebra in particular. When introducing the elements of ring and field theory, algorithms offer concrete tools, constructive proofs, and a crisp environment where the benefits of rigour and abstraction become tangible.

We shall write algorithms in a straightforward language, which incorporates freely standard mathematical notation. The specialized constructs are limited to the if-structure and the while-loop, which are universal.

Exercises are provided. They have a degree of difficulty comparable to that of examination questions. Some of the exercises consist of short essays; in this context, the notation [ ] indicates that mathematical symbols are not permitted in the essay. Starred sections contain optional material, which is not examinable.

Tweet

About The Author(s)

No information is available for this author.

No information is available for this author.

Book Categories

Computer Science
40
Introduction to Computer Science
40
Algorithms and Data Structures
24
Object Oriented Programming
21
Theory of Computation
18
Formal Methods
18
Functional Programming
10
Logic Programming
23
Artificial Intelligence
22
Computer Vision
10
Big Data
3
Neural Networks
18
Compiler Design and Construction
16
Computer Organization and Architecture
9
Parallel Computing
3
Concurrent Programming
22
Operating Systems
22
Data Communication and Networks
29
Information Security
6
Information Theory
23
Digital Libraries
14
Information Systems
61
Software Engineering
17
Game Development and Multimedia
10
Data Mining
21
Machine Learning

Mathematics
65
Mathematics
2
Precalculus
9
Algebra
6
Calculus
5
Category Theory
25
Linear Algebra
16
Computer Aided Mathematics
5
Proofs
15
Discrete Mathematics
6
Numerical Methods
3
Number Theory
10
Graph Theory
11
Operations Research
1
Complex Analysis
5
Queueing Theory
31
Statistics
9
Probability

Supporting Fields
9
Electric Circuits
22
Signal Processing
14
Web Design and Development
9
Database Management System
1
Cloud Computing

Operating System
Programming/Scripting
6
Ada
12
Assembly
34
C / C++
8
Common Lisp
2
Forth
34
Java
11
JavaScript
1
Lua
16
Microsoft .NET
12
Perl
5
PHP
55
Python
1
Rebol
13
Ruby
2
Scheme
3
Tcl/Tk

Miscellaneous