Difference between revisions of "Cs488-2009"
Jump to navigation
Jump to search
Line 6: | Line 6: | ||
# SIMULATION The Monte Carlo Method - your name here | # SIMULATION The Monte Carlo Method - your name here | ||
# GÖDEL'S THEOREM Limits on Logic - your name here | # GÖDEL'S THEOREM Limits on Logic - your name here | ||
− | # GAME TRESS The Minimax Method - Brad | + | # GAME TRESS The Minimax Method - '''Brad''' |
# THE COMSKY HIERARCHY Four Computers - your name here | # THE COMSKY HIERARCHY Four Computers - your name here | ||
# RANDOM NUMBERS The Chaitin-Kolmogoroff Theory - your name here | # RANDOM NUMBERS The Chaitin-Kolmogoroff Theory - your name here | ||
Line 16: | Line 16: | ||
# REGULAR LANGUAGE Pumping Words - your name here | # REGULAR LANGUAGE Pumping Words - your name here | ||
# TIME AND SPACE COMPLEXITY The Big-0 Notation - your name here | # TIME AND SPACE COMPLEXITY The Big-0 Notation - your name here | ||
− | # GENETIC ALGORITHMS Solutions That Evolve - Brad | + | # GENETIC ALGORITHMS Solutions That Evolve - '''Brad''' |
# THE RANDOM ACCESS MACHINE An Abstract Computer - your name here | # THE RANDOM ACCESS MACHINE An Abstract Computer - your name here | ||
# SPINAL CURVES Smooth Interpolation - your name here | # SPINAL CURVES Smooth Interpolation - your name here | ||
− | # COMPUTER VISION Polyhedral Scenes - Brad | + | # COMPUTER VISION Polyhedral Scenes - '''Brad''' |
# KARNAUGH MAPS Circuit Minimization - your name here | # KARNAUGH MAPS Circuit Minimization - your name here | ||
# THE NEWTON-RAPHSON METHOD Finding Roots - your name here | # THE NEWTON-RAPHSON METHOD Finding Roots - your name here | ||
Line 33: | Line 33: | ||
# TURING MACHINES The Simplest Computers - your name here | # TURING MACHINES The Simplest Computers - your name here | ||
# THE FAST FOURIER TRANSFORM Redistributing Images - your name here | # THE FAST FOURIER TRANSFORM Redistributing Images - your name here | ||
− | # ANALOG COMPUTATION Spaghetti Computers - Sam Leeman-Munk | + | # ANALOG COMPUTATION Spaghetti Computers - '''Sam Leeman-Munk''' |
# SATISFIABILITY A Central Problem - your name here | # SATISFIABILITY A Central Problem - your name here | ||
# SEQUENTIAL SORTING A Lower Bound on Speed - your name here | # SEQUENTIAL SORTING A Lower Bound on Speed - your name here | ||
Line 44: | Line 44: | ||
# NUMBER SYSTEMS FOR COMPUTING Chinese Arithmetic - your name here | # NUMBER SYSTEMS FOR COMPUTING Chinese Arithmetic - your name here | ||
# STORAGE BY HASHING The Key Is the Address - your name here | # STORAGE BY HASHING The Key Is the Address - your name here | ||
− | # CELLULAR AUTOMATA The Game of Life - Sam Leeman-Munk | + | # CELLULAR AUTOMATA The Game of Life - '''Sam Leeman-Munk''' |
# COOK'S THEOREM Nuts and Bolts - your name here | # COOK'S THEOREM Nuts and Bolts - your name here | ||
− | # SELF-REPLICATING COMPUTERS Codd's Machine - Sam Leeman-Munk | + | # SELF-REPLICATING COMPUTERS Codd's Machine - '''Sam Leeman-Munk''' |
# STORING IMAGES A Cat in a Quad Tree - your name here | # STORING IMAGES A Cat in a Quad Tree - your name here | ||
# THE SCRAM A Simplified Computer - your name here | # THE SCRAM A Simplified Computer - your name here | ||
Line 59: | Line 59: | ||
# LINEAR PROGRAMMING The Simplex Method - your name here | # LINEAR PROGRAMMING The Simplex Method - your name here | ||
# PREDICATE CALCULUS The Resolution Method - your name here | # PREDICATE CALCULUS The Resolution Method - your name here | ||
− | # THE HALTING PROBLEM The Uncomputable - Sam Leeman-Munk | + | # THE HALTING PROBLEM The Uncomputable - '''Sam Leeman-Munk''' |
− | # COMPUTER VIRUSES A Software Invasion - Brad | + | # COMPUTER VIRUSES A Software Invasion - '''Brad''' |
# SEARCHING STRINGS The Boyer-Moore Algorithm - your name here | # SEARCHING STRINGS The Boyer-Moore Algorithm - your name here | ||
# PARALLEL COMPUTING Processors with Connections - your name here | # PARALLEL COMPUTING Processors with Connections - your name here |
Revision as of 14:38, 26 August 2009
Put your name next to four of the chapters that you will be responsible for teaching the rest of us this semester with a presentation and short assignment. If one of the ones you were interested in is already taken please choose another in its place.
- ALGORITHMS Cooking Up Programs - your name here
- FINITE AUTOMATA The Black Box - your name here
- SYSTEMS OF LOGIC Boolean Bases - your name here
- SIMULATION The Monte Carlo Method - your name here
- GÖDEL'S THEOREM Limits on Logic - your name here
- GAME TRESS The Minimax Method - Brad
- THE COMSKY HIERARCHY Four Computers - your name here
- RANDOM NUMBERS The Chaitin-Kolmogoroff Theory - your name here
- MATHEMATICAL RESEARCH The Mandelbrot Set - your name here
- PROGRAM CORRECTNESS Ultimate Debugging - your name here
- SEARCH TRESS Traversal and Maintenance - your name here
- ERROR-CORRECTING CODE Pictures from Space - your name here
- BOOLEAN LOGIC Expressions and Circuits - your name here
- REGULAR LANGUAGE Pumping Words - your name here
- TIME AND SPACE COMPLEXITY The Big-0 Notation - your name here
- GENETIC ALGORITHMS Solutions That Evolve - Brad
- THE RANDOM ACCESS MACHINE An Abstract Computer - your name here
- SPINAL CURVES Smooth Interpolation - your name here
- COMPUTER VISION Polyhedral Scenes - Brad
- KARNAUGH MAPS Circuit Minimization - your name here
- THE NEWTON-RAPHSON METHOD Finding Roots - your name here
- MINIMUM SPANNING TREES A Fast Algorithm - your name here
- GENERATIVE GRAMMARS Lindenmayer Systems - your name here
- RECURSION The Sierpinski Curve - your name here
- FAST MULTIPLICATION Divide and Conquer - your name here
- NONDETERMINISM Automata That Guess Correctly - your name here
- PERCEPTIONS A Lack of Vision - your name here
- ENCODERS AND MULTIPLEXERS Manipulating Memory - your name here
- CAT SCANNING Cross-Sectional X-Rays - your name here
- TIE PARTITION PROBLEM A Pseudo-fast Algorithm - your name here
- TURING MACHINES The Simplest Computers - your name here
- THE FAST FOURIER TRANSFORM Redistributing Images - your name here
- ANALOG COMPUTATION Spaghetti Computers - Sam Leeman-Munk
- SATISFIABILITY A Central Problem - your name here
- SEQUENTIAL SORTING A Lower Bound on Speed - your name here
- NEURAL NETWORKS THAT LEARN Converting Coordinates - your name here
- PUBLIC KEY CRYPTOGRAPHY Intractable Secrets - your name here
- SEQUENTIAL CIRCUITS A Computer Memory - your name here
- NONCOMPUTABLE FUNCTIONS The Busy Beaver Problem - your name here
- HEAPS AND MERGES The Fastest Sorts of Sorts - your name here
- NP-COMPLETENESS Wall of Intractability - your name here
- NUMBER SYSTEMS FOR COMPUTING Chinese Arithmetic - your name here
- STORAGE BY HASHING The Key Is the Address - your name here
- CELLULAR AUTOMATA The Game of Life - Sam Leeman-Munk
- COOK'S THEOREM Nuts and Bolts - your name here
- SELF-REPLICATING COMPUTERS Codd's Machine - Sam Leeman-Munk
- STORING IMAGES A Cat in a Quad Tree - your name here
- THE SCRAM A Simplified Computer - your name here
- SHANNON'S THEORY The Elusive Codes - your name here
- DETECTING PRIMES An Algorithm that Almost Always Works - your name here
- UNIVERSAL TURING MACHINES Computers as Programs - your name here
- TEXT COMPRESSION Huffman Coding - your name here
- DISK OPERATING SYSTEMS Bootstrapping the Computer - your name here
- NP-COMPLETE PROBLEMS The Tree of Intractability - your name here
- ITERATION AND RECURSION The Towers of Hanoi - your name here
- VLSI COMPUTERS Circuits in Silicon - your name here
- LINEAR PROGRAMMING The Simplex Method - your name here
- PREDICATE CALCULUS The Resolution Method - your name here
- THE HALTING PROBLEM The Uncomputable - Sam Leeman-Munk
- COMPUTER VIRUSES A Software Invasion - Brad
- SEARCHING STRINGS The Boyer-Moore Algorithm - your name here
- PARALLEL COMPUTING Processors with Connections - your name here
- THE WORD PROBLEM Dictionaries as Programs - your name here
- LOGIC PROGRAMMING Prologue to Expertise - your name here
- RELATIONAL DATABASES Do-It-Yourself Queries - your name here
- CHURCH'S THESIS All Computers Are Created Equal - your name here