Arhitectura sistemelor de calcul

Similar documents
1.3. OPERAŢII CU NUMERE NEZECIMALE

Pentru clasa a X-a Ştiinţele naturii-sem II

CS187 - Science Gateway Seminar for CS and Math

Cod disc. ETTI. Condi ţionări DIF101 DIF102 DIF103 DIF E 5 DIF105 DIF123 DIC107 DIC108 DIF109 DIF110 DIF111 DID112 DID106 DIC114 DIC115

Soluţii juniori., unde 1, 2

Unit 4: Computer as a logic machine

The Arithmetic of Reasoning. Chessa Horomanski & Matt Corson

MAA509: Quantum Computing and Information Introduction

CSC103 How Computers Work

Introduction to Computer Systems

complex networks and systems i609: advanced PhD seminar I Informatics luis rocha 2019 INDIANA UNIVERSITY

Mathematical Logic. Giuseppe Peano ( ) Core Logic 2004/05-1ab p. 2/2

GENERATOARE DE SEMNAL DIGITALE

Automata Theory. Definition. Computational Complexity Theory. Computability Theory

Sisteme cu logica fuzzy

FORMULELE LUI STIRLING, WALLIS, GAUSS ŞI APLICAŢII

biologically-inspired computing lecture 14 Informatics luis rocha 2015 biologically Inspired computing INDIANA UNIVERSITY

Divizibilitate în mulțimea numerelor naturale/întregi

Logică avansată pentru informatică Master Anul I, Semestrul I

Prime Clocks. Michael Stephen Fiske. 10th GI Conference on Autonomous Systems October 23, AEMEA Institute. San Francisco, California

Computer Organization: Boolean Logic

Advanced Information Storage 02

Chapter 1. Introduction

Theory of Computation CS3102 Spring 2014 A tale of computers, math, problem solving, life, love and tragic death

History & Binary Representation

Metode şi Algoritmi de Planificare (MAP) Curs 2 Introducere în problematica planificării

ON THE QUATERNARY QUADRATIC DIOPHANTINE EQUATIONS (II) NICOLAE BRATU 1 ADINA CRETAN 2

Numbers and Arithmetic

COMPARATIVE DISCUSSION ABOUT THE DETERMINING METHODS OF THE STRESSES IN PLANE SLABS

Hakim Weatherspoon CS 3410 Computer Science Cornell University

Unit 8A Computer Organization. Boolean Logic and Gates

Arhitectura Sistemelor de Calcul Curs 1

Computer organization

The universal computer

A BRIEF HISTORY OF COMPUTING

The Mathematical Story. Computation: Christos H. Papadimitriou. UC Berkeley

O V E R V I E W. This study suggests grouping of numbers that do not divide the number

4 Switching Algebra 4.1 Axioms; Signals and Switching Algebra

Numbers and Arithmetic

COSC 243. Introduction to Logic And Combinatorial Logic. Lecture 4 - Introduction to Logic and Combinatorial Logic. COSC 243 (Computer Architecture)

Boolean Algebra & Digital Logic

Implementation of Boolean Logic by Digital Circuits

1. STRUCTURI SI ARHITECTURI DE CALCULATOARE NUMERICE

Liste. Stive. Cozi SD 2017/2018

A GENERALIZATION OF A CLASSICAL MONTE CARLO ALGORITHM TO ESTIMATE π

THE BEHAVIOUR OF ELASTOMERIC BEARINGS UNDER LOAD COMBINATIONS

UNIVERSITY OF BOLTON SCHOOL OF ENGINEERING BENG (HONS) ELECTRICAL & ELECTRONICS ENGINEERING EXAMINATION SEMESTER /2017

Digital Logic (2) Boolean Algebra

XI STANDARD [ COMPUTER SCIENCE ] 5 MARKS STUDY MATERIAL.

Information Storage and Spintronics 02

How The Journey Starts

