Philosophy of Computing n Computers are ‘Automatic Formal Systems’ n A ‘Formal System’ is like a game in which tokens are manipulated according to definite.

Slides:



Advertisements
Similar presentations
12 Types of Engineers. Electrical Engineers Electricity and circuits Electricity and circuits Telephones Telephones Computers Computers Televisions Televisions.
Advertisements

Chapter 1 Introduction to Computers. What Is a Computer? What is a computer? An electronic machine, operating under the control of instructions stored.
Combinational Circuit Yan Gu 2 nd Presentation for CS 6260.
1 CS 162 Introduction to Computer Science Chapter 7 Matrix Manipulation Herbert G. Mayer, PSU Status 9/21/2014.
AI for Connect-4 (or other 2-player games) Minds and Machines.
ICS-271:Notes 6: 1 Notes 6: Game-Playing ICS 271 Fall 2008.
Tic Tac Toe Game Design Using OOP
Adversarial Search Chapter 5.
Student Name: Rochelle Jenkins Date: April 11 th, 2011.
Summer 2011 Wednesday, 07/13. Formal Systems: The ELI System The ELI-system uses only three letters of the alphabet: E, L, I. It has a single axiom, EI,
Proof. Previously... Art Communicates Subjective, Qualitative Science Establishes Facts Objective, Quantitative, Reproducible Experiments Proofs Game.
Evolution of MiniMax Algorithm’s State Evaluation Heuristic for the Game of Abalone By Richard Wilson Dec 1, 2003.
Game Playing CSC361 AI CSC361: Game Playing.
November 10, 2009Introduction to Cognitive Science Lecture 17: Game-Playing Algorithms 1 Decision Trees Many classes of problems can be formalized as search.
Bits are Not just for Numbers Computers store characters as bits or binary digits. Characters from the English-language keyboard are represented in ASCII.
ICS-271:Notes 6: 1 Notes 6: Game-Playing ICS 271 Fall 2006.
Adversarial Search: Game Playing Reading: Chess paper.
Chapter 1 Data Storage(1) Yonsei University 1 st Semester, 2015 Sanghyun Park.
Design Interactive Instruction Using HTML5 and JavaScript Project D for CIMT 640 – EdCamp 2015 Haisong Ye 4/20/2015.
Great Theoretical Ideas in Computer Science.
Circuits and Symbols. The flow of electrons through a circuit Electricity A closed circuit allows electricity to flow An open circuit has a break so electricity.
Electricity & Magnetism Word Challenge. Some computer chips are made of a substance that conducts electric current better than an insulator but not as.
Cross Tabulation and Chi-Square Testing. Cross-Tabulation While a frequency distribution describes one variable at a time, a cross-tabulation describes.
CISC 235: Topic 6 Game Trees.
Home entertainment. The hardware, software and techniques used for sound MP3 players: play music files stored digitally in MP3 file format are small and.
Chapter 2 Measurement & Problem Solving. Uncertainty There is a certain amount of doubt in every measurement – It is important to know the uncertainty.
Normal Distribution MATH 102 Contemporary Math S. Rook.
Not So Deep Blue.
Set Theory Topic 1: Logical Reasoning. I can determine and explain a strategy to solve a puzzle. I can verify a strategy to win a game. I can analyze.
 PLASMA DISPLAY MONITOR  RASTOR VS RANDOM SCAN  INTERLACING AND NON- INTERLACING.
