万能コンピュータ : ライプニッツからチューリングへの道すじ
Saved in:
| Title: | 万能コンピュータ : ライプニッツからチューリングへの道すじ |
|---|---|
| Description: | コンピュータ前史 ライプニッツからチューリングに至る数理論理学の系譜は，コンピュータの理論的バックボーンを形成しAIの登場までも予見している。代数の記号表現を通じて人間の思考の範囲すべてを包括するような記号体系の構築に献身したロジシャンたちの苦闘を，時代背景を取り込みながら解説する。さらに本書を構成する7人のロジシャンたちを，豊富なエピソードをもとにその人となりを描写する。 また，本文に取り込むと冗長になりすぎる数学的解説は，原註に取り込むことで半独立的な構成としている。 比較的平易に書かれているので，コンピュータロジックの成り立ちに関心のある高校生以上の読者や，人工知能のロジックの成り立ちに関心のある読者にも必携の書である。 |
| Authors: | Davis, Martin, 沼田寬 |
| Resource Type: | eBook. |
| Subjects: | Electronic digital computers--History |
| Categories: | COMPUTERS / Information Technology, COMPUTERS / Computer Literacy, COMPUTERS / Computer Science, COMPUTERS / Data Science / General, COMPUTERS / Machine Theory, COMPUTERS / Reference, COMPUTERS / Hardware / General |
| Database: | eBook Collection (EBSCOhost) |
| FullText | Links: – Type: ebook-pdf Text: Availability: 0 |
|---|---|
| Header | DbId: nlebk DbLabel: eBook Collection (EBSCOhost) An: 1482180 RelevancyScore: 1070 AccessLevel: 6 PubType: eBook PubTypeId: ebook PreciseRelevancyScore: 1070.4580078125 |
| IllustrationInfo | |
| ImageInfo | – Size: thumb Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$1482180$PDF&s=r – Size: medium Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$1482180$PDF&s=d |
| Items | – Name: Title Label: Title Group: Ti Data: 万能コンピュータ : ライプニッツからチューリングへの道すじ – Name: Abstract Label: Description Group: Ab Data: コンピュータ前史 ライプニッツからチューリングに至る数理論理学の系譜は，コンピュータの理論的バックボーンを形成しAIの登場までも予見している。代数の記号表現を通じて人間の思考の範囲すべてを包括するような記号体系の構築に献身したロジシャンたちの苦闘を，時代背景を取り込みながら解説する。さらに本書を構成する7人のロジシャンたちを，豊富なエピソードをもとにその人となりを描写する。 また，本文に取り込むと冗長になりすぎる数学的解説は，原註に取り込むことで半独立的な構成としている。 比較的平易に書かれているので，コンピュータロジックの成り立ちに関心のある高校生以上の読者や，人工知能のロジックの成り立ちに関心のある読者にも必携の書である。 – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Davis%2C+Martin%22">Davis, Martin</searchLink><br /><searchLink fieldCode="AR" term="%22沼田寬%22">沼田寬</searchLink> – Name: TypePub Label: Resource Type Group: TypPub Data: eBook. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Electronic+digital+computers--History%22">Electronic digital computers--History</searchLink> – Name: SubjectBISAC Label: Categories Group: Su Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Information+Technology%22">COMPUTERS / Information Technology</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Literacy%22">COMPUTERS / Computer Literacy</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Science%22">COMPUTERS / Computer Science</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Data+Science+%2F+General%22">COMPUTERS / Data Science / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Machine+Theory%22">COMPUTERS / Machine Theory</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Reference%22">COMPUTERS / Reference</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Hardware+%2F+General%22">COMPUTERS / Hardware / General</searchLink> |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=1482180 |
| RecordInfo | BibRecord: BibEntity: Classifications: – Code: 004 Scheme: ddc Type: prePub Languages: – Code: jpn Text: Japanese Subjects: – SubjectFull: Electronic digital computers--History Type: general Titles: – TitleFull: 万能コンピュータ : ライプニッツからチューリングへの道すじ Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Davis, Martin – PersonEntity: Name: NameFull: 沼田寬 – PersonEntity: Name: NameFull: Davis, Martin – PersonEntity: Name: NameFull: 沼田寬 IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2016 – D: 09 M: 03 Type: profile Y: 2017 Identifiers: – Type: isbn-print Value: 9784764904712 – Type: isbn-electronic Value: 9784764971028 Titles: – TitleFull: 万能コンピュータ : ライプニッツからチューリングへの道すじ Type: main |
| ResultId | 1 |
