000 03040nam a22005055i 4500
001 978-1-4471-4282-9
003 DE-He213
005 20140220082805.0
007 cr nn 008mamaa
008 120727s2013 xxk| s |||| 0|eng d
020 _a9781447142829
_9978-1-4471-4282-9
024 7 _a10.1007/978-1-4471-4282-9
_2doi
050 4 _aQA76.7-76.73
050 4 _aQA76.76.C65
072 7 _aUMX
_2bicssc
072 7 _aUMC
_2bicssc
072 7 _aCOM051010
_2bisacsh
072 7 _aCOM010000
_2bisacsh
082 0 4 _a005.13
_223
100 1 _aDavis, Martin.
_eeditor.
245 1 0 _aFrom Linear Operators to Computational Biology
_h[electronic resource] :
_bEssays in Memory of Jacob T. Schwartz /
_cedited by Martin Davis, Edmond Schonberg.
264 1 _aLondon :
_bSpringer London :
_bImprint: Springer,
_c2013.
300 _aXI, 208 p. 16 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aForeword -- Introduction -- Nature as Quantum Computer -- Jack Schwartz Meets Karl Marx -- SETL and the Evolution of Programming -- Decision Procedure for Elementary Sublanguages of Set Theory XVII: Commonly Occurring Decidable Extensions of Multi-level Syllogistic -- Jack Schwartz and Robotics: The Roaring Eighties -- Mathematics’ Mortua Manus: Discovering Dexterity -- The Ref Proof-checker and its “Common Shared Scenario” -- Claw-free Graphs as Sets -- Computational approaches to RNAi and Gene Silencing -- The Last Ten Yards -- Jacob T. Schwartz: Selected Bibliography -- Index.
520 _aIn his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the Courant Institute of Mathematical Sciences present recent results in some of the fields that Schwartz explored: quantum theory, the theory and practice of programming, program correctness and decision procedures, dextrous manipulation in Robotics, motion planning, and genomics. In addition to presenting recent results in these fields, these essays illuminate the astonishingly productive trajectory of a brilliant and original scientist and thinker.
650 0 _aComputer science.
650 0 _aLogic, Symbolic and mathematical.
650 0 _aQuantum theory.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aMathematical Logic and Foundations.
650 2 4 _aQuantum Physics.
650 2 4 _aRobotics and Automation.
700 1 _aSchonberg, Edmond.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781447142812
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-4471-4282-9
912 _aZDB-2-SCS
999 _c94580
_d94580