Filter by
Leibniz on binary :the invention of computer arithmetic
"Among his extraordinary mathematical and philosophical achievements, Gottfried Wilhelm Leibniz (1646-1716) invented binary arithmetic, the representational basis for today's world of digital computing and communications. This book will be the first to make a selection of his writings available in English. Strickland and Lewis provide an accessible introduction to Leibniz through some twenty mo…
- Edition
- -
- ISBN/ISSN
- 0262372134
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
The raven's hat :fallen pictures, rising sequences, and other mathematical ga…
"Introducing complex math concepts through the medium of seemingly unsolvable games"--OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262363623
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
The constitution of algorithms :ground-truthing, programming, formulating
"Ethnographic study of the constitution of algorithms"--OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262363235
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
The prime number conspiracy :the biggest ideas in math from Quanta
Mathematics stories from Quanta Magazine.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262350532
- Collation
- 1 online resource
- Series Title
- -
- Call Number
- -
Einstein's wife :the story of Mileva Einstein-Mari?c
Was Einstein's first wife his uncredited coauthor, unpaid assistant, or his unacknowledged helpmeet The real "Mileva Story." Albert Einstein's first wife, Mileva Einstein-Maric, was forgotten for decades. When a trove of correspondence between them beginning in their student days was discovered in 1986, her story began to be told. Some of the tellers of the "Mileva Story" made startling claims:…
- Edition
- -
- ISBN/ISSN
- 9780262352062
- Collation
- 1 online resource (336 pages).
- Series Title
- -
- Call Number
- -
Reasoning about uncertainty
Formal ways of representing uncertainty and various logics for reasoning about it; updated with new material on weighted probability measures, complexity-theoretic considerations, and other topics.OCLC-licensed vendor bibliographic record.
- Edition
- Second edition.
- ISBN/ISSN
- 9780262340496
- Collation
- 1 online resource (xv, 488 pages) :illustrations
- Series Title
- -
- Call Number
- -
Equilibrium, Trade, and Growth :Selected Papers of Lionel W. McKenzie
Influential neoclassical economist Lionel McKenzie has made major contributions to postwar economic thought in the fields of equilibrium, trade, and capital accumulation. This selection of his papers traces the development of his thinking in these three crucial areas.McKenzie's early academic life took him to Duke, Princeton, Oxford, the University of Chicago, and the Cowles Commission. In 1957…
- Edition
- -
- ISBN/ISSN
- 9780262279536
- Collation
- 1 online resource (vii, 480 pages) :illustrations
- Series Title
- -
- Call Number
- -
Ada, a life and a legacy
The subject of this biography "was the daughter of Lord Byron ... based on her report on Charles Babbage's Analytical Engine, she is also generally regarded as the inventor of the science of computer programming"--Page 4 of cover.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262257039
- Collation
- 1 online resource (xix, 321 pages, 16 unnumbered pages of plates) :illustrations.
- Series Title
- -
- Call Number
- -
Learning mathematics and Logo
These original essays summarize a decade of fruitful research and curriculum development using the LISP-derived language Logo. They discuss a range of issues in the areas of curriculum, learning, and mathematics, illustrating the ways in which Logo continues to provide a rich learning environment, one that allows pupil autonomy within challenging mathematical settings.Essays in the first sectio…
- Edition
- -
- ISBN/ISSN
- 9780262290883
- Collation
- 1 online resource (xxi, 483 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Knowledge in action :logical foundations for specifying and implementing dyna…
Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment …
- Edition
- -
- ISBN/ISSN
- 9780262282314
- Collation
- 1 online resource (xvi, 424 pages) :illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography