SlideShare une entreprise Scribd logo
1  sur  42
Class 1:
Introduction
       cs1120 Fall 2011
        24 August 2011
           David Evans
What’s so special about computers?
                       Colossus (1944)




                                                           Cray-1 (1976)

                                                                               Palm Pre (2009)
                                                                                 Flickr:
                                                                                 louisvolant

Apollo Guidance
Computer (1969)




                                                                        Motorola Xoom (2011)
                                                      Apple II (1977)
                  Honeywell Kitchen Computer (1969)
Toaster Science?
Let AB and CD be the two given numbers not
relatively prime. It is required to find the greatest
common measure of AB and CD.

If now CD measures AB, since it also measures
itself, then CD is a common measure of CD and
AB. And it is manifest that it is also the
greatest, for no greater number than CD
measures CD.
 Euclid’s Elements, Book VII, Proposition 2 (300BC)
The note on the inflected line is only
difficult to you, because it is so easy.
There is in fact nothing in it, but you think
there must be some grand mystery hidden
under that word inflected!
      Whenever from any point without a
given line, you draw a long to any point in
the given line, you have inflected a line
upon a given line.
           Ada Byron (age 19), letter to Annabella
           Acheson (explaining Euclid), 1834
What is the
            difference
          between Euclid
             and Ada?


“It depends on what your
definition of ‘is’ is.” (Bill Clinton)
Geometry vs. Computer Science
Geometry (mathematics) is about
 declarative knowledge: “what is”
   If now CD measures AB, since it also measures
   itself, then CD is a common measure of CD and AB
Computer Science is about imperative
 knowledge: “how to”
Computer Science
“How to” knowledge:

Ways of describing information     Language
 processes (computations)
Ways of predicting properties of
                                    Logic
 information processes
Ways of executing information
 processes                         Machines
Outline
What is Computer Science
Science, Engineering, Other?
  Introduction to Information
Expectations for the Course
Science?
Real Science is about understanding nature
  through observation
  About real things like bowling balls, black
   holes, antimatter, electrons, comets, etc.
Math and Computer Science are about fake things
 like numbers, graphs, functions, lists, etc.
  Computer Science is a useful tool for doing real
    science, but not a real science
Science
Better view: there is lots of interesting
computation in nature and we need computer
science to understand it.
Science
Better view: there is lots of interesting
computation in nature and we need computer
science to understand it.




Plant Growth (ps3)      Evolution is an    How do brains
                     information process     compute?
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, maintainabilit
 y and many other such 'ilities.' ...”

              William Wulf and George Fisher
Apollo Guidance Computer, 1969




 1 Cubic Foot   Why did they need to fit the
                guidance computer in the rocket?
Measuring Computers
    bit = smallest unit of information
 If we start with 2 possible choices, and get one bit
of information, we can eliminate one of the choices.



                       Will there
                      be a quiz on
                        Friday?


              No                     Yes
How much power?
Apollo Computer: 61440 bits of changeable memory
Machines today have (at least) 1 GB (RAM)
  1 Gigabyte = 1024 Megabytes,
     1 Megabyte = 1024 Kilobytes,
                                           You will understand this
     1 Kilobyte = 1024 Bytes,              notation soon…but don’t worry
     1 Byte = 8 bits                       if you don’t now
  > (* 1024 1024 1024 8)
  8589934592                  ~ 8.6 Billion bits
  > (round (/ (* 1024 1024 1024 8) 61440))
  139810             You have 139 810 times more power than AGC

     If Apollo Guidance Computer power is 1 inch, you have 2.2 miles!
Computing Power 1969-2011
               (in Apollo Control Computer Units)
300,000,000


250,000,000
                43 years: should have
200,000,000     doubled 27+ times
                227 > 200 million
150,000,000


100,000,000


 50,000,000


         0




                                                    18
Constraints Computer Scientists Face
 Not like those for engineers (weight, physics, etc.)
        If 4 Million times what NASA had in 1969 isn’t
        enough for you, wait until 2014 and you will have 8
        Million times…
 More like those for Musicians and Poets:
     Imagination and Creativity
     Complexity of what we can understand
Is there anything else that has improved like (or faster than?) computing power
     in your lifetime? (post your answers/guesses as comments on the blog)
So, what is computer science?
Science



Engineering


