XmacsLabs
/
planet
mirror of https://gitee.com/XmacsLabs/planet.git
1
0
Fork 0
Code
planet/SICP/slide01.tm

283 lines
8.4 KiB
Tcl
Raw Blame History

<TeXmacs|2.1.2>
<style|<tuple|beamer|no-page-numbers|chinese>>
<\body>
<\hide-preamble>
<assign|dfn|<macro|x|<strong|<arg|x>>>>
</hide-preamble>
<\slideshow>
<\slide>
<tit|\<#96F6\>\<#57FA\>\<#7840\>SICP\<#FF1A\>\<#7B2C\>1\<#8BFE\>>
\;
<\wide-tabular>
<tformat|<cwith|2|-1|1|-1|cell-height|40px>|<cwith|2|-1|1|-1|cell-vmode|exact>|<table|<row|<\cell>
<very-large|<\sectional-normal-bold>
\<#7F16\>\<#7A0B\>\<#7684\>\<#57FA\>\<#672C\>\<#8981\>\<#7D20\>
</sectional-normal-bold>>
</cell>|<\cell>
<very-large|<\sectional-normal-bold>
Elements of Programming
</sectional-normal-bold>>
</cell>>|<row|<\cell>
\<#8868\>\<#8FBE\>\<#5F0F\>
</cell>|<\cell>
Expressions
</cell>>|<row|<\cell>
\<#547D\>\<#540D\>\<#4E0E\>\<#73AF\>\<#5883\>
</cell>|<\cell>
Naming and the Evironment
</cell>>|<row|<\cell>
\<#7EC4\>\<#5408\>\<#5F0F\>\<#7684\>\<#6C42\>\<#503C\>
</cell>|<\cell>
Evaluating Combinations
</cell>>|<row|<\cell>
\<#590D\>\<#5408\>\<#8FC7\>\<#7A0B\>
</cell>|<\cell>
Compound Procedures
</cell>>|<row|<\cell>
\<#8FC7\>\<#7A0B\>\<#5E94\>\<#7528\>\<#7684\>\<#4EE3\>\<#6362\>\<#6A21\>\<#578B\>
</cell>|<\cell>
The Subsitution Model for Procedure Application
</cell>>|<row|<\cell>
\<#6761\>\<#4EF6\>\<#8868\>\<#8FBE\>\<#5F0F\>\<#548C\>\<#8C13\>\<#8BCD\>
</cell>|<\cell>
Conditional Expressions and Predicates
</cell>>|<row|<\cell>
\<#5B9E\>\<#4F8B\>\<#FF1A\>\<#91C7\>\<#7528\>\<#725B\>\<#987F\>\<#6CD5\>\<#6C42\>\<#5E73\>\<#65B9\>\<#6839\>
</cell>|<\cell>
Example: Square Roots by Newton's Method
</cell>>|<row|<\cell>
\<#8FC7\>\<#7A0B\>\<#4F5C\>\<#4E3A\>\<#9ED1\>\<#76D2\>\<#62BD\>\<#8C61\>
</cell>|<\cell>
Procedures as Blackbox Abstractions
</cell>>>>
</wide-tabular>
</slide>
<\slide>
<tit|\<#7F16\>\<#7A0B\>\<#7684\>\<#57FA\>\<#672C\>\<#8981\>\<#7D20\>>
\<#4EFB\>\<#4F55\>\<#4E00\>\<#95E8\>\<#7F16\>\<#7A0B\>\<#8BED\>\<#8A00\>\<#90FD\>\<#53EF\>\<#4EE5\>\<#7528\>\<#6765\>\<#63CF\>\<#8FF0\>\<#6570\>\<#636E\>\<#539F\>\<#8BED\>\<#548C\>\<#8FC7\>\<#7A0B\>\<#539F\>\<#8BED\>\<#FF0C\>\<#90FD\>\<#6709\>\<#505A\>\<#7EC4\>\<#5408\>\<#548C\>\<#505A\>\<#62BD\>\<#8C61\>\<#7684\>\<#65B9\>\<#6CD5\>\<#3002\>
<\itemize>
<item>\<#539F\>\<#8BED\> <math|\<rightarrow\>>
\<#8868\>\<#8FBE\>\<#5F0F\>
<\itemize>
<item>\<#6570\>\<#636E\>\<#539F\>\<#8BED\>
<item>\<#8FC7\>\<#7A0B\>\<#539F\>\<#8BED\>
<\definition>
\<#64CD\>\<#7EB5\>\<#6570\>\<#636E\>\<#7684\>\<#89C4\>\<#5219\>\<#7684\>\<#63CF\>\<#8FF0\>\<#FF0C\>\<#79F0\>\<#4E3A\><dfn|\<#8FC7\>\<#7A0B\>>\<#3002\>
</definition>
</itemize>
<item>\<#7EC4\>\<#5408\> \<#FF08\>\<#505A\>\<#7EC4\>\<#5408\>\<#FF09\>
<item>\<#62BD\>\<#8C61\> \<#FF08\>\<#505A\>\<#62BD\>\<#8C61\>\<#FF09\>
</itemize>
<tree|\<#8868\>\<#8FBE\>\<#5F0F\>|<tree|\<#539F\>\<#8BED\>|\<#6570\>\<#636E\>\<#539F\>\<#8BED\>|\<#8FC7\>\<#7A0B\>\<#539F\>\<#8BED\>>|<tree|\<#7EC4\>\<#5408\>\<#5F0F\>|(\<#8868\>\<#8FBE\>\<#5F0F\>0
\<#8868\>\<#8FBE\>\<#5F0F\>1 \<#8868\>\<#8FBE\>\<#5F0F\>2 <text-dots>
\<#8868\>\<#8FBE\>\<#5F0F\>N)>>
\;
</slide>
<\slide>
<tit|\<#8868\>\<#8FBE\>\<#5F0F\>>
\
REPL\<#FF1A\><verbatim|Read-Eval-Print> Loop
\<#8BFB\>\<#53D6\>\<rightarrow\>\<#6C42\>\<#503C\>\<rightarrow\>\<#6253\>\<#5370\>
\<#5FAA\>\<#73AF\> \<#FF08\>\<#4E3B\>\<#4F53\>\<#FF1A\>Scheme\<#89E3\>\<#91CA\>\<#5668\>\<#FF09\>
<\session|scheme|default>
<\folded-io|Scheme] >
486 ; \<#5341\>\<#8FDB\>\<#5236\>
<|folded-io>
486
</folded-io>
<\folded-io|Scheme] >
(+ 137 349) ; \<#52A0\>\<#6CD5\>
<|folded-io>
486
</folded-io>
<\input|Scheme] >
\;
</input>
</session>
<tree|\<#64CD\>\<#4F5C\>\<#7B26\>|\<#64CD\>\<#4F5C\>\<#6570\>
1|\<#64CD\>\<#4F5C\>\<#6570\> 2|<text-dots>|\<#64CD\>\<#4F5C\>\<#6570\>
N>
\;
<tree|+|137|349>
<\definition>
\<#5728\>Scheme\<#8BED\>\<#8A00\>\<#4E2D\>\<#FF0C\>\<#5C06\>\<#4E00\>\<#7EC4\>\<#8868\>\<#8FBE\>\<#5F0F\>\<#653E\>\<#5728\>\<#5C0F\>\<#62EC\>\<#53F7\>\<#91CC\>\<#9762\>\<#5F62\>\<#6210\>\<#4E00\>\<#4E2A\>\<#65B0\>\<#7684\>\<#8868\>\<#8FBE\>\<#5F0F\>\<#4EE5\>\<#8868\>\<#793A\>\<#5E94\>\<#7528\>\<#4E00\>\<#4E2A\>\<#8FC7\>\<#7A0B\>\<#FF0C\>\<#79F0\>\<#4E3A\><dfn|\<#505A\>\<#7EC4\>\<#5408\>>\<#6216\>\<#8005\><dfn|\<#7EC4\>\<#5408\>>\<#FF0C\>\<#800C\>\<#8FD9\>\<#7C7B\>\<#65B0\>\<#7684\>\<#8868\>\<#8FBE\>\<#5F0F\>\<#79F0\>\<#4E3A\><dfn|\<#7EC4\>\<#5408\>\<#5F0F\>>\<#3002\>
</definition>
</slide>
<\slide>
<tit|\<#547D\>\<#540D\>\<#4E0E\>\<#73AF\>\<#5883\>>
<\session|scheme|default>
<\folded-io|Scheme] >
(define pi 3.14159)
<|folded-io>
<errput|define: pi is immutable>
</folded-io>
<\folded-io|Scheme] >
(define \<#534A\>\<#5F84\> 1)
<|folded-io>
1
</folded-io>
<\folded-io|Scheme] >
(* pi (* \<#534A\>\<#5F84\> \<#534A\>\<#5F84\>))\
<|folded-io>
3.141592653589793
</folded-io>
<\folded-io|Scheme] >
(define \<#5468\>\<#957F\> (* 2 (* pi \<#534A\>\<#5F84\>)))
<|folded-io>
6.283185307179586
</folded-io>
<\folded-io|Scheme] >
\<#5468\>\<#957F\>
<|folded-io>
6.283185307179586
</folded-io>
<\input|Scheme] >
\;
</input>
</session>
</slide>
<\slide>
<tit|\<#7EC4\>\<#5408\>\<#5F0F\>\<#7684\>\<#6C42\>\<#503C\>>
<\render-code>
\<#5BF9\>\<#7EC4\>\<#5408\>\<#5F0F\>\<#6C42\>\<#503C\>\<#FF08\>\<#9012\>\<#5F52\>\<#FF09\>
\<#7B2C\>\<#4E00\>\<#6B65\>\<#FF1A\>\<#5BF9\>\<#7EC4\>\<#5408\>\<#5F0F\>\<#7684\>\<#5B50\>\<#8868\>\<#8FBE\>\<#5F0F\>\<#6C42\>\<#503C\>
\<#7B2C\>\<#4E8C\>\<#6B65\>\<#FF1A\>\<#5BF9\>\<#53C2\>\<#6570\>\<#5E94\>\<#7528\>\<#8FC7\>\<#7A0B\>
</render-code>
<\with|par-columns|2>
<\session|scheme|default>
<\input|Scheme] >
(* (+ 2 (* 4 6))
\ \ \ (+ 3 5 7)) ; \<#7EC4\>\<#5408\>\<#5F0F\>
</input>
<\input|Scheme] >
(* <with|color|red|(+ 2 (* 4 6))>
\ \ \ (+ 3 5 7))
</input>
<\folded-io|Scheme] >
(* (+ 2 <with|color|red|(* 4 6)>)
\ \ \ (+ 3 5 7))
<|folded-io>
390
</folded-io>
<\input|Scheme] >
(* (+ 2 24)
\ \ \ (+ 3 5 7))
</input>
<\input|Scheme] >
(* <with|color|red|(+ 2 24)>
\ \ \ (+ 3 5 7))
</input>
<\input|Scheme] >
(* 26
\ \ \ (+ 3 5 7))
</input>
<\input|Scheme] >
(* 26
\ \ \ <with|color|red|(+ 3 5 7)>)
</input>
<\input|Scheme] >
(* 26 15) ; \<#7B2C\>\<#4E00\>\<#6B65\>\<#5DF2\>\<#5B8C\>\<#6210\>
</input>
<\input|Scheme] >
390 ; \<#7B2C\>\<#4E8C\>\<#6B65\>\<#5DF2\>\<#5B8C\>\<#6210\>
</input>
</session>
</with>
<tree|390|*|<tree|26|+|2|<tree|24|*|4|6>>|<tree|15|+|3|5|7>>
</slide>
<\slide>
<tit|\<#590D\>\<#5408\>\<#8FC7\>\<#7A0B\>>
\;
</slide>
<\slide>
<tit|\<#8FC7\>\<#7A0B\>\<#5E94\>\<#7528\>\<#7684\>\<#4EE3\>\<#6362\>\<#6A21\>\<#578B\>>
\;
</slide>
<\slide>
<tit|\<#6761\>\<#4EF6\>\<#8868\>\<#8FBE\>\<#5F0F\>\<#548C\>\<#8C13\>\<#8BCD\>>
\;
</slide>
<\slide>
<tit|\<#5B9E\>\<#4F8B\>\<#FF1A\>\<#91C7\>\<#7528\>\<#725B\>\<#987F\>\<#6CD5\>\<#6C42\>\<#5E73\>\<#65B9\>\<#6839\>>
\;
</slide>
<\slide>
<tit|\<#8FC7\>\<#7A0B\>\<#4F5C\>\<#4E3A\>\<#9ED1\>\<#76D2\>\<#62BD\>\<#8C61\>>
\;
</slide>
</slideshow>
</body>
<\initial>
<\collection>
<associate|marked-color|pastel yellow>
<associate|page-border|attached>
<associate|page-medium|paper>
<associate|page-offset|1>
<associate|page-packet|2>
<associate|page-screen-margin|false>
</collection>
</initial>
View Git Blame Copy Permalink