'Textual substitution' diaporamas de présentation

Computing Fundamentals 1 Lecture 8 Functions

Computing Fundamentals 1 Lecture 8 Functions. Lecturer: Patrick Browne http://www.comp.dit.ie/pbrowne/ Room K308 Based on Chapter 14. A Logical approach to Discrete Math By David Gries and Fred B. Schneider.

1.29k views • 108 slides

Discrete Structures Lecture 2 Textual Substitution and Equality Read: Ch 1.1 - 1.4 (This lecture)

Discrete Structures Lecture 2 Textual Substitution and Equality Read: Ch 1.1 - 1.4 (This lecture) Ch 1.5 - 1.6 (Next lecture). What is an expression?. A constant (e.g. 41 ) is an expression. A variable (e.g. x ) is an expression. If E is an expression, then ( E ) is an expression.

321 views • 22 slides

Lecture 19: Control Abstraction (Section 8.1-8.2)

Lecture 19: Control Abstraction (Section 8.1-8.2). CSCI 431 Programming Languages Fall 2002. A compilation of material developed by Felix Hernandez-Campos and Michael Scott. Abstraction.

307 views • 17 slides

Defining New Special Forms (unless test body) (if (not test) body #f) (when (not test) body)

Defining New Special Forms (unless test body) (if (not test) body #f) (when (not test) body). (inc! x) (set! x (inc x)). (define unless (method ((test <boolean>) (body <object>)) (if (not test) body #f))) (define inc! (method ((x <integer>)) (set! x (inc x)))) doesn't work!.

239 views • 13 slides

948 views • 6 slides