Liberal Art
Liberal Arts: ~1100
Illiberal Arts
    arts for the non-free:
    pursued for economic
    reasons
Liberal Arts
    arts for the free:
    pursued for intrinsic
    reasons
The Liberal Arts


      Trivium (3 roads)                     Quadrivium (4 roads)


Grammar                               Logic Arithmetic                Music
study of meaning in   Rhetoric        argument for                    number
written expression    comprehension   discovering    Geometry         in time
                      of discourse    truth          quantification
                                                     of space            Astronomy

               Yes, we will see all of these in this class!
Outline
What is Computer Science
Science, Engineering, Other?
  Introduction to Information
About the Course
First main theme: Recursive Definitions
A Course for Everyone!
CLAS, SEAS, Commerce, Arch, etc.
Pre-College, 1st, 2nd, 3rd, 4th, 5th Years, Community
  Scholars, University Professors
No computing background expected…but
  challenging even for students with lots of
  previous programming experience
(Future) Computer Science majors…but
  worthwhile even if you don’t take another CS
  course
Help Available
Me: David Evans (Call me “Dave” or “Coach”)
   Office: Olsson 236A
      Tomorrow (Thursday): 4-5:30pm Office “Packing” Hours
      Regular office hours will be scheduled after (most of) you
        submit: http://www.whenisgood.net/cs1120
   Post questions on the course blog
   Personal questions email, if I don’t reply in 24 hours
     send again and complain

Assistant coaches (next slide and Friday)
Your classmates (read the course pledge carefully!)
Office after Friday at 9am:

Rice Hall 507
                              26
First Help Hours
   Tomorrow (Thursday),
Thorton Stacks, 4:30-6:30pm




Jiamin Chen       Jonathan Burket
                                    27
Course Book




www.computingbook.org




   Available free on-line, but print for reading!
Subject: CS 1120
From: Textbook <textbook@virginia.edu>
To: <dee2b@Virginia.EDU>

Dear Professor Evans,

I have just spoken to Createspace. The textbook title '**INTRODUCTION TO
COMPUTING ' is not released for distribution. We are unable to purchase this
title. The author has the same name. Are you him? Can you please let us know
what we can do so we can obtain the materials needed for your class? Let us
know if there are any questions that you may have.

Thank you
Cindy Garwood                  Subject: Re: CS 1120
Textbook Department            From: David Evans <evans@virginia.edu>
Univeristy of Virginia Bookstore Textbook <textbook@virginia.edu>
                               To:
434-924-4253
                            Hi Cindy,

                            Yes, I am the author. Apparently, I need to increase the list price for
                            you to be able to be able to buy it through your channels. (And they
                            wonder why textbooks are overpriced!) I will do this temporarily, but
                            let me know when you've finished, so I can reduce it again.

                            Thanks,

                            --- Dave
Subject: Re: CS 1120
From: Textbook <textbook@virginia.edu>
To: David Evans <evans@virginia.edu>

Dear Professor Evans,

I will be going online in just a couple of minutes. Have
you increased the price so we may purchase it for
your students?

Thank you
Cindy
In return for a free book…
Feedback
  Things that are hard to understand
  Parts that are boring to read
  Any mistakes (including simple writing errors, but
    especially any technical errors)
Solutions to exercises
Shameless publicity: Amazon
  reviews, HackerNews posts, etc.
Reading Book

     James Gleick,
     The Information: A
     History, a Theory, a Flood
     (March 2011)


     Non-technical, required reading
Course Website/Blog
        http://www.cs.virginia.edu/cs1120

Everything goes on the web, visit it often
or subscribe to RSS feeds

Register to submit comments (or post
anonymously)
If you send me a question that should be posted on the blog by email, my
response will be to asked you to post it on the blog and I’ll answer it there.
First main theme:
Recursive Definitions




                        34
What’s the l o n g e s t word in the
       English language?




                                       35
Longest Words?
honorificabilitudinitatibus (27 letters, longest by Shakespeare)
   With honor.
antidisestablishmentarianism (28 letters)
   Movement against division of church and state.
hippopotomonstrosesquipedaliophobia (35 letters)
   Fear of long words.
pneumonoultramicroscopicsilicovolcanoconiosis (45 letters)
   (longest word in most dictionaries)
   Lung disease contracted from volcanic particles.

      Like all words, these words are “made up”.
                                                                   36
