The Role of Programming in the Formulation of Ideas

The Role of Programming in the Formulation of Ideas

Classical mechanics is deceptively simple. It is surprisingly easy to get the right answer with fallacious reasoning or without real understanding. To address this problem we use computational techniques to communicate a deeper understanding of Classical Mechanics. Computational algorithms are...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Sussman, Gerald Jay, Wisdom, Jack
Ngôn ngữ:	en_US
Được phát hành:	2004
Những chủ đề:	AI Education Mechanics Functional Programming Symbolic Mathematics
Truy cập trực tuyến:	http://hdl.handle.net/1721.1/6707

Những quyển sách tương tự

Functional Differential Geometry
Bằng: Sussman, Gerald Jay, et al.
Được phát hành: (2005)

Swimming in Space-Time
Bằng: Wisdom, Jack
Được phát hành: (2004)

Ideas in mathematics /
Bằng: 351334 Douglis, Avron
Được phát hành: (1970)

Functional differential geometry /
Bằng: 225903 Sussman, Gerald Jay, et al.
Được phát hành: ([201)

Mathematics : ideas and uses /
Bằng: 323693 Russell, David
Được phát hành: (1979)

12.620J / 6.946J / 8.351J Classical Mechanics: A Computational Approach, Fall 2002
Bằng: Sussman, Gerald Jay, et al.
Được phát hành: (2002)

Mathematical theory of program correctness /
Bằng: 406367 Bakker, Jaco de
Được phát hành: (1980)

Biologically-Inspired Robust Spatial Programming
Bằng: Beal, Jacob, et al.
Được phát hành: (2005)

The logic of programming /
Bằng: 395286 Hehner, Eric C. R.
Được phát hành: (1984)

Mathematical foundation of programming /
Bằng: 390126 Beckman, Frank S.
Được phát hành: (1980)

The logical basis for computer programming /
Bằng: 179321 Manna, Zohar, et al.
Được phát hành: (1985)

Computability and logic /
Bằng: 386993 Boolos, George, et al.
Được phát hành: (1974)

Numerical Evidence that the Motion of Pluto is Chaotic
Bằng: Sussman, Gerald Jay, et al.
Được phát hành: (2004)

When deep learning meets inductive logic programming
Bằng: Cao, Yushi
Được phát hành: (2025)

Computability and logic /
Bằng: 386993 Boolos, George, et al.
Được phát hành: (1989)

Logic for computer scientists /
Bằng: 316142 Schoning, Uwe
Được phát hành: (2008)

Techniques of constructive analysis [electronic book]/
Bằng: 352960 Bridges, Douglas S., et al.
Được phát hành: (2006)

Advanced Programming Language Features for Executable Design Patterns "Better Patterns Through Reflection
Bằng: Sullivan, Gregory T.
Được phát hành: (2004)

Simbolinės ir buitinės lazdõs funkcijos
Bằng: Jurga Sajenkienė, et al.
Được phát hành: (2025-01-01)

Symbolic-Numeric Computation [electronic resource]: /
Bằng: Wang, Dongming, et al.
Được phát hành: (2007)

Non-classical logic, model theory and computability
Được phát hành: (1977)

Modal logic : The lewis-modal systems /
Bằng: 423681 Zeman, J. Jay
Được phát hành: (1973)

A programming logic : with an introduction to the PL/CV verifier /
Bằng: 422720 Constable, Robert L., et al.
Được phát hành: (1978)

Logic and structured design for computer programmers /
Bằng: 405314 Rood, Harold J.
Được phát hành: (2001)

Cosmology and Architecture in Premodern Islam: An Architectural Reading of Mystical Ideas /
Bằng: Akkach, Samer, author
Được phát hành: (2005)

Logic-based decision support : mixed integer model formulation /
Bằng: 198698 Jeroslow, Robert G.
Được phát hành: (1989)

Chaotic Evolution of the Solar System
Bằng: Sussman, Gerald J., et al.
Được phát hành: (2004)

Logic and structure /
Bằng: Dalen, D. van (Dirk), 1932-
Được phát hành: (2004)

A four-flagged lemma
Bằng: Sertel, Murat R.
Được phát hành: (2009)

CABAL Seminar 76-77 : proceedings, Caltech - UCLA Logic Seminar 1976-77 /
Bằng: Kechris, A. S.
Được phát hành: (1978)

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa /
Bằng: De Alcantara, Luiz Paulo
Được phát hành: (1985)

Transition to higher mathematics : structure and proof /
Bằng: 222490 Dumas, Bob A., et al.
Được phát hành: (2007)

Combinatory logic /
Bằng: 351193 Curry, Haskell Brooks, et al.
Được phát hành: (1974)

Symbolic logic /
Bằng: 372615 Jacquette, Dale
Được phát hành: (2001)

Mathematical logic /
Bằng: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), et al.
Được phát hành: (1978)

Proceedings of the summer school and colloqium in mathematical logic /
Bằng: Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester), et al.
Được phát hành: (1969)

Languages, logic and mathematics /
Bằng: Kilmister, C. W. (Clive William)
Được phát hành: (1967)

Proceedings of the sixth Asian logic conference , Beijing, China, 20-24 May 1996 /
Bằng: Asian Logic Conference (6th. : 1996 : Beijing, China), et al.
Được phát hành: (1998)

Conference in Mathematical Logic, Bedford College, London, 24-28th Aug, 1970 : Proceedings /
Bằng: Conference in Mathematical Logic (1970 : Bedford College, London), et al.
Được phát hành: (1972)

Logic of mathematics : a modern course of classical logic /
Bằng: 454206 Adamowicz, Zofia, et al.
Được phát hành: (1997)