Theoretical Foundations for Practical 'Totally Functional Programming'
~
Colin J. M. Kemp
Doctoral dissertation on 'Totally Functional Programming' by Colin Kemp (accepted & awarded- PhD conferred 2009).
Download hereScience, mathematics, physics,chemistry, informatics, etc..www.mathlib.org
Object-Oriented Programming (1989)
~
Dan Ingalls
Production Company: University Video Communications
Sponsor: Apple Computers
Audio/Visual: sound, color
Download hereScience, mathematics, physics,chemistry, informatics, etc..www.mathlib.org
Linear Programming
~
Ourmedia
An introduction to Dantzig's simplex method of finding optimal solutions.
Download hereScience, mathematics, physics,chemistry, informatics, etc..www.mathlib.org
Combinatory Logic in Programming.
~
V.E. Wolfengagen
Book by V.E. Wolfengagen "Combinatory Logic in Programming. Computations with Objects Through Examples and Exercises". 2-nd ed. -- Moscow, Center JurInfoR, 2003. X+336 p.
The book is intended for computer science students, programmers and professionals who have already got acquainted with the basic courses and background on discrete mathematics. It may be used as a textbook for graduate course on theoretical computer science.
The book introduces a reader to the conceptual framework for thinking about computations with the objects. The several areas of theoretical computer science are covered, including the following: type free and typed lambda-calculus and combinatory logic with applications, evaluation of expressions, computations in a category. The topics, covered in the book accumulated much experience in teaching these subjects in graduate computer science courses.
A rich set of examples and exercises, including solutions, has been prepared to stimulate the self studying and to make easier the job of instructor.
Download hereScience, mathematics, physics,chemistry, informatics, etc..www.mathlib.org
Lectures on Parallel Programming (2009)
~
PDMI Computer Science Club
Lectures on Parallel Programming by Roman Elizarov.
PDMI Computer Science Club, spring term 2009.
Producer: PDMI Computer Science Club
Audio/Visual: sound, color
Language: Russian
Contact Information: http://logic.pdmi.ras.ru/~infclub/
Download hereScience, mathematics, physics,chemistry, informatics, etc..www.mathlib.org
CCTV's 2008 Showcase Programming
~
Watch samples of some of our best programming from 2008!
This movie is part of the collection: Cambridge Community Television
Download hereScience, mathematics, physics,chemistry, informatics, etc..www.mathlib.org
The Psychology of Computer Programming: Silver Anniversary Edition
~
Weinberg G.M.
Review
I recently reread parts of The Psychology of Computer Programming that seemed very radical to me when I first read them in 1971. As I look around at today's programmers, I can see what a large, beneficial effect that work has had. --Richard Mateosian, IEEE Micro
The Psychology of Computer Programming . . . was the first major book to address programming as an individual and team effort, and became a classic in the field. . . . Despite, or perhaps even because of, the perspective of 1971, this book remains a must-read for all software development managers. --J.J. Hirschfelder, Computing Reviews
Whether you're part of the generation of the 1960's and 1970's, or part of the current generation . . . you owe it to yourself to pick up a copy of this wonderful book. Once you've digested it, you should then track down all [twenty] of the other Weinberg textbooks published by Dorset House. . . . Every one of them is a jewel. --Ed Yourdon, Cutter IT E-Mail Advisor
Product Description
This landmark 1971 classic is reprinted with a new preface, chapter-by-chapter commentary, and straight-from-the-heart observations on topics that affect the professional life of programmers.
Long regarded as one of the first books to pioneer a people-oriented approach to computing, The Psychology of Computer Programming endures as a penetrating analysis of the intelligence, skill, teamwork, and problem-solving power of the computer programmer.
Finding the chapters strikingly relevant to today's issues in programming, Gerald M. Weinberg adds new insights and highlights the similarities and differences between now and then. Using a conversational style that invites the reader to join him, Weinberg reunites with some of his most insightful writings on the human side of software engineering.
Topics include egoless programming, intelligence, psychological measurement, personality factors, motivation, training, social problems on large projects, problem-solving ability, programming language design, team formation, the programming environment, and much more.
Dorset House Publishing is proud to make this important text available to new generations of Weinberg fans and to encourage readers of the first edition to return to its valuable lessons.
See all Editorial Reviews
Product Details
* Paperback: 292 pages
* Publisher: Dorset House; Anl Sub edition (September 1998)
* Language: English
* ISBN-10: 0932633420
* ISBN-13: 978-0932633422
Download hereScience, mathematics, physics,chemistry, informatics, etc..www.mathlib.org
Prolog programming for artificial intelligence
~
Bratko I.
Product Description
The third edition of this guide to Prolog and Artificial Intelligence has been updated to include key developments in the field. Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches Artificial Intelligence using Prolog as a tool for the implementation of AI techniques. --This text refers to an out of print or unavailable edition of this title.
From the Back Cover
This best-selling guide to Prolog has been fully revised and extended to provide an even greater range of applications, enhancing its value as a stand-alone guide to Prolog, artificial intelligence, or AI programming. Ivan Bratko discusses natural language processing with grammar rules, planning, and machine learning. The coverage of meta-programming includes meta-interpreters and object-oriented programming in Prolog. The new edition includes coverage of: constraint logic programming; qualitative reasoning; inductive logic programming; recently developed algorithms; belief networks for handling uncertainty; and a major update on machine learning. This book is aimed at programmers who need to learn AI programming. --This text refers to an out of print or unavailable edition of this title.
Product Details
* Paperback: 736 pages
* Publisher: Addison-Wesley Educational Publishers Inc; 4th edition (August 16, 2010)
* Language: English
* ISBN-10: 0321417461
* ISBN-13: 978-0321417466
Download hereScience, mathematics, physics,chemistry, informatics, etc..www.mathlib.org
Applications of Abstract Algebra with MAPLE
~
Richard E. Klima, Neil Sigmon, and Ernest Stitzinger
Product Description
The mathematical concepts of abstract algebra may indeed be considered abstract, but its utility is quite concrete and continues to grow in importance. Unfortunately, the practical application of abstract algebra typically involves extensive and cumbersome calculations-often frustrating even the most dedicated attempts to appreciate and employ its intricacies. Now, however, sophisticated mathematical software packages help obviate the need for heavy number-crunching and make fields dependent on the algebra more interesting-and more accessible.Applications of Abstract Algebra with Maple opens the door to cryptography, coding, Polya counting theory, and the many other areas dependent on abstract algebra. The authors have carefully integrated Maple V throughout the text, enabling readers to see realistic examples of the topics discussed without struggling with the computations. But the book stands well on its own if the reader does not have access to the software.The text includes a first-chapter review of the mathematics required-groups, rings, and finite fields-and a Maple tutorial in the appendix along with detailed treatments of coding, cryptography, and Polya theory applications.Applications of Abstract Algebra with Maple packs a double punch for those interested in beginning-or advancing-careers related to the applications of abstract algebra. It not only provides an in-depth introduction to the fascinating, real-world problems to which the algebra applies, it offers readers the opportunity to gain experience in using one of the leading and most respected mathematical software packages available.
# Hardcover: 272 pages
# Publisher: CRC; 1 edition (September 28, 1999)
# Language: English
# ISBN-10: 0849381703
# ISBN-13: 978-0849381706
Download hereScience, mathematics, physics,chemistry, informatics, etc..www.mathlib.org
3D Computer Graphics: A Mathematical Introduction with OpenGL
~
Samuel R. Buss
Review
"I have a favorable impression of this book for providing a mathematical approach to CG while introducing the reader to OpenGL. Additionally, it is a good introductory resource for ray tracing, radiosity, and animation and kinematics. I would highly recommend this book to someone who teaches CG and would like to modernize his or her course."
SIAM News
"There are a few experts who would find nothing new in this book, but most of the rest of us would benefit from it. Almost any time that a programmer chooses to ignore one of the aphorisms they need to justify their choice which makes it a good basis for communicating why a piece of source code either needs more comments or a different approach. Buy a copy, keep it in your pocket to browse through while waiting in line for a meal, a bus etc. when you know it all, pass your copy on."
CVu/ACCU Reviews
Product Description
This introduction to 3D computer graphics emphasizes fundamentals and the mathematics underlying computer graphics, while also covering programming techniques using OpenGL, a platform-independent graphics programming environment. The minimal prerequisites make it suitable for self-study or for use as an advanced undergraduate or introductory graduate text as the author leads step-by-step from the basics of transformations to advanced topics such as animations and kinematics. Accompanying software, including source code for a ray tracing software package, is available freely from the book's web site.
Download hereScience, mathematics, physics,chemistry, informatics, etc..www.mathlib.org
Mathematical Problems in Image Processing: Partial Differential Equations and the Calculus of Variations (Applied Mathematical Sciences)
~
Aubert G., Kornprobst P.
Review
From the reviews:
(Selected by the author): "Mathematical Problems in Image Processing is a major, elegant, and unique contribution to the applied mathematics literature, oriented toward applications in image processing and computer vision.... Researchers and practitioners working in the field will benefit by adding this book to their personal collection. Students and instructors will benefit by using this book as a graduate course textbook."
Luminita Vese
University of California at Los Angeles
(Selected by the author): "The Mathematician -- and he doesn't need to be a 'die-hard' applied mathematician -- will love it because there are all these spectacular applications of nontrivial mathematical techniques and he can even find some open theoretical questions. The numerical analyst will discover many challenging problems and implementations. The image processor will be an eager reader because the book provides all the mathematical elements, including most of the proofs.... Both content and typography are a delight. I can recommend the book warmly for theoretical and applied researchers."
Adhemar Bultheel
MATHEMATICAL REVIEWS
"The authors have substantially contributed to many aspects of the subject…The level of the book is advanced, and the exposition very clear, developed in depth, and to some extent self-contained. The proofs of the main theorems are usually given in detail; when necessary there is also a precise reference to the ample literature on the specific topic. This book will certainly interest both mathematicians (some interesting, still open theoretical questions there are highlighted) and researchers in computer vision…The books substantial and up-to-date body for reference is a detailed guide to the literature on the many aspects of image processing."
G. Aubert and P. Kornprobst
Mathematical Problems in Image Processing
Partial Differential Equations and the Calculus of Variations
"This book is devoted to a detailed presentation of several aspects of mathematical problems in image processing . . . The authors have substantially contributed to many aspects of their subject . . . The level of the book is advanced, and the to some extent self-contained . . . This book will certainly interest both mathematicians (some interesting, still open theoretical questions here are highlighted) and researchers in computer vision."—MATHEMATICAL REVIEWS
From the reviews of the second edition:
"The book is devoted to the mathematical treatment of several problems in image processing, with particular attention to the methods involving partial differential equations and variational analysis … . This second edition has the same goals, and the spirit in which the volume is written will again let it be a reference for both the mathematical and the computer vision communities. Besides the natural updating of the existing chapters, this second edition presents some new material … ." (Giuseppe Buttazzo, Zentralblatt MATH, Vol. 1110 (12), 2007)
Product Description
Partial differential equations (PDEs) and variational methods were introduced into image processing about fifteen years ago. Since then, intensive research has been carried out. The goals of this book are to present a variety of image analysis applications, the precise mathematics involved and how to discretize them.
Thus, this book is intended for two audiences. The first is the mathematical community by showing the contribution of mathematics to this domain. It is also the occasion to highlight some unsolved theoretical questions. The second is the computer vision community by presenting a clear, self-contained and global overview of the mathematics involved in image processing problems. This work will serve as a useful source of reference and inspiration for fellow researchers in Applied Mathematics and Computer Vision, as well as being a basis for advanced courses within these fields.
During the four years since the publication of the first edition, there has been substantial progress in the range of image processing applications covered by the PDE framework. The main goals of the second edition are to update the first edition by giving a coherent account of some of the recent challenging applications, and to update the existing material. In addition, this book provides the reader with the opportunity to make his own simulations with a minimal effort. To this end, programming tools are made available, which will allow the reader to implement and test easily some classical approaches.
Product Details
* Hardcover: 377 pages
* Publisher: Springer; 2nd edition (August 1, 2006)
* Language: English
* ISBN-10: 0387322000
* ISBN-13: 978-0387322001
Download hereScience, mathematics, physics,chemistry, informatics, etc..www.mathlib.org
The Mystery of Knots: Computer Programming for Knot Tabulation (Series on Knots and Everything, Volume 20)
~
Aneziris C.N.
Product Description
One of the most significant unsolved problems in mathematics is the complete classification of knots. The main purpose of this text is to introduce the reader to the use of computer programming to obtain the table of knots. The author seeks to present this problem as clearly and methodically as possible, starting from the very basics. Mathematical ideas and concepts are extensively discussed, and no advance background is required.
Product Details
* Hardcover: 396 pages
* Publisher: World Scientific Publishing Company; illustrated edition edition (December 1999)
* Language: English
* ISBN-10: 9810238789
* ISBN-13: 978-9810238780
Download hereScience, mathematics, physics,chemistry, informatics, etc..www.mathlib.org
Object-Oriented Analysis and Design with Applications
~
Booch G., et al.
Amazon.com Review
In this eagerly awaited second edition, Grady Booch draws upon the rich and varied results of those projects and offers improved methods for object development and a new, unified notation. With numerous examples implemented in C++, Booch illustrates essential concepts, explains the method, and shows successful applications in a variety of fields. Booch also gives pragmatic advice on a host of issues, including classification, implementation strategies, and cost-effective project management. A two-time winner of Software Development's coveted Jolt Cola Product Excellence Award! --This text refers to an alternate Hardcover edition.
Product Description
Object-Oriented Design with Applications has long been the essential reference to object-oriented technology, which, in turn, has evolved to join the mainstream of industrial-strength software development. In this third edition--the first revision in 13 years--readers can learn to apply object-oriented methods using new paradigms such as Java, the Unified Modeling Language (UML) 2.0, and .NET.
The authors draw upon their rich and varied experience to offer improved methods for object development and numerous examples that tackle the complex problems faced by software engineers, including systems architecture, data acquisition, cryptoanalysis, control systems, and Web development. They illustrate essential concepts, explain the method, and show successful applications in a variety of fields. You'll also find pragmatic advice on a host of issues, including classification, implementation strategies, and cost-effective project management.
New to this new edition are
* An introduction to the new UML 2.0, from the notation's most fundamental and advanced elements with an emphasis on key changes
* New domains and contexts
* A greatly enhanced focus on modeling--as eagerly requested by readers--with five chapters that each delve into one phase of the overall development lifecycle.
* Fresh approaches to reasoning about complex systems
* An examination of the conceptual foundation of the widely misunderstood fundamental elements of the object model, such as abstraction, encapsulation, modularity, and hierarchy
* How to allocate the resources of a team of developers and mange the risks associated with developing complex software systems
* An appendix on object-oriented programming languages
This is the seminal text for anyone who wishes to use object-oriented technology to manage the complexity inherent in many kinds of systems.
Sidebars
Preface
Acknowledgments
About the Authors
Section I: Concepts
Chapter 1: Complexity
Chapter 2: The Object Model
Chapter 3: Classes and Objects
Chapter 4: Classification
Section II: Method
Chapter 5: Notation
Chapter 6: Process
Chapter 7: Pragmatics
Chapter 8: System Architecture: Satellite-Based Navigation
Chapter 9: Control System: Traffic Management
Chapter 10: Artificial Intelligence: Cryptanalysis
Chapter 11: Data Acquisition: Weather Monitoring Station
Chapter 12: Web Application: Vacation Tracking System
Appendix A: Object-Oriented Programming Languages
Appendix B: Further Reading
Notes
Glossary
Classified Bibliography
Index
Product Details
* Hardcover: 720 pages
* Publisher: Addison-Wesley Professional; 3 edition (April 30, 2007)
* Language: English
* ISBN-10: 020189551X
* ISBN-13: 978-0201895513
DownloadScience, mathematics, physics,chemistry, informatics, etc..www.mathlib.org
