Lecture 1
Lecture 1
Introduction
David Evans
1
http://www.cs.virginia.edu/ev
ans
What is
Computer Science?
What is the
difference
between
Euclid and
Ada?
It depends on what
your definition of is is.
Bill Gates (at Microsofts
anti-trust trial)
Computer Science
How to knowledge:
Ways of describing information
processes (computations)
Language
Ways of predicting properties of
information processes
Logic
What kinds of things do we want to predict?
CS150 Fall 2005: 1. Introduction
Science, Engineering,
Other?
Science?
Understanding Nature through
Observation
About real things like bowling balls, black
holes, antimatter, electrons, comets, etc.
10
Engineering?
Engineering is design under
constraint Engineering is
synthetic - it strives to create
what can be, but it is constrained
by nature, by cost, by concerns of
safety, reliability, environmental
impact, manufacturability,
maintainability and many other
such 'ilities.' ...
William Wulf
CS150 Fall 2005: 1. Introduction
11
1 Cubic Foot
Measuring Computers
1 bit = smallest unit of information
True or False
0 or 1
If we start with 2 possible choices, and
get 1 bit, we can eliminate one of the
choices
13
14
15
16
Engineering
No: we dont have to deal with
engineering-type constraints
Liberal Art
CS150 Fall 2005: 1. Introduction
17
Liberal Arts
arts for the free: pursued for intrinsic reasons
18
nu
mb
ers
Logic Arithmetic
argument
for
discoverin
g truth
Geometr
y
quantificatio
n of space
Music
number
in time
Astronomy
19
Course
Expectations
CS150 Fall 2005: 1. Introduction
20
Course Roadmap
21
Computer Science st
1 Class
from Euclid and
Ada
PS 1-5
to
Lecture
Quantum
PS
6-7
Computing and
the World Wide
Web
22
23
Help Available
Me: David Evans (Call me Dave or
Coach)
Office Hours will be posted (after your surveys)
Always available by email, if I dont reply in 24
hours, send again and complain
Assistant Coaches: David Faulkner and Dan Upton
Web site: http://www.cs.virginia.edu/cs150
Everything goes on the web, you should visit it often
24
25
Background Expected
Language:
Reasonable reading and writing in English
Understanding of subject, verb and object
Math:
Whole numbers, add, subtract, multiply, divide
Exponentiation, logarithms (we will review)
26
27
Shameless Pitch
We need more students in this class!
Recruit your friends
Recruit your enemies
Recruit random CLAS students
28
29
30
According to Guinness
floccipoccinihilipilification
the act of rendering
useless
31
antifloccipoccinihilipilification
the act of rendering not useless
antiantifloccipoccinihilipilificat
ion the act of rendering useless
32
Language is Recursive
No matter what word you think is the
longest word, I can always make up a
longer one!
33
Recursive Definitions
We can define things in terms of
themselves
Recursive definitions are different from
circular definitions: they eventually end
with something real
word ::= anti-word
word ::= floccipoccinihilipilification
CS150 Fall 2005: 1. Introduction
34
Recursive Definitions
Allow us to express
infinitely many things
starting with a few.
This is powerful!
We will see lots of
examples in this course.
CS150 Fall 2005: 1. Introduction
35
Charge
Before 5pm Thursday:
Registration survey (see course web
site)
Before Friday:
Read GEB p. 3-41
Anyone who can produce MU, gets
an automatic A+ in the course
Dont floccipoccinihilipilificate
CS150 Fall 2005: 1. Introduction
36
Thanks!
2003 CS 200 students, 2002 CS200 students, 2001 CS655
students
2002 Assistant Coaches: Jon Erdman, Dante Guanlao, Stephen
Liang, Portman Wills
2003 Assistant Coaches: Rachel Dada, Jacques Fournier,
Spencer Stockdale, Katie Winstanley
2004 Assistant Coaches: Sarah Bergkuist, Andrew Connors,
Patrick Rooney, Katie Winstanley
Guest Speakers: Radhika Nagpal (2002), Tim Koogle (2003)
6.001 teachers: Gerry Sussman, Bob Berwick
CS Department: Jim Cohoon, Ginny Hilton, Anita Jones, John
Knight, Worthy Martin, Chris Milner, Brenda Perkins, Gabe
Robins, Mary Lou Soffa, Jack Stankovic
Teaching Resource Center: Marva Barnett, Freda Fretwell
2001-2 UTF Fellows: Phoebe Crisman, John Lach, Debra Lyon,
Emily Scida, Brian Smith, David Waldner; UTF Mentor: Judith
Shatin
Anna Chefter, Chris Frost, Thad Hughes, Jerry McGann, Shawn
OHargan, Mike Peck
CS150 Fall 2005: 1. Introduction
37