Making Longer Words
antihippopotomonstrosesquipedaliophobia
      Against the fear of long words.



antiantihippopotomonstrosesquipedaliophobia
     Against a thing against the fear of long
     words.

                                            37
Language is Recursive
No matter what word you think is the longest
word, I can always make up a longer one!


         word ::= anti-word


    By itself, this definition of word is circular.


                                                      38
Zero, One, Infinity
word ::= anti-word               This rule can make 0 words.



word ::= hippopotomonstrosesquipedaliophobia
                                This rule can make 1 word.

word ::= anti-word
word ::= hippopotomonstrosesquipedaliophobia
         These two rules can make infinitely many
         words, enough to express all ideas in the
         universe!
                                                               39
Recursive Definitions
We can define things in terms of themselves
Recursive definitions are not circular:
     they eventually end with something real




  word ::= anti-word
  word ::= hippopotomonstrosesquipedaliophobia


                                                 40
Recursive Definitions
Allow us to express infinitely
many things starting with a few.

     This is really powerful!

We will see lots of examples in
this course.
                                   41
Charge
Tomorrow
  4-5:30pm, Office “Packing” Hours
      Olsson 236A (pick up course book)
  4:30-6:30pm, Assistant Coaches - Thorton Stacks
      Jonathan Burket, Jiamin Chen
Before Friday’s class:
   Read and sign course pledge
   Read Course Book Chapters 1 and 2

Before 5:59pm Sunday: submit PS0 (getting started
  with Racket, Course Registration)

Contenu connexe

Similaire à Lecture 1: Introduction

introduction to computer science.ppt
introduction to computer science.pptintroduction to computer science.ppt
introduction to computer science.pptLearnEnglishEnglishC
 
Seminar by Prof Bruce Bassett at IAP, Paris, October 2013
Seminar by Prof Bruce Bassett at IAP, Paris, October 2013Seminar by Prof Bruce Bassett at IAP, Paris, October 2013
Seminar by Prof Bruce Bassett at IAP, Paris, October 2013CosmoAIMS Bassett
 
Logic and mathematics history and overview for students
Logic and mathematics history and overview for studentsLogic and mathematics history and overview for students
Logic and mathematics history and overview for studentsBob Marcus
 
Introduction To Computer Science (getting started)
Introduction To Computer Science (getting started)Introduction To Computer Science (getting started)
Introduction To Computer Science (getting started)Lawrence Wachs
 
Leslie Valiant: Turing Award Recipient 2010
Leslie Valiant:  Turing Award Recipient 2010Leslie Valiant:  Turing Award Recipient 2010
Leslie Valiant: Turing Award Recipient 2010emilymcclure
 
Artificial intelligence
Artificial intelligenceArtificial intelligence
Artificial intelligenceUmesh Meher
 
Tom Stead Presentation-ISTE
Tom Stead Presentation-ISTETom Stead Presentation-ISTE
Tom Stead Presentation-ISTEWIRED staff
 
Objects for modeling world
Objects for modeling worldObjects for modeling world
Objects for modeling worldEswaran P
 
Normal Considered Harmful
Normal Considered HarmfulNormal Considered Harmful
Normal Considered Harmfulgreenwop
 
SP14 CS188 Lecture 1 -- Introduction.pptx
SP14 CS188 Lecture 1 -- Introduction.pptxSP14 CS188 Lecture 1 -- Introduction.pptx
SP14 CS188 Lecture 1 -- Introduction.pptxssuser851498
 
History sig scope
History sig scopeHistory sig scope
History sig scopeDave Benn
 
Deep Learning with Python (PyData Seattle 2015)
Deep Learning with Python (PyData Seattle 2015)Deep Learning with Python (PyData Seattle 2015)
Deep Learning with Python (PyData Seattle 2015)Alexander Korbonits
 
LIS3353 SP 12 Week 2a
LIS3353 SP 12 Week 2aLIS3353 SP 12 Week 2a
LIS3353 SP 12 Week 2aAmanda Case
 

Similaire à Lecture 1: Introduction (20)

lecture1.ppt
lecture1.pptlecture1.ppt
lecture1.ppt
 
Computer science
Computer scienceComputer science
Computer science
 
lecture1.ppt
lecture1.pptlecture1.ppt
lecture1.ppt
 
