가야대학교 분성도서관
주메뉴
자료검색
- Home
- 상세정보
상세정보
부가기능
Turing's vision : the birth of computer science /
상세 프로파일
| 자료유형 | E-Book |
|---|---|
| 개인저자 | Bernhardt, Chris, author. |
| 서명/저자사항 | Turing's vision :the birth of computer science /Chris Bernhardt. |
| 발행사항 | Cambridge, Massachusetts ; London, England : The MIT Press, [2016] |
| 형태사항 | 1 online resource (xvii, 189 pages) : illustrations |
| 소장본 주기 | Master record variable field(s) change: 600 |
| ISBN | 9780262333801 0262333805 9780262333818 0262333813 9780262333795 0262333791 |
| 서지주기 | Includes bibliographical references and index. |
| 내용주기 | Background -- Some undecidable decision problems -- Finite automata -- Turing machines -- Other systems for computation -- Encodings and the universal machine -- Undecidable problems -- Cantor's diagonalization arguments -- Turing's legacy. |
| 요약 | "In 1936, when he was just twenty-four years old, Alan Turing wrote a remarkable paper in which he outlined the theory of computation, laying out the ideas that underlie all modern computers. This groundbreaking and powerful theory now forms the basis of computer science. In Turing's Vision, Chris Bernhardt explains the theory, Turing's most important contribution, for the general reader. Bernhardt argues that the strength of Turing's theory is its simplicity, and that, explained in a straightforward manner, it is eminently understandable by the nonspecialist. As Marvin Minsky writes, 'The sheer simplicity of the theory's foundation and extraordinary short path from this foundation to its logical and surprising conclusions give the theory a mathematical beauty that alone guarantees it a permanent place in computer theory.' Bernhardt begins with the foundation and systematically builds to the surprising conclusions. He also views Turing's theory in the context of mathematical history, other views of computation (including those of Alonzo Church), Turing's later work, and the birth of the modern computer. In the paper, 'On Computable Numbers, with an Application to the Entscheidungsproblem, ' Turing thinks carefully about how humans perform computation, breaking it down into a sequence of steps, and then constructs theoretical machines capable of performing each step. Turing wanted to show that there were problems that were beyond any computer's ability to solve; in particular, he wanted to find a decision problem that he could prove was undecidable. To explain Turing's ideas, Bernhardt examines three well-known decision problems to explore the concept of undecidability; investigates theoretical computing machines, including Turing machines; explains universal machines; and proves that certain problems are undecidable, including Turing's problem concerning computable numbers."--Jacket. |
| 주제명(개인명) | Turing, Alan,1912-1954. Turing, Alan Mathison,1912-1954. -- fast -- Turing, Alan Mathison,1912-1954 -- gnd Turing, Alan Mathison,(1912-1954) -- ram |
| 일반주제명 | Computer engineering -- Great Britain -- History. Mathematicians -- Great Britain -- Biography. Computer algorithms -- History. BIOGRAPHY & AUTOBIOGRAPHY -- Science & Technology. MATHEMATICS -- Essays. MATHEMATICS -- Pre-Calculus. MATHEMATICS -- Reference. COMPUTERS -- History. Computer algorithms. Computer engineering. Mathematicians. Computer Datenverarbeitung Matematiker. Datavetenskap -- teori, filosofi. |
| 주제명(지명) | Great Britain. -- fast |
| 언어 | 영어 |
| 기타형태 저록 | Print version:Bernhardt, Chris.Turing's vision.Cambridge, Massachusetts ; London, England : The MIT Press, [2016]9780262034548 |
| 대출바로가기 | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1239109 |
소장정보
- 소장정보
인쇄
| No. | 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
|---|---|---|---|---|---|---|---|---|
| 1 | WE00013615 | 510.92 | 가야대학교/전자책서버(컴퓨터서버)/ | 대출가능 |
|
카피라이터
