Catalog Search Results
Author
Language
English
Description
What sort of mathematics do I need for computer science? In response to this frequently asked question, a pair of professors at the University of California at San Diego created this text. Its sources are two of the university's most basic courses: Discrete Mathematics, and Mathematics for Algorithm and System Analysis. Intended for use by sophomores in the first of a two-quarter sequence, the text assumes some familiarity with calculus. Topics include...
Author
Language
English
Description
This concise text offers an introduction to discrete mathematics for undergraduate students in computer science and mathematics. Mathematics educators consider it vital that their students be exposed to a course in discrete methods that introduces them to combinatorial mathematics and to algebraic and logical structures focusing on the interplay between computer science and mathematics. The present volume emphasizes combinatorics, graph theory with...
Author
Language
English
Description
Coherent treatment provides comprehensive view of basic methods and results of the combinatorial study of finite set systems. The Clements-Lindstrom extension of the Kruskal-Katona theorem to multisets is explored, as is the Greene-Kleitman result concerning k-saturated chain partitions of general partially ordered sets. Connections with Dilworth's theorem, the marriage problem, and probability are also discussed. Each chapter ends with a helpful...
Author
Language
Español
Description
Esta obra tiene su origen en los cursos de Matemáticas Discretas y Lógica Matemática ofrecidos por el autor en los programas de Ingeniería de Sistemas y Matemáticas de la Universidad del Norte (Colombia). La primera parte trata sobre el cálculo proposicional y presenta una introducción a la lógica de primer orden. La segunda parte del texto está dedicada al sistema axiomático de Zermelo - Fränkel para la teoría de conjuntos. Un aspecto...
Author
Series
Language
English
Description
Recursive analysis develops natural number computations into a framework appropriate for real numbers. This text is based upon primary recursive arithmetic and presents a unique combination of classical analysis and intuitional analysis. Written by a master in the field, it is suitable for graduate students of mathematics and computer science and can be read without a detailed knowledge of recursive arithmetic. Introductory chapters on recursive convergence...
Author
Language
English
Description
Engineers and scientists who want to avoid insidious errors in their computer-assisted calculations will welcome this concise guide to trouble-shooting. Real Computing Made Real offers practical advice on detecting and removing bugs. It also outlines techniques for preserving significant figures, avoiding extraneous solutions, and finding efficient iterative processes for solving nonlinear equations. Those who compute with real numbers (for example,...
Author
Language
English
Description
Mathematical modelling is a highly useful methodology designed to enable mathematicians, physicists and other scientists to formulate equations from a given nonmathematical situation. In this elegantly written volume, a distinguished theoretical chemist and engineer sets down helpful rules not only for setting up models but also for solving the mathematical problems they pose and for evaluating models. The author begins with a discussion of the term...
Author
Language
English
Description
Designed both for those who seek an acquaintance with dynamic programming and for those wishing to become experts, this text is accessible to anyone who's taken a course in operations research. It starts with a basic introduction to sequential decision processes and proceeds to the use of dynamic programming in studying models of resource allocation. Subsequent topics include methods for approximating solutions of control problems in continuous time,...
Author
Language
English
Description
"Winner of the Euler Book Prize, Mathematical Association of America" "One of Choice's Outstanding Academic Titles for 2014" Tim Chartier is associate professor of mathematics at Davidson College. He is the coauthor of Numerical Methods (Princeton).
An inviting collection of fun, hands-on applications in mathematics and computing
This book provides a fun, hands-on approach to learning how mathematics and computing relate to the world around us...
Author
Language
English
Description
An introduction to the mathematical theory of multistage decision processes, this text takes a "functional equation" approach to the discovery of optimum policies. Written by a leading developer of such policies, it presents a series of methods, uniqueness and existence theorems, and examples for solving the relevant equations. The text examines existence and uniqueness theorems, the optimal inventory equation, bottleneck problems in multistage production...
Author
Language
Español
Description
Ada, condesa de Lovelace (1815-1852), fue hija del poeta romántico Lord Byron y su esposa, Anna Isabella. A pesar de ser una actividad inusual para las jóvenes de la época, estudió ciencias y matemáticas desde muy pronto y habitualmente se la considera la primera programadora informática del mundo, por lo que se ha convertido en un icono para las mujeres en el ámbito de la tecnología. Este libro utiliza material de archivo inédito para explorar...
Author
Language
English
Description
This outstanding introductory treatment of graph theory and its applications has had a long life in the instruction of advanced undergraduates and graduate students in all areas that require knowledge of this subject. The first nine chapters constitute an excellent overall introduction, requiring only some knowledge of set theory and matrix algebra. Topics include paths and circuits, trees and fundamental circuits, planar and dual graphs, vector and...
Author
Language
English
Description
An "accessible and engaging" tool for understanding the branch of mathematics that is so crucial to modern computer science, using real-life problems (Mathematical Reviews).
What is the maximum number of pizza slices one can get by making four straight cuts through a circular pizza? How does a computer determine the best set of pixels to represent a straight line on a computer screen? How many people at a minimum does it take to guard an art gallery?
Discrete...
Author
Language
English
Description
This text takes a broad view of multiobjective programming, emphasizing the methods most useful for continuous problems. It reviews multiobjective programming methods in the context of public decision-making problems, developing each problem within a context that addresses practical aspects of planning issues. Topics include a review of linear programming, the formulation of the general multiobjective programming problem, classification of multiobjective...
Author
Language
English
Description
"Hiroshi Onishi's book is an invaluable addition to the canon which the late Makoto Itoh helped establish. It serves both as a textbook and as a historical introduction to the entire development of modern capitalist society from a historical materialist perspective. An indispensable read" Alan Freeman, University of Manitoba
The West has a lot to learn from Japanese Marxian economics, which brings concepts like surplus value, class, the exploitation...
In Interlibrary Loan
Didn't find what you need? Items not owned by Jackson County Oregon can be requested from other Interlibrary Loan libraries to be delivered to your local library for pickup.
Didn't find it?
Can't find what you are looking for? Try our Materials Request Service. Submit Request