Rezolvarea ecuaţiilor şi sistemelor de ecuaţii diferenţiale ordinare (II)

Gottfried Wilhelm Leibniz (1666)

Decidable Languages - relationship with other classes.

Ordin. pentru aprobarea structurii informaţiilor înscrise pe cardul naţional de asigurări sociale de sănătate

2.1 Computational Tractability

Building a Computer Adder

CS 135. Designing Functional Programs

Ce este logica? Aristotel (IV î.e.n.) Gottfried Wilhelm Leibniz ( ) Visul lui Leibniz. raţionament

Anul I, Semestrul I 2017/2018

From Sequential Circuits to Real Computers

Modelling the Steady State Characteristic of ph Neutralization Process: a Neuro-Fuzzy Approach

ATTENUATION OF THE ACOUSTIC SCREENS IN CLOSED SPACES

PRELUCRARI PE IMAGINI BINARE (ALB/NEGRU)

Chapter 01: Introduction. Lesson 01 Evolution Computers Part 1: Mechanical Systems, Babbage method of Finite Difference Engine and Turing Hypothesis

ASPECTS REGARDING NUMERICAL MODELING OF INDUCTIVE HEATING PROCESS FOR LOW VOLTAGE ELECTRICAL CABLES

ASSC = Automatic Sequence-Controlled Calculator (= Harvard Mark I) Howard Aitken, 1943

. T SHREE MAHAPRABHU PUBLIC SCHOOL & COLLEGE NOTES FOR BOARD EXAMINATION SUBJECT COMPUTER SCIENCE (Code: 083) Boolean Algebra

$IfNot ParametricTable= P_ratio_gas. P ratio,gas = 14; Raport comprimare compresor aer - Pressure ratio for gas compressor (2) $EndIf

Lecture 10: Synchronous Sequential Circuits Design

Gates and Logic: From switches to Transistors, Logic Gates and Logic Circuits

EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits)

MATEMATICĂ 3 PROBLEME DE REFLECŢIE

Group 4 Project. James Earthman, Gregg Greenleaf, Zach Harvey, Zac Leids

Fundamentals of Digital Design

Computer Science. 19. Combinational Circuits. Computer Science COMPUTER SCIENCE. Section 6.1.

Gates and Logic: From Transistors to Logic Gates and Logic Circuits

THE LOGIC OF COMPOUND STATEMENTS

Boolean algebra. Examples of these individual laws of Boolean, rules and theorems for Boolean algebra are given in the following table.

MACHINE COMPUTING. the limitations

Boolean Algebra, Gates and Circuits

Reactoare chimice cu curgere piston (ideala) cu amestecare completa de tip batch (autoclava)

Lecture 24. A Brief History of Computer Science (with thanks to Prabhakar Ragde) CS125 Course Notes Lecture 24, Slide 1

Chapter 2: Switching Algebra and Logic Circuits

Chapter 1 :: From Zero to One

Appendix A: Digital Logic. Principles of Computer Architecture. Principles of Computer Architecture by M. Murdocca and V. Heuring

Models. Models of Computation, Turing Machines, and the Limits of Turing Computation. Effective Calculability. Motivation for Models of Computation

Inteligenta Artificiala

Conjectures and proof. Book page 24-30

NAME Activity Circuit Simplification: Boolean Algebra

Semantic tree method historical perspective and applications

From Sequential Circuits to Real Computers

Outline. EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) Combinational Logic (CL) Defined

Self-reproducing programs. And Introduction to logic. COS 116, Spring 2012 Adam Finkelstein

Proiectarea cu Micro-Procesoare

lecture 3 Informatics luis rocha 2017 I501 introduction to informatics INDIANA UNIVERSITY

Cele mai relevante lucrari publicate ulterior conferirii titlului de doctor

Z = F(X) Combinational circuit. A combinational circuit can be specified either by a truth table. Truth Table

What is a Computer? computer: anything that is able to take a mathematically

Transcription:

