컨텐츠로 이동
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.
판/형식:   인쇄본 : 영어모든 판과 형식 보기
요약:

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/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    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/formal_languages> ; # Formal languages
    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://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://experiment.worldcat.org/entity/work/data/592873#Topic/langage_formel> ; # langage formel
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/computational_complexity> ; # Computational complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/machine_theory> ; # 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/automatentheorie> # Automatentheorie
    a schema:Intangible ;
    schema:name "Automatentheorie"@en ;
    .

<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_predicat> # calcul prédicat
    a schema:Intangible ;
    schema:name "calcul prédicat"@en ;
    .

<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/computational_complexity> # Computational complexity
    a schema:Intangible ;
    schema:name "Computational complexity"@en ;
    .

<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/formal_languages> # Formal languages
    a schema:Intangible ;
    schema:name "Formal languages"@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/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<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://experiment.worldcat.org/entity/work/data/592873#Topic/theorie_calcul> # théorie calcul
    a schema:Intangible ;
    schema:name "théorie calcul"@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에 로그인 하십시오 

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