컨텐츠로 이동
Elements of the theory of computation 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

Elements of the theory of computation

저자: Harry R Lewis; Christos H Papadimitriou
출판사: Englewood Cliffs, N.J. : Prentice-Hall, ©1981.
시리즈: Prentice-Hall software series.
판/형식:   Print book : 영어모든 판과 형식 보기
데이터베이스:WorldCat
요약:

A general, yet comprehensive, introduction to the classical and contemporary theory of computation.

평가:

(아무런 평가가 없습니다.) 0 리뷰와 함께 - 첫번째로 올려주세요.

주제
다음과 같습니다:

 

온라인으로 문서 찾기

이 항목에 대한 링크

도서관에서 사본 찾기

&AllPage.SpinnerRetrieving; 해당항목을 보유하고 있는 도서관을 찾는 중

상세정보

추가적인 물리적 형식: Online version:
Lewis, Harry R.
Elements of the theory of computation.
Englewood Cliffs, N.J. : Prentice-Hall, ©1981
(OCoLC)571519642
자료 유형: 인터넷 자료
문서 형식: 책, 인터넷 자원
모든 저자 / 참여자: Harry R Lewis; Christos H Papadimitriou
ISBN: 0132734176 9780132734172
OCLC 번호: 6707094
설명: xiv, 466 pages : illustrations ; 24 cm.
내용: Sets, relations, and languages --
Finite automata --
Context-free languages --
Turing machines --
Church's thesis --
Uncomputability --
Computational complexity --
The propositional calculus --
The predicate calculus.
일련 제목: Prentice-Hall software series.
책임: Harry R. Lewis, Christos H. Papadimitriou.

리뷰

사용자-기여 리뷰
GoodReads 리뷰 가져오는 중…
DOGObooks 리뷰를 가지고 오는 중…

태그

첫번째 되기
요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


Primary Entity

<http://www.worldcat.org/oclc/6707094> # Elements of the theory of computation
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "6707094" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/592873#Place/englewood_cliffs_n_j> ; # Englewood Cliffs, N.J.
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/automate_fini> ; # automate fini
   schema:about <http://dewey.info/class/001.535/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/these_church> ; # thèse Church
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_mathematique> ; # logique mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/complexite_de_calcul_informatique> ; # Complexité de calcul (informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/informatica> ; # Informatica
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_symbolique> ; # logique symbolique
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/fonctions_calculables> ; # Fonctions calculables
   schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/langage_algebrique> ; # langage algébrique
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/complexite_calcul> ; # complexité calcul
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/theorie_calcul> ; # théorie calcul
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/machine_turing> ; # machine Turing
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/calcul_propositionnel> ; # calcul propositionnel
   schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/langage_formel> ; # langage formel
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/calcul_predicat> ; # calcul prédicat
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/automatentheorie> ; # Automatentheorie
   schema:about <http://dewey.info/class/511/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, Théorie des
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/langages_formels> ; # Langages formels
   schema:author <http://experiment.worldcat.org/entity/work/data/592873#Person/papadimitriou_christos_h> ; # Christos H. Papadimitriou
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1981" ;
   schema:creator <http://viaf.org/viaf/44438248> ; # Harry R. Lewis
   schema:datePublished "1981" ;
   schema:description "Sets, relations, and languages -- Finite automata -- Context-free languages -- Turing machines -- Church's thesis -- Uncomputability -- Computational complexity -- The propositional calculus -- The predicate calculus."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/592873> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/592873#Series/prentice_hall_software_series> ; # Prentice-Hall software series.
   schema:isSimilarTo <http://www.worldcat.org/oclc/571519642> ;
   schema:name "Elements of the theory of computation"@en ;
   schema:productID "6707094" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/6707094#PublicationEvent/englewood_cliffs_n_j_prentice_hall_1981> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/592873#Agent/prentice_hall> ; # Prentice-Hall
   schema:url <http://www.gbv.de/dms/bowker/toc/9780132734172.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9780132734172> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/6707094> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/592873#Agent/prentice_hall> # Prentice-Hall
    a bgn:Agent ;
   schema:name "Prentice-Hall" ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Person/papadimitriou_christos_h> # Christos H. Papadimitriou
    a schema:Person ;
   schema:familyName "Papadimitriou" ;
   schema:givenName "Christos H." ;
   schema:name "Christos H. Papadimitriou" ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Place/englewood_cliffs_n_j> # Englewood Cliffs, N.J.
    a schema:Place ;
   schema:name "Englewood Cliffs, N.J." ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Series/prentice_hall_software_series> # Prentice-Hall software series.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/6707094> ; # Elements of the theory of computation
   schema:name "Prentice-Hall software series." ;
   schema:name "Prentice-Hall software series" ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/automates_mathematiques_theorie_des> # Automates mathématiques, Théorie des
    a schema:Intangible ;
   schema:name "Automates mathématiques, Théorie des"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/calcul_propositionnel> # calcul propositionnel
    a schema:Intangible ;
   schema:name "calcul propositionnel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/complexite_calcul> # complexité calcul
    a schema:Intangible ;
   schema:name "complexité calcul"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/complexite_de_calcul_informatique> # Complexité de calcul (informatique)
    a schema:Intangible ;
   schema:name "Complexité de calcul (informatique)"@en ;
   schema:name "Complexité de calcul (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/fonctions_calculables> # Fonctions calculables
    a schema:Intangible ;
   schema:name "Fonctions calculables"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/langage_algebrique> # langage algébrique
    a schema:Intangible ;
   schema:name "langage algébrique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/langages_formels> # Langages formels
    a schema:Intangible ;
   schema:name "Langages formels"@en ;
   schema:name "Langages formels"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_mathematique> # logique mathématique
    a schema:Intangible ;
   schema:name "logique mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_symbolique> # logique symbolique
    a schema:Intangible ;
   schema:name "logique symbolique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@en ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
   schema:name "Machine theory"@en ;
    .

<http://id.worldcat.org/fast/871991> # Computational complexity
    a schema:Intangible ;
   schema:name "Computational complexity"@en ;
    .

<http://id.worldcat.org/fast/932922> # Formal languages
    a schema:Intangible ;
   schema:name "Formal languages"@en ;
    .

<http://viaf.org/viaf/44438248> # Harry R. Lewis
    a schema:Person ;
   schema:familyName "Lewis" ;
   schema:givenName "Harry R." ;
   schema:name "Harry R. Lewis" ;
    .

<http://worldcat.org/isbn/9780132734172>
    a schema:ProductModel ;
   schema:isbn "0132734176" ;
   schema:isbn "9780132734172" ;
    .

<http://www.worldcat.org/oclc/571519642>
    a schema:CreativeWork ;
   rdfs:label "Elements of the theory of computation." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/6707094> ; # Elements of the theory of computation
    .


Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.