introduction to computer science.ppt
introduction to computer science.pptintroduction to computer science.ppt
introduction to computer science.ppt
 
Seminar by Prof Bruce Bassett at IAP, Paris, October 2013
Seminar by Prof Bruce Bassett at IAP, Paris, October 2013Seminar by Prof Bruce Bassett at IAP, Paris, October 2013
Seminar by Prof Bruce Bassett at IAP, Paris, October 2013
 
Logic and mathematics history and overview for students
Logic and mathematics history and overview for studentsLogic and mathematics history and overview for students
Logic and mathematics history and overview for students
 
Tech N Maths
Tech N MathsTech N Maths
Tech N Maths
 
Introduction To Computer Science (getting started)
Introduction To Computer Science (getting started)Introduction To Computer Science (getting started)
Introduction To Computer Science (getting started)
 
Leslie Valiant: Turing Award Recipient 2010
Leslie Valiant:  Turing Award Recipient 2010Leslie Valiant:  Turing Award Recipient 2010
Leslie Valiant: Turing Award Recipient 2010
 
Artificial intelligence
Artificial intelligenceArtificial intelligence
Artificial intelligence
 
Tom Stead Presentation-ISTE
Tom Stead Presentation-ISTETom Stead Presentation-ISTE
Tom Stead Presentation-ISTE
 
Objects for modeling world
Objects for modeling worldObjects for modeling world
Objects for modeling world
 
Normal Considered Harmful
Normal Considered HarmfulNormal Considered Harmful
Normal Considered Harmful
 
Intoduction of Artificial Intelligence
Intoduction of Artificial IntelligenceIntoduction of Artificial Intelligence
Intoduction of Artificial Intelligence
 
SP14 CS188 Lecture 1 -- Introduction.pptx
SP14 CS188 Lecture 1 -- Introduction.pptxSP14 CS188 Lecture 1 -- Introduction.pptx
SP14 CS188 Lecture 1 -- Introduction.pptx
 
Artificial Intelligence
Artificial IntelligenceArtificial Intelligence
Artificial Intelligence
 
History sig scope
History sig scopeHistory sig scope
History sig scope
 
Deep Learning with Python (PyData Seattle 2015)
Deep Learning with Python (PyData Seattle 2015)Deep Learning with Python (PyData Seattle 2015)
Deep Learning with Python (PyData Seattle 2015)
 
LIS3353 SP 12 Week 2a
LIS3353 SP 12 Week 2aLIS3353 SP 12 Week 2a
LIS3353 SP 12 Week 2a
 
chatcptkk.ppt
chatcptkk.pptchatcptkk.ppt
chatcptkk.ppt
 

Plus de David Evans

Cryptocurrency Jeopardy!
Cryptocurrency Jeopardy!Cryptocurrency Jeopardy!
Cryptocurrency Jeopardy!David Evans
 
Trick or Treat?: Bitcoin for Non-Believers, Cryptocurrencies for Cypherpunks
Trick or Treat?: Bitcoin for Non-Believers, Cryptocurrencies for CypherpunksTrick or Treat?: Bitcoin for Non-Believers, Cryptocurrencies for Cypherpunks
Trick or Treat?: Bitcoin for Non-Believers, Cryptocurrencies for CypherpunksDavid Evans
 
Hidden Services, Zero Knowledge
Hidden Services, Zero KnowledgeHidden Services, Zero Knowledge
Hidden Services, Zero KnowledgeDavid Evans
 
Anonymity in Bitcoin
Anonymity in BitcoinAnonymity in Bitcoin
Anonymity in BitcoinDavid Evans
 
Midterm Confirmations
Midterm ConfirmationsMidterm Confirmations
Midterm ConfirmationsDavid Evans
 
Scripting Transactions
Scripting TransactionsScripting Transactions
Scripting TransactionsDavid Evans
 
How to Live in Paradise
How to Live in ParadiseHow to Live in Paradise
How to Live in ParadiseDavid Evans
 
Mining Economics
Mining EconomicsMining Economics
Mining EconomicsDavid Evans
 
Becoming More Paranoid
Becoming More ParanoidBecoming More Paranoid
Becoming More ParanoidDavid Evans
 