Arhitectura sistemelor de calcul - Prelegerea 1 - Evoluția sistemelor de calcul Ruxandra F. Olimid Facultatea de Matematică şi Informatică Universitatea din Bucureşti

Cuprins 1. Istoricul evolutiei calculatoarelor 2. Notiuni primare 1. Sistemul binar 2. Logica booleană 3. Masina Turing 4. Testul Turing 5. Arhitectura von Neumann 2/22

Blaise Pascal (1623 1662) Matematician, fizician, inventator, filozof francez Ȋn 1642 inventează Pascaline, un calculator mecanic care poate să adune şi să scadă 2 numere Limbajul de programare Pascal îi poartă numele 3/22

Gottfried Wilhelm von Leibniz (1646-1716) Matematician, filozof german A introdus forma actuală a sistemului binar [info], care foloseşte simbolurile 0 şi 1 http://www.leibniz-translations.com/binary.htm Inventează prima masină mecanică de calcul care poate realiza toate cele 4 operații (adunare, scădere, înmulțire, împărțire) 4/22

George Boole (1815 1864) Matematician, filozof, logician englez A introdus logica booleană [info], [The Mathematical Analysis of Logic (1847)] [An Investigation of the Laws of Thought (1854)] 5/22

Charles Babbage (1791-1871) crypto Matematician, filozof, inventator englez Proiectează (teoretic) Mașina diferențială nr. 2 (The analytical engine no.2), prima mașină de calcul care permite programarea [The Code Book, Simon Singh] [Babbage (2008) 15 ] 6/22

Ada Lovelace (1815-1852) Scrie primul algoritm, pentru The analytical engine [care calculeaza numerele Bernoulli] Este considerată primul programator! 7/22

Konrad Zuse (1910-1995) Inginer, inventator german A introdus o serie de calculatoare: Z1, Z2, Z3, Z4 Z3 (1936): Primul calculator funcțional programabil Secvența de instrucțiuni stocată pe bandă Introduce reprezentarea binară Introduce reprezentarea in virgulă mobilă Instrucțiuni cu o adresă (operație, operand) 8/22

Alan Turing (1912-1954) crypto Matematician, informatician, criptanalist, logician englez [Enigma (2001), The Imitation Game (2014)] A introdus conceptul de Masină Turing (1936) [info] A introdus Testul Turing [info] 9/22

John von Neumann (1903-1957) Matematician, fizician, inventator ungur-american ENIAC (Electronic Numerical Integrator And Computer) este primul calculator electronic (folosit în război, anuntat public în 1946) EDVAC (Electronic Discrete Variable Automatic Computer) îmbunătăteste ENIAC, este binar și foloseste programe stocate (John Mauchly, J. Presper Ecker, 1944) Raportul EDVAC (1945), introduce: Arhitectura von Neumann [info] Conceptul de variabilă Noțiunea de flux secvential (PC = Program Counter) 10/22

Mai multe informații... [Excluse sursele deja menționate în slide-urile anterioare] Raj Reddy Prezentare la HLF 2013 [ACM Turing Award, 1994] http://www.heidelberg-laureate-forum.org/blog/video/monday-september-23-raj-reddy/ W.Daniel Hillis, Mașina care gândește Cum funcționează calculatoarele 11/22

Sistemul binar Orice număr poate fi reprezentat printr-o secvență de biți (bit = binary digit) Sistemul de numerație binar foloseste 2 simboluri: 0 și 1 Aplicații: Circuite digitale (prezența / absența curentului) Stocare (orientarea magnetică) Stocare în regiştrii fizici Reprezentare (biți) 1 0 1 0 1 1 0 12/22

