Download presentation

Presentation is loading. Please wait.

Published byJoslyn Romney Modified over 2 years ago

1
Style for Special CS Components

2
Mathematics “Our confidence in any science is roughly proportional to the amount of mathematics it employs” (Bronowski & Mazlish, The Western Intellectual Tradition) “The use of mathematics for expressing ideas is often the difference between a vague paper and a clear one.”

3
Mathematical Clarity Be correct: “Reading mathematics is difficult work, … and pointless if the mathematics doesn’t make sense.” Use mathematics to untangle convoluted statements (introducing identifiers)introducing identifiers Use words correctly. “intractable” means NP-hard, not “hard to do.” “formula” and “equation” are not the same. “subset” not to be used to mean “sub-problem” …

4
Theorems Motivate lemmas Prefer direct proofs Proofs are reasoned arguments Proofs are social (target intended audience) Proof step size: so reader can fill gaps “easily” No algebraic transformations

5
Readability Don’t start a sentence with a variable or a mathematical symbol. Break up any (long) stream of complex expressions with intermittent explanation. Break down overly complex expressions. Typeset carefully. Use (only) commonly understood symbols. Don’t overload operators. Be precise about ranges, e.g. […) Minimize use of unfamiliar letters and don’t misuse them (e.g., don’t use for ) Avoid line breaks in formulas.

6
Numbers Write numbers as figures ( except numbers up to twenty (except literals, measurements, percentages)) Be careful with precision, binary/decimal, percentages, units Not … 7.31 and 181 “I’m told that there are 10 kinds of people in the world, those that understand binary and those that don’t.” Make percentages clear: is it “grew by 4% from 52% to 54%” or “grew by 2% from 52% to 54%”? Plural/singular: “0.5 seconds” vs. “a half second”

7
Graphs, Figures, Tables “And what is the use of a book”, thought Alice, “without pictures or conversations?” (Lewis Carrol, Alice in Wonderland) “Well-chosen illustrations breathe life into a paper.” But “should be reserved for material that is central to the paper.”

8
ExamplesExamples (Good and Bad) Graphs Figures Tables

9
Illustrations and Captions Strive for independence Graphs, figures, and tables, should be fairly self explanatory and self contained. Captions should aid, making the entire unit fairly independent. But never make it entirely independent “If you don’t have anything to say about an illustration, leave it out.” Introduce illustrations on the same page or on the preceding page (in so far as possible).

10
Algorithms “Mostly gobbledygook …” (Eric Partridge, defining computation in Usage and Abusage) “An algorithm by itself is uninteresting: what is of value is an algorithm that has been shown to solve a problem.”

11
Objectives for Presenting Algorithms Demonstrate that it’s worthwhile Proof of correctness, or Experimental results showing that it has some claimed performance, or both Expectations Input/output (including scope and limitations) Steps Properties (preconditions, postconditions, loop invariants) for correctness proofs Complexity analysis Experimental validation

12
Algorithm Description Examples Pseudocode Prose-code Literate code

13
Auxiliary Information Figures (e.g., AVL tree rotation) Examples (e.g., B + -tree insertion/deletion) Notation Prefer mathematical notation over programming notation x i not x[i] Avoid specific programming-language syntax never: ==, a++, for(i=0;i

14
Performance Evaluation Basis of evaluation Be realistic: don’t (obviously, or otherwise) favor your algorithm. “If the basis of comparison is questionable, the results are questionable too.” Processing time Difficult to measure Many factors involved: CPU speed, cache size, system load, pre-fetch strategy, … Disk and network traffic Complex can’t describe mathematically “Broad approximations are often the only manageable way of describing disk performance.”

15
Asymptotic Complexity Bounds Upper bounds: O(n) Lower bounds: o(n), (n), (n) Tight bounds: (n) Big-O, however, is often used less formally We often mean “the complexity” rather than “the upper bound on the complexity” Both of the following, for example, are OK Comparison-based sorting takes O(n log n) time. Insertion sort always takes at least O(n) time.

Similar presentations

OK

Situation Calculus for Action Descriptions We talked about STRIPS representations for actions. Another common representation is called the Situation Calculus.

Situation Calculus for Action Descriptions We talked about STRIPS representations for actions. Another common representation is called the Situation Calculus.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on atrial septal defect murmur Ppt on ill effects of intoxicating substances act Ppt on unity in diversity logo Ppt on my dream project Free ppt on product management Ppt on solid dielectrics definition Ppt on content addressable memory structure Ppt on workplace etiquette powerpoint presentation Free ppt on brain machine interface technology Ppt on human rights and social equality