Asymmetric Key Signatures
Asymmetric Key SignaturesAsymmetric Key Signatures
Asymmetric Key SignaturesDavid Evans
 
Introduction to Cryptography
Introduction to CryptographyIntroduction to Cryptography
Introduction to CryptographyDavid Evans
 
Class 1: What is Money?
Class 1: What is Money?Class 1: What is Money?
Class 1: What is Money?David Evans
 
Multi-Party Computation for the Masses
Multi-Party Computation for the MassesMulti-Party Computation for the Masses
Multi-Party Computation for the MassesDavid Evans
 
Proof of Reserve
Proof of ReserveProof of Reserve
Proof of ReserveDavid Evans
 
Blooming Sidechains!
Blooming Sidechains!Blooming Sidechains!
Blooming Sidechains!David Evans
 
Useful Proofs of Work, Permacoin
Useful Proofs of Work, PermacoinUseful Proofs of Work, Permacoin
Useful Proofs of Work, PermacoinDavid Evans
 

Plus de David Evans (20)

Cryptocurrency Jeopardy!
Cryptocurrency Jeopardy!Cryptocurrency Jeopardy!
Cryptocurrency Jeopardy!
 
Trick or Treat?: Bitcoin for Non-Believers, Cryptocurrencies for Cypherpunks
Trick or Treat?: Bitcoin for Non-Believers, Cryptocurrencies for CypherpunksTrick or Treat?: Bitcoin for Non-Believers, Cryptocurrencies for Cypherpunks
Trick or Treat?: Bitcoin for Non-Believers, Cryptocurrencies for Cypherpunks
 
Hidden Services, Zero Knowledge
Hidden Services, Zero KnowledgeHidden Services, Zero Knowledge
Hidden Services, Zero Knowledge
 
Anonymity in Bitcoin
Anonymity in BitcoinAnonymity in Bitcoin
Anonymity in Bitcoin
 
Midterm Confirmations
Midterm ConfirmationsMidterm Confirmations
Midterm Confirmations
 
Scripting Transactions
Scripting TransactionsScripting Transactions
Scripting Transactions
 
How to Live in Paradise
How to Live in ParadiseHow to Live in Paradise
How to Live in Paradise
 
Bitcoin Script
Bitcoin ScriptBitcoin Script
Bitcoin Script
 
Mining Economics
Mining EconomicsMining Economics
Mining Economics
 
Mining
MiningMining
Mining
 
The Blockchain
The BlockchainThe Blockchain
The Blockchain
 
Becoming More Paranoid
Becoming More ParanoidBecoming More Paranoid
Becoming More Paranoid
 
Asymmetric Key Signatures
Asymmetric Key SignaturesAsymmetric Key Signatures
Asymmetric Key Signatures
 
Introduction to Cryptography
Introduction to CryptographyIntroduction to Cryptography
Introduction to Cryptography
 
Class 1: What is Money?
Class 1: What is Money?Class 1: What is Money?
Class 1: What is Money?
 
Multi-Party Computation for the Masses
Multi-Party Computation for the MassesMulti-Party Computation for the Masses
Multi-Party Computation for the Masses
 
Proof of Reserve
Proof of ReserveProof of Reserve
Proof of Reserve
 
Silk Road
Silk RoadSilk Road
Silk Road
 
Blooming Sidechains!
Blooming Sidechains!Blooming Sidechains!
Blooming Sidechains!
 
Useful Proofs of Work, Permacoin
Useful Proofs of Work, PermacoinUseful Proofs of Work, Permacoin
Useful Proofs of Work, Permacoin
 

Dernier

Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticscarlostorres15106
 
Gen AI in Business - Global Trends Report 2024.pdf
Gen AI in Business - Global Trends Report 2024.pdfGen AI in Business - Global Trends Report 2024.pdf
Gen AI in Business - Global Trends Report 2024.pdfAddepto
 
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024BookNet Canada
 
Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Scott Keck-Warren
 
"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr BaganFwdays
 
SAP Build Work Zone - Overview L2-L3.pptx
SAP Build Work Zone - Overview L2-L3.pptxSAP Build Work Zone - Overview L2-L3.pptx
SAP Build Work Zone - Overview L2-L3.pptxNavinnSomaal
 
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks..."LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...Fwdays
 
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)Wonjun Hwang
 
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024The Digital Insurer
 