Sistemul binar Transformarea din zecimal in binar 16 (2 4 ) 8 (2 3 ) 4 (2 2 ) 2 (2 1 ) 1 (2 0 ) 23 = 16 +4 +2 +1 1 0 1 1 1 10 = +8 +2 1 0 1 0 Transformarea din binar in zecimal 16 (2 4 ) 8 (2 3 ) 4 (2 2 ) 2 (2 1 ) 1 (2 0 ) 1 1 0 0 1 25 = 16 +8 +1 [De multe ori o să avem nevoie de reprezentare pe un număr fix de biti (ex.: 5 sau 32)] 13/22

Sistemul hexazecimal Sistemul de numerație hexazecimal foloseste 16 simboluri: 0 9 și A F Folosit la: Reprezentarea datelor (din memorie sau din regiștrii) Reprezentarea instrucțiunilor Reprezentarea adreselor de memorie 0x014B4820 14/22

Sistemul hexazecimal Transformarea din zecimal in hexazecimal 256 (16 2 ) 16 (16 1 ) 1 (16 0 ) 23 = +1x16 +7x1 0 1 7 => 23 = 0x17 162 = +10x16 +2x1 0 A 2 => 162 = 0xA2 Transformarea din hexazecimal in zecimal 256 (16 2 ) 16 (16 1 ) 1 (16 0 ) 32 10 => 0x2A=42 0x2A = +2x16 +1x10 [De multe ori o să avem nevoie de reprezentare pe un număr fix de cifre hexa (ex.: 4 sau 8)] 15/22

Sistemul hexazecimal Hexa Dec Bin 0 0 0000 1 1 0001 2 2 0010 3 3 0011 4 4 0100 5 5 0101 6 6 0110 7 7 0111 Hexa Dec Bin 8 8 1000 9 9 1001 A 10 1011 B 11 1010 C 12 1100 D 13 1101 E 14 1110 F 15 1111 Unde e greşeala? 16/22

Sistemul hexazecimal Hexa Dec Bin 0 0 0000 1 1 0001 2 2 0010 3 3 0011 4 4 0100 5 5 0101 6 6 0110 7 7 0111 Hexa Dec Bin 8 8 1000 9 9 1001 A 10 1010 B 11 1011 C 12 1100 D 13 1101 E 14 1110 F 15 1111 17/22

Sistemul hexazecimal Transformarea din hexazecimal in binar 0x 0 1 4 B 0000 0001 0100 1011 Transformarea din binar in hexazecimal 0100 1000 0010 0000 0x 4 8 2 0 0x014B4820 = 0000 0001 0100 1011 0100 1000 0010 0000 [inapoi] 18/22

Logica booleană Logică cu 2 valori de adevăr: True (1) si False (0) Operații în logica booleană: P NOT P P Q P AND Q P Q P OR Q P Q P XOR Q 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 NOT (negația) AND (conjuncția) OR (disjuncția) XOR (disjuncția exclusivă) [inapoi] 19/22

Mașina Turing Introdusă în 1936, ca un model teoretic capabil să implementeze orice algoritm Părți componente: O multime de stări O multime de simboluri (0 si 1) O bandă de memorie secventială si infinită Un cap de citire / scriere Capul de citire scriere citește un simbol și în funcție de stare și de simbolul citit, poate să: Scrie altceva pe banda de memorie Treacă într-o altă stare Mute capul de citire/scriere YouTube Video: Turing Machines Explained - Computerphile [link] [inapoi] 20/22

Turing Test Introdus în Computing Machinery and Intelligence (1950) ["I propose to consider the question, 'Can machines think?'" ] ["Are there imaginable digital computers which would do well in the imitation game? ] Testează abilitatea unui calculator de a se diferenția de o persoană umană CAPTCHA [inapoi] 21/22

Arhitectura von Neumann vs. Arhitectura Harvard Arhitectura von Neumann prezintă o singură memorie pentru date și instrucțiuni Arhitectura Harvard prezintă memorii diferite pentru date și instrucțiuni CPU CPU Memoria de date Segment de date Memoria de program Segment de program [inapoi] Arhitectura Harvard Arhitectura Von Neumann 22/22