An Introduction to Functional Programming Through Lambda Calculus

An Introduction to Functional Programming Through Lambda Calculus

Author: Greg Michaelson

Publisher: Courier Corporation

Published: 2013-04-10

Total Pages: 338

ISBN-13: 0486280292

DOWNLOAD EBOOK

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, and numerous exercises offer reinforcement. Includes solutions. 1989 edition.


A Primer on Scientific Programming with Python

A Primer on Scientific Programming with Python

Author: Hans Petter Langtangen

Publisher: Springer

Published: 2016-07-28

Total Pages: 942

ISBN-13: 3662498871

DOWNLOAD EBOOK

The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example and problem-oriented, where the applications are taken from mathematics, numerical calculus, statistics, physics, biology and finance. The book teaches "Matlab-style" and procedural programming as well as object-oriented programming. High school mathematics is a required background and it is advantageous to study classical and numerical one-variable calculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in various branches of science and engineering, with the aid of numerical methods and programming. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science. From the reviews: Langtangen ... does an excellent job of introducing programming as a set of skills in problem solving. He guides the reader into thinking properly about producing program logic and data structures for modeling real-world problems using objects and functions and embracing the object-oriented paradigm. ... Summing Up: Highly recommended. F. H. Wild III, Choice, Vol. 47 (8), April 2010 Those of us who have learned scientific programming in Python ‘on the streets’ could be a little jealous of students who have the opportunity to take a course out of Langtangen’s Primer.” John D. Cook, The Mathematical Association of America, September 2011 This book goes through Python in particular, and programming in general, via tasks that scientists will likely perform. It contains valuable information for students new to scientific computing and would be the perfect bridge between an introduction to programming and an advanced course on numerical methods or computational science. Alex Small, IEEE, CiSE Vol. 14 (2), March /April 2012 “This fourth edition is a wonderful, inclusive textbook that covers pretty much everything one needs to know to go from zero to fairly sophisticated scientific programming in Python...” Joan Horvath, Computing Reviews, March 2015


Quantities, Units and Symbols in Physical Chemistry

Quantities, Units and Symbols in Physical Chemistry

Author: International Union of Pure and Applied Chemistry. Physical and Biophysical Chemistry Division

Publisher: Royal Society of Chemistry

Published: 2007

Total Pages: 240

ISBN-13: 0854044337

DOWNLOAD EBOOK

Prepared by the IUPAC Physical Chemistry Division this definitive manual, now in its third edition, is designed to improve the exchange of scientific information among the readers in different disciplines and across different nations. This book has been systematically brought up to date and new sections added to reflect the increasing volume of scientific literature and terminology and expressions being used. The Third Edition reflects the experience of the contributors with the previous editions and the comments and feedback have been integrated into this essential resource. This edition has been compiled in machine-readable form and will be available online.


Computational Complexity

Computational Complexity

Author: Sanjeev Arora

Publisher: Cambridge University Press

Published: 2009-04-20

Total Pages: 609

ISBN-13: 0521424267

DOWNLOAD EBOOK

New and classical results in computational complexity, including interactive proofs, PCP, derandomization, and quantum computation. Ideal for graduate students.


Nuclear Science Abstracts

Nuclear Science Abstracts

Author:

Publisher:

Published: 1967

Total Pages: 1102

ISBN-13:

DOWNLOAD EBOOK

NSA is a comprehensive collection of international nuclear science and technology literature for the period 1948 through 1976, pre-dating the prestigious INIS database, which began in 1970. NSA existed as a printed product (Volumes 1-33) initially, created by DOE's predecessor, the U.S. Atomic Energy Commission (AEC). NSA includes citations to scientific and technical reports from the AEC, the U.S. Energy Research and Development Administration and its contractors, plus other agencies and international organizations, universities, and industrial and research organizations. References to books, conference proceedings, papers, patents, dissertations, engineering drawings, and journal articles from worldwide sources are also included. Abstracts and full text are provided if available.


Neutrino Physics

Neutrino Physics

Author: E. Bellotti

Publisher: IOS Press

Published: 2003-12-08

Total Pages: 321

ISBN-13: 1614990085

DOWNLOAD EBOOK

Neutrino physics contributed in an fundamental way to the progress of science, opening important windows of knowledge in elementary particle physics, as well in astrophysics and cosmology. Substantial experimental efforts are presently dedicated to improve our knowledge on neutrino properties as, in fact, we don't know yet some of the basic ones. Although very significant steps forward have been done, neutrino masses and mixings still remain largely unknown and constitute an important field for future research. Are neutrinos Majorana or Dirac particles? Have they a magnetic moment? Historically, studies on weak processes and, therefore, on neutrino physics, provided first the Fermi theory of weak interactions and then the V-A theory. Finally, the observation of weak neutral currents provided the first experimental evidence for unification of weak and electromagnetic interactions by the so called "Standard Model' of elementary particles. In addition to the results obtained from the measurement of the solar neutrino flux, the study of atmospheric neutrinos strongly supports the hypothesis of neutrino oscillation among different flavours. At the same time, the detection of neutrinos emitted by our Sun gave an important confirmation that the Sun produces energy via a chain of nuclear reactions; in particular in our Sun a specific cycle - the hydrogen cycle - is responsible for practically all the produced energy.


Solving Systems of Polynomial Equations

Solving Systems of Polynomial Equations

Author: Bernd Sturmfels

Publisher: American Mathematical Soc.

Published: 2002

Total Pages: 162

ISBN-13: 0821832514

DOWNLOAD EBOOK

Bridging a number of mathematical disciplines, and exposing many facets of systems of polynomial equations, Bernd Sturmfels's study covers a wide spectrum of mathematical techniques and algorithms, both symbolic and numerical.


Solving PDEs in Python

Solving PDEs in Python

Author: Hans Petter Langtangen

Publisher: Springer

Published: 2017-03-21

Total Pages: 152

ISBN-13: 3319524623

DOWNLOAD EBOOK

This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software library. Using a series of examples, including the Poisson equation, the equations of linear elasticity, the incompressible Navier–Stokes equations, and systems of nonlinear advection–diffusion–reaction equations, it guides readers through the essential steps to quickly solving a PDE in FEniCS, such as how to define a finite variational problem, how to set boundary conditions, how to solve linear and nonlinear systems, and how to visualize solutions and structure finite element Python programs. This book is open access under a CC BY license.


Exploring ODEs

Exploring ODEs

Author: Lloyd N. Trefethen

Publisher: SIAM

Published: 2017-12-21

Total Pages: 343

ISBN-13: 1611975166

DOWNLOAD EBOOK

Exploring ODEs is a textbook of ordinary differential equations for advanced undergraduates, graduate students, scientists, and engineers. It is unlike other books in this field in that each concept is illustrated numerically via a few lines of Chebfun code. There are about 400 computer-generated figures in all, and Appendix B presents 100 more examples as templates for further exploration.?