Training state-of-the-art general text embedding
Training state-of-the-art general text embeddingTraining state-of-the-art general text embedding
Training state-of-the-art general text embeddingZilliz
 
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Mark Simos
 
Unraveling Multimodality with Large Language Models.pdf
Unraveling Multimodality with Large Language Models.pdfUnraveling Multimodality with Large Language Models.pdf
Unraveling Multimodality with Large Language Models.pdfAlex Barbosa Coqueiro
 
Commit 2024 - Secret Management made easy
Commit 2024 - Secret Management made easyCommit 2024 - Secret Management made easy
Commit 2024 - Secret Management made easyAlfredo García Lavilla
 
Vertex AI Gemini Prompt Engineering Tips
Vertex AI Gemini Prompt Engineering TipsVertex AI Gemini Prompt Engineering Tips
Vertex AI Gemini Prompt Engineering TipsMiki Katsuragi
 
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024BookNet Canada
 
My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationMy Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationRidwan Fadjar
 
Powerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time ClashPowerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time Clashcharlottematthew16
 
SIP trunking in Janus @ Kamailio World 2024
SIP trunking in Janus @ Kamailio World 2024SIP trunking in Janus @ Kamailio World 2024
SIP trunking in Janus @ Kamailio World 2024Lorenzo Miniero
 
Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024Enterprise Knowledge
 
Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!Manik S Magar
 

Dernier (20)

Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
 
Gen AI in Business - Global Trends Report 2024.pdf
Gen AI in Business - Global Trends Report 2024.pdfGen AI in Business - Global Trends Report 2024.pdf
Gen AI in Business - Global Trends Report 2024.pdf
 
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
 
Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024
 
"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan
 
SAP Build Work Zone - Overview L2-L3.pptx
SAP Build Work Zone - Overview L2-L3.pptxSAP Build Work Zone - Overview L2-L3.pptx
SAP Build Work Zone - Overview L2-L3.pptx
 
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks..."LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
 
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
 
My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024My INSURER PTE LTD - Insurtech Innovation Award 2024
My INSURER PTE LTD - Insurtech Innovation Award 2024
 
Training state-of-the-art general text embedding
Training state-of-the-art general text embeddingTraining state-of-the-art general text embedding
Training state-of-the-art general text embedding
 
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
 
Unraveling Multimodality with Large Language Models.pdf
Unraveling Multimodality with Large Language Models.pdfUnraveling Multimodality with Large Language Models.pdf
Unraveling Multimodality with Large Language Models.pdf
 
Commit 2024 - Secret Management made easy
Commit 2024 - Secret Management made easyCommit 2024 - Secret Management made easy
Commit 2024 - Secret Management made easy
 
Vertex AI Gemini Prompt Engineering Tips
Vertex AI Gemini Prompt Engineering TipsVertex AI Gemini Prompt Engineering Tips
Vertex AI Gemini Prompt Engineering Tips
 
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
 
My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationMy Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 Presentation
 
Powerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time ClashPowerpoint exploring the locations used in television show Time Clash
Powerpoint exploring the locations used in television show Time Clash
 
SIP trunking in Janus @ Kamailio World 2024
SIP trunking in Janus @ Kamailio World 2024SIP trunking in Janus @ Kamailio World 2024
SIP trunking in Janus @ Kamailio World 2024
 
Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024
 
Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!
 

