WorldCat Identities

Schwartz, Jacob T.

Overview
Works: 134 works in 589 publications in 4 languages and 10,001 library holdings
Genres: Popular works  Bibliography  History 
Roles: Editor
Classifications: QA329.2, 510
Publication Timeline
Key
Publications about  Jacob T Schwartz Publications about Jacob T Schwartz
Publications by  Jacob T Schwartz Publications by Jacob T Schwartz
posthumous Publications by Jacob T Schwartz, published posthumously.
Most widely held works by Jacob T Schwartz
Discrete thoughts : essays on mathematics, science, and philosophy by Mark Kac ( Book )
36 editions published between 1986 and 2008 in English and held by 1,299 WorldCat member libraries worldwide
Linear operators by Nelson Dunford ( Book )
49 editions published between 1958 and 2010 in 3 languages and held by 1,102 WorldCat member libraries worldwide
Part 1: general theory
Introduction to matrices and vectors by Jacob T Schwartz ( Book )
22 editions published between 1961 and 2012 in English and held by 731 WorldCat member libraries worldwide
Relativity in illustrations by Jacob T Schwartz ( Book )
15 editions published between 1962 and 2013 in English and Undetermined and held by 654 WorldCat member libraries worldwide
With its answers to questions such as What is time? and What is space?, this clear, nontechnical treatment makes the principles of relativity more accessible to the general reader.The author gradually introduces Einstein's theory in terms of familiar concepts fromhigh school-level geometry, utilizing more than 60 drawings toilluminate profound yet often simple ideas
Lie groups, Lie algebras by Melvin Hausner ( Book )
16 editions published between 1968 and 1989 in English and held by 617 WorldCat member libraries worldwide
Nonlinear functional analysis by Jacob T Schwartz ( Book )
20 editions published between 1964 and 1987 in 3 languages and held by 580 WorldCat member libraries worldwide
Differential geometry and topology by Jacob T Schwartz ( Book )
17 editions published between 1966 and 1985 in English and held by 532 WorldCat member libraries worldwide
W-* algebras by Jacob T Schwartz ( Book )
18 editions published between 1967 and 1968 in English and Undetermined and held by 474 WorldCat member libraries worldwide
Lectures on the mathematical method in analytical economics by Jacob T Schwartz ( Book )
16 editions published between 1961 and 1984 in English and held by 416 WorldCat member libraries worldwide
Information, systems, and psychoanalysis; an evolutionary biological approach to psychoanalytic theory by Emanuel Peterfreund ( Book )
10 editions published in 1971 in English and held by 416 WorldCat member libraries worldwide
Programming with sets : an introduction to SETL by Jacob T Schwartz ( Book )
11 editions published in 1986 in English and held by 375 WorldCat member libraries worldwide
Computational logic and set theory applying formalized logic to analysis by Jacob T Schwartz ( )
9 editions published in 2011 in English and held by 355 WorldCat member libraries worldwide
As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem. This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Taking a systematic approach, the book begins with a survey of traditional branches of logic before describing in detail the underlying design of the ÆtnaNova system. Major classical results on undecidability and unsolvability are then recast for this system. Readers do not require great knowledge of formal logic in order to follow the text, but a good understanding of standard programming techniques, and a familiarity with mathematical definitions and proofs reflecting the usual levels of rigor is assumed
Mathematical aspects of computer science by Symposium in Applied Mathematics ( Book )
6 editions published between 1967 and 1978 in English and held by 335 WorldCat member libraries worldwide
Theory of money by Jacob T Schwartz ( Book )
14 editions published in 1965 in English and Undetermined and held by 256 WorldCat member libraries worldwide
Programming languages and their compilers : preliminary notes by John Cocke ( Book )
11 editions published between 1969 and 1970 in English and held by 235 WorldCat member libraries worldwide
Planning, geometry, and complexity of robot motion ( Book )
10 editions published between 1986 and 1987 in English and held by 215 WorldCat member libraries worldwide
Algorithmic and geometric aspects of robotics ( Book )
6 editions published between 1986 and 1987 in English and held by 213 WorldCat member libraries worldwide
Linear operators by Nelson Dunford ( Book )
43 editions published between 1957 and 1988 in 3 languages and held by 189 WorldCat member libraries worldwide
Linear operators by Nelson Dunford ( Book )
38 editions published between 1963 and 1988 in English and Undetermined and held by 153 WorldCat member libraries worldwide
On programming; an interim report on the SETL Project by Jacob T Schwartz ( Book )
11 editions published between 1973 and 1975 in English and held by 153 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.66 (from 0.32 for Relativity ... to 0.94 for On program ...)
Alternative Names
Schwartz, J.
Schwartz, J. T.
Schwartz, J. T. 1930-2009
Schwartz, J. T. (Jacob T.)
Schwartz, J. T. (Jacob Theodore), 1930-2009
Schwartz, Jack, 1930-2009
Schwartz, Jacob 1930-2009
Schwartz, Jacob T.
Schwartz, Jacob T., 1929-2009
Schwartz, Jacob Theodore, 1930-2009
Švarc, Dž.
Švarc, Dž. T.
Languages
English (359)
Italian (1)
Spanish (1)
Japanese (1)
Covers