The Generic Gaming Engine Andrew Burke Advisor: Prof. Aaron Cass Abstract Games have long been a source of fascination. Their inherent complexity has challenged.
Solving biological problems with MATLAB Lecturer: Chen Keasar, Office hours: 37/102 Sunday, 14:00-16:00.
Computer Science 112 Fundamentals of Programming II Graphics Programming.
Computer Graphics Researched via: Student Name: Symone Haynes Date: April 29, 2010.
Digital Image Processing CCS331 Relationships of Pixel 1.
Problems, Problem Spaces and Search
The student will identify and extend geometric and arithmetic sequences.
To attend a show To take a nap To meet up with.
PERFECT CUBES What does that mean?. CUBE  We could make a list of “perfect cubes” by thinking of numbers of objects where these objects could be arranged.
Games. Adversaries Consider the process of reasoning when an adversary is trying to defeat our efforts In game playing situations one searches down the.
Propositional Calculus CS 270: Mathematical Foundations of Computer Science Jeremy Johnson.
By: Kyle Tierney And Alec Tzanabos
Lesson 1 History of Chess Why We Teach Chess Goal of Chess.
A game based off of the esteemed classic By: Tadziu Kosiara.
Conceptual Chemistry. 1. Use examples to explain the various branches of science. 2. Distinguish between qualitative and quantitative observations. 3.
The Northern Lights: Demonstrations. Programmability Overview A major aspect of our project is programmability- it is an interactive display medium, the.
Tessellations You will need two pieces of computer paper and a small piece of thick paper and your final paper.
The parity bits of linear block codes are linear combination of the message. Therefore, we can represent the encoder by a linear system described by matrices.
Computer Graphics Researched via: Student Name: Timothy Rorie Date: 4 / 11 / 11.
Chess Strategies Component Skills Strategies Prototype Josh Waters, Ty Fenn, Tianyu Chen.
Warship C++: An entity of Battleship
Grid References.
© 2014 International Technology and Engineering Educators Association, STEM  Center for Teaching and Learning™ Game Art and Design Unit 3 Lesson 3 Procedure.
PERFECT SQUARES What does that mean?. SQUARE  You could make a list of “perfect squares” by thinking of numbers of objects where these objects could.
Chapter 1 Section 1.6 Algebraic Properties of Matrix Operations.
NUMBER THEORY. ARRAY A set of objects (or numbers) ARRANGED in rows and columns.
IS502:M ULTIMEDIA D ESIGN FOR I NFORMATION S YSTEM D IGITAL S TILL I MAGES Presenter Name: Mahmood A.Moneim Supervised By: Prof. Hesham A.Hefny Winter.
Jeopardy Topic 1Topic Q 1Q 6Q 11Q 16Q 21 Q 2Q 7Q 12Q 17Q 22 Q 3Q 8Q 13Q 18Q 23 Q 4Q 9Q 14Q 19Q 24 Q 5Q 10Q 15Q 20Q 25.
COMPUTER HARDWARE & SOFTWARE INTRODUCTION TO LIBRARY & INFORMATION SCIENCES (5501) WORKSHOP SPRING 2013 By: Huma Malik Librarian, Preston University, Islamabad.
Exponents Math 7 Powerpoint. Location of Exponent An An exponent is a little number high and to the right of a regular or base number. 3 4 Base Exponent.
Three-Dimensional Art Composition
1.2 Checkers - Dame (Board Game)
PHOTOGRAPHY VOCABULARY AND DEFINITIONS :
6.17 The student will identify and extend geometric and arithmetic sequences.
PLAY ON AND SWITCH ON! Chess Game
Software Development CMSC 202.
Unit 1: Introduction to Operating System
What comes next in this sequence
COMP 1600 Implementation of Object-Oriented Systems
Definitions Quiz (1-10) PLTW Terms PLTW Vocabulary Set #12.
Presentation transcript:

Philosophy of Computing n Computers are ‘Automatic Formal Systems’ n A ‘Formal System’ is like a game in which tokens are manipulated according to definite rules, in order to see what configurations can be obtained. I.e., they are –Token-manipulation systems –Digital –Medium independent n Not all formal systems are games and not all games are formal systems.

Token-Manipulation Systems n Components –a set of types of formal tokens or pieces –one or more allowable starting positions –a set of formal rules specifying how arrangements of tokens may or must be changed into others n Self-contained n Rules have a ‘local’ perspective: current  next

Digital Systems n A process that makes things and then later identifies what was made is digital if it is positive and reliable. n It is positive if the re-identification can be absolutely perfect. n A positive technique is reliable if it not only can be perfect, but almost always is. –chess, tic-tac-toe, go, checkers vs. –baseball, billiards, tiddly-winks, marbles

Medium Independence n Form, or structure, is what defines a formal system. n Its substance, or material, is irrelevant insofar as it supports the requisite form. n Chess –Can be played with pieces of wood, plastic, ivory, patterns of light on a video monitor, sand-drawings, even helicopters on skyscrapers; –but not frogs, shapes traced in water, or mountains. n Fire, food, electrical circuits, billiards, baseball are not independent of substance

Automatic Formal Systems n A formal system that “moves” by itself. n A physical device or machine that –has configurations and states which can be regarded as tokens and arrangements of some formal system, and –in its normal operation it automatically manipulates these tokens in accord with the rules of that system. n E.g., a Computer!

Implementation and Universality n The most basic idea of computer science: “You can use one automatic formal system to implement another.” n This is what programming is! n One computer implements another when: –some configurations of tokens and positions of the former can be regarded as the tokens and positions of the latter, and –as the former follows its own rules, it automatically manipulates those tokens of the latter in accord with the latter’s rules.

Chess n Assume the board is 8” square n Place a penny exactly inches from the bottom and inches from the left n Place a penny in the fourth rank (row) and second file (column).