Lecture 1: Introduction

  • 1. Class 1: Introduction cs1120 Fall 2011 24 August 2011 David Evans
  • 2.
  • 3. What’s so special about computers? Colossus (1944) Cray-1 (1976) Palm Pre (2009) Flickr: louisvolant Apollo Guidance Computer (1969) Motorola Xoom (2011) Apple II (1977) Honeywell Kitchen Computer (1969)
  • 5. Let AB and CD be the two given numbers not relatively prime. It is required to find the greatest common measure of AB and CD. If now CD measures AB, since it also measures itself, then CD is a common measure of CD and AB. And it is manifest that it is also the greatest, for no greater number than CD measures CD. Euclid’s Elements, Book VII, Proposition 2 (300BC)
  • 6. The note on the inflected line is only difficult to you, because it is so easy. There is in fact nothing in it, but you think there must be some grand mystery hidden under that word inflected! Whenever from any point without a given line, you draw a long to any point in the given line, you have inflected a line upon a given line. Ada Byron (age 19), letter to Annabella Acheson (explaining Euclid), 1834
  • 7. What is the difference between Euclid and Ada? “It depends on what your definition of ‘is’ is.” (Bill Clinton)
  • 8. Geometry vs. Computer Science Geometry (mathematics) is about declarative knowledge: “what is” If now CD measures AB, since it also measures itself, then CD is a common measure of CD and AB Computer Science is about imperative knowledge: “how to”
  • 9. Computer Science “How to” knowledge: Ways of describing information Language processes (computations) Ways of predicting properties of Logic information processes Ways of executing information processes Machines
  • 10. Outline What is Computer Science Science, Engineering, Other? Introduction to Information Expectations for the Course
  • 11. Science? Real Science is about understanding nature through observation About real things like bowling balls, black holes, antimatter, electrons, comets, etc. Math and Computer Science are about fake things like numbers, graphs, functions, lists, etc. Computer Science is a useful tool for doing real science, but not a real science
  • 12. Science Better view: there is lots of interesting computation in nature and we need computer science to understand it.
  • 13. Science Better view: there is lots of interesting computation in nature and we need computer science to understand it. Plant Growth (ps3) Evolution is an How do brains information process compute?
  • 14. 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, maintainabilit y and many other such 'ilities.' ...” William Wulf and George Fisher
  • 15. Apollo Guidance Computer, 1969 1 Cubic Foot Why did they need to fit the guidance computer in the rocket?
  • 16. Measuring Computers bit = smallest unit of information If we start with 2 possible choices, and get one bit of information, we can eliminate one of the choices. Will there be a quiz on Friday? No Yes
  • 17. How much power? Apollo Computer: 61440 bits of changeable memory Machines today have (at least) 1 GB (RAM) 1 Gigabyte = 1024 Megabytes, 1 Megabyte = 1024 Kilobytes, You will understand this 1 Kilobyte = 1024 Bytes, notation soon…but don’t worry 1 Byte = 8 bits if you don’t now > (* 1024 1024 1024 8) 8589934592 ~ 8.6 Billion bits > (round (/ (* 1024 1024 1024 8) 61440)) 139810 You have 139 810 times more power than AGC If Apollo Guidance Computer power is 1 inch, you have 2.2 miles!
  • 18. Computing Power 1969-2011 (in Apollo Control Computer Units) 300,000,000 250,000,000 43 years: should have 200,000,000 doubled 27+ times 227 > 200 million 150,000,000 100,000,000 50,000,000 0 18
  • 19. Constraints Computer Scientists Face Not like those for engineers (weight, physics, etc.) If 4 Million times what NASA had in 1969 isn’t enough for you, wait until 2014 and you will have 8 Million times… More like those for Musicians and Poets: Imagination and Creativity Complexity of what we can understand Is there anything else that has improved like (or faster than?) computing power in your lifetime? (post your answers/guesses as comments on the blog)
  • 20. So, what is computer science? Science Engineering Liberal Art
  • 21. Liberal Arts: ~1100 Illiberal Arts arts for the non-free: pursued for economic reasons Liberal Arts arts for the free: pursued for intrinsic reasons
  • 22. The Liberal Arts Trivium (3 roads) Quadrivium (4 roads) Grammar Logic Arithmetic Music study of meaning in Rhetoric argument for number written expression comprehension discovering Geometry in time of discourse truth quantification of space Astronomy Yes, we will see all of these in this class!
  • 23. Outline What is Computer Science Science, Engineering, Other? Introduction to Information About the Course First main theme: Recursive Definitions
  • 24. A Course for Everyone! CLAS, SEAS, Commerce, Arch, etc. Pre-College, 1st, 2nd, 3rd, 4th, 5th Years, Community Scholars, University Professors No computing background expected…but challenging even for students with lots of previous programming experience (Future) Computer Science majors…but worthwhile even if you don’t take another CS course
  • 25. Help Available Me: David Evans (Call me “Dave” or “Coach”) Office: Olsson 236A Tomorrow (Thursday): 4-5:30pm Office “Packing” Hours Regular office hours will be scheduled after (most of) you submit: http://www.whenisgood.net/cs1120 Post questions on the course blog Personal questions email, if I don’t reply in 24 hours send again and complain Assistant coaches (next slide and Friday) Your classmates (read the course pledge carefully!)
  • 26. Office after Friday at 9am: Rice Hall 507 26
  • 27. First Help Hours Tomorrow (Thursday), Thorton Stacks, 4:30-6:30pm Jiamin Chen Jonathan Burket 27
  • 28. Course Book www.computingbook.org Available free on-line, but print for reading!
  • 29. Subject: CS 1120 From: Textbook <textbook@virginia.edu> To: <dee2b@Virginia.EDU> Dear Professor Evans, I have just spoken to Createspace. The textbook title '**INTRODUCTION TO COMPUTING ' is not released for distribution. We are unable to purchase this title. The author has the same name. Are you him? Can you please let us know what we can do so we can obtain the materials needed for your class? Let us know if there are any questions that you may have. Thank you Cindy Garwood Subject: Re: CS 1120 Textbook Department From: David Evans <evans@virginia.edu> Univeristy of Virginia Bookstore Textbook <textbook@virginia.edu> To: 434-924-4253 Hi Cindy, Yes, I am the author. Apparently, I need to increase the list price for you to be able to be able to buy it through your channels. (And they wonder why textbooks are overpriced!) I will do this temporarily, but let me know when you've finished, so I can reduce it again. Thanks, --- Dave
  • 30. Subject: Re: CS 1120 From: Textbook <textbook@virginia.edu> To: David Evans <evans@virginia.edu> Dear Professor Evans, I will be going online in just a couple of minutes. Have you increased the price so we may purchase it for your students? Thank you Cindy
  • 31. In return for a free book… Feedback Things that are hard to understand Parts that are boring to read Any mistakes (including simple writing errors, but especially any technical errors) Solutions to exercises Shameless publicity: Amazon reviews, HackerNews posts, etc.
  • 32. Reading Book James Gleick, The Information: A History, a Theory, a Flood (March 2011) Non-technical, required reading
  • 33. Course Website/Blog http://www.cs.virginia.edu/cs1120 Everything goes on the web, visit it often or subscribe to RSS feeds Register to submit comments (or post anonymously) If you send me a question that should be posted on the blog by email, my response will be to asked you to post it on the blog and I’ll answer it there.
  • 34. First main theme: Recursive Definitions 34
  • 35. What’s the l o n g e s t word in the English language? 35
  • 36. Longest Words? honorificabilitudinitatibus (27 letters, longest by Shakespeare) With honor. antidisestablishmentarianism (28 letters) Movement against division of church and state. hippopotomonstrosesquipedaliophobia (35 letters) Fear of long words. pneumonoultramicroscopicsilicovolcanoconiosis (45 letters) (longest word in most dictionaries) Lung disease contracted from volcanic particles. Like all words, these words are “made up”. 36
  • 37. Making Longer Words antihippopotomonstrosesquipedaliophobia Against the fear of long words. antiantihippopotomonstrosesquipedaliophobia Against a thing against the fear of long words. 37
  • 38. Language is Recursive No matter what word you think is the longest word, I can always make up a longer one! word ::= anti-word By itself, this definition of word is circular. 38
  • 39. Zero, One, Infinity word ::= anti-word This rule can make 0 words. word ::= hippopotomonstrosesquipedaliophobia This rule can make 1 word. word ::= anti-word word ::= hippopotomonstrosesquipedaliophobia These two rules can make infinitely many words, enough to express all ideas in the universe! 39
  • 40. Recursive Definitions We can define things in terms of themselves Recursive definitions are not circular: they eventually end with something real word ::= anti-word word ::= hippopotomonstrosesquipedaliophobia 40
  • 41. Recursive Definitions Allow us to express infinitely many things starting with a few. This is really powerful! We will see lots of examples in this course. 41
  • 42. Charge Tomorrow 4-5:30pm, Office “Packing” Hours Olsson 236A (pick up course book) 4:30-6:30pm, Assistant Coaches - Thorton Stacks Jonathan Burket, Jiamin Chen Before Friday’s class: Read and sign course pledge Read Course Book Chapters 1 and 2 Before 5:59pm Sunday: submit PS0 (getting started with Racket, Course Registration)

Notes de l'éditeur

  1. I marvel thy master hath not eaten thee for a word;for thou art not so long by the head ashonorificabilitudinitatibus: thou art easierswallowed than a flap-dragon.