skip to content
Computation engineering : applied automata theory and logic Preview this item
ClosePreview this item
Checking...

Computation engineering : applied automata theory and logic

Author: Ganesh Lalitha Gopalakrishnan
Publisher: New York, NY : Springer, 2006.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Ties theory and logic together, using interactive tools, such as simple BDD and SAT tools. This title includes key concepts that are illustrated in multiple domains so that information is reinforced  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Lehrbuch
0 Gesamtdarstellung
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Ganesh Lalitha Gopalakrishnan
ISBN: 0387244182 9780387244181
OCLC Number: 254898299
Description: XXXV, 471 Seiten : Diagramme
Contents: Mathematical Preliminaries.- Cardinalities and Diagonalization.- Binary Relations.- Mathematical Logic, Induction, Proofs.- Dealing with Recursion.- Strings and Languages.- Machines, Languages, DFA.- NFA and Regular Expressions.- Operations on Regular Machinery.- The Automaton/Logic Connection, Symbolic Techniques.- The `Pumping' Lemma.- Context-free Languages.- Push-down Automata and Context-free Grammars.- Turing Machines.- Basic Undecidability Proofs.- Advanced Undecidability Proofs.- Basic Notions in Logic including SAT.- Complexity Theory and NP-Completeness.- DFA for Presburger Arithmetic.- Model Checking: Basics.- Model Checking: Temporal Logics.- Model Checking: Algorithms.- Conclusions.
Responsibility: Ganesh Gopalakrishnan.
More information:

Reviews

Editorial reviews

Publisher Synopsis

From the reviews:"One of the constant challenges faced by computer science faculty is how to tie in the theory of computing with applications. This text attempts to do just that ... . Overall, this Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/254898299> # Computation engineering : applied automata theory and logic
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "254898299" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/854805843#Place/new_york_ny> ; # New York, NY
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/854805843#Topic/komplexitatstheorie_swd_id_41205911> ; # Komplexitätstheorie ; SWD-ID: 41205911
    schema:about <http://id.loc.gov/authorities/subjects/sh85042295> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/854805843#Topic/rekursion_swd_id_41918149> ; # Rekursion ; SWD-ID: 41918149
    schema:about <http://experiment.worldcat.org/entity/work/data/854805843#Topic/turing_maschine> ; # Turing-Maschine
    schema:about <http://experiment.worldcat.org/entity/work/data/854805843#Topic/komplexitatstheorie> ; # Komplexitätstheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/854805843#Topic/turing_maschine_swd_id_42035259> ; # Turing-Maschine ; SWD-ID: 42035259
    schema:about <http://dewey.info/class/004.0151/> ;
    schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/854805843#Topic/mathematische_logik_swd_id_40379516> ; # Mathematische Logik ; SWD-ID: 40379516
    schema:about <http://experiment.worldcat.org/entity/work/data/854805843#Topic/automatentheorie_swd_id_40039535> ; # Automatentheorie ; SWD-ID: 40039535
    schema:about <http://experiment.worldcat.org/entity/work/data/854805843#Topic/np_vollstandiges_problem_swd_id_41382298> ; # NP-vollständiges Problem ; SWD-ID: 41382298
    schema:about <http://experiment.worldcat.org/entity/work/data/854805843#Topic/automatentheorie> ; # Automatentheorie
    schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/854805843#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/854805843#Topic/lehrbuch> ; # Lehrbuch
    schema:about <http://experiment.worldcat.org/entity/work/data/854805843#Topic/np_vollstandiges_problem> ; # NP-vollständiges Problem
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/18059674> ; # Ganesh Lalitha Gopalakrishnan
    schema:datePublished "2006" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/854805843> ;
    schema:genre "Lehrbuch" ;
    schema:inLanguage "en" ;
    schema:name "Computation engineering : applied automata theory and logic" ;
    schema:productID "254898299" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/254898299#PublicationEvent/new_york_ny_springer_2006> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/854805843#Agent/springer> ; # Springer
    schema:url <http://www.gbv.de/dms/goettingen/504871196.pdf> ;
    schema:url <https://doi.org/10.1007/0-387-32520-4> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0819/2006920602-t.html> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0663/2006920602-d.html> ;
    schema:url <http://deposit.ddb.de/cgi-bin/dokserv?id=2738013&prov=M&dok_var=1&dok_ext=htm> ;
    schema:workExample <http://worldcat.org/isbn/9780387244181> ;
    umbel:isLike <http://d-nb.info/977467961> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/254898299> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/854805843#Topic/automatentheorie> # Automatentheorie
    a schema:Intangible ;
    schema:name "Automatentheorie" ;
    .

<http://experiment.worldcat.org/entity/work/data/854805843#Topic/automatentheorie_swd_id_40039535> # Automatentheorie ; SWD-ID: 40039535
    a schema:Intangible ;
    schema:name "Automatentheorie ; SWD-ID: 40039535" ;
    .

<http://experiment.worldcat.org/entity/work/data/854805843#Topic/komplexitatstheorie> # Komplexitätstheorie
    a schema:Intangible ;
    schema:name "Komplexitätstheorie" ;
    .

<http://experiment.worldcat.org/entity/work/data/854805843#Topic/komplexitatstheorie_swd_id_41205911> # Komplexitätstheorie ; SWD-ID: 41205911
    a schema:Intangible ;
    schema:name "Komplexitätstheorie ; SWD-ID: 41205911" ;
    .

<http://experiment.worldcat.org/entity/work/data/854805843#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik" ;
    .

<http://experiment.worldcat.org/entity/work/data/854805843#Topic/mathematische_logik_swd_id_40379516> # Mathematische Logik ; SWD-ID: 40379516
    a schema:Intangible ;
    schema:name "Mathematische Logik ; SWD-ID: 40379516" ;
    .

<http://experiment.worldcat.org/entity/work/data/854805843#Topic/np_vollstandiges_problem> # NP-vollständiges Problem
    a schema:Intangible ;
    schema:name "NP-vollständiges Problem" ;
    .

<http://experiment.worldcat.org/entity/work/data/854805843#Topic/np_vollstandiges_problem_swd_id_41382298> # NP-vollständiges Problem ; SWD-ID: 41382298
    a schema:Intangible ;
    schema:name "NP-vollständiges Problem ; SWD-ID: 41382298" ;
    .

<http://experiment.worldcat.org/entity/work/data/854805843#Topic/rekursion_swd_id_41918149> # Rekursion ; SWD-ID: 41918149
    a schema:Intangible ;
    schema:name "Rekursion ; SWD-ID: 41918149" ;
    .

<http://experiment.worldcat.org/entity/work/data/854805843#Topic/turing_maschine_swd_id_42035259> # Turing-Maschine ; SWD-ID: 42035259
    a schema:Intangible ;
    schema:name "Turing-Maschine ; SWD-ID: 42035259" ;
    .

<http://id.loc.gov/authorities/subjects/sh85042295> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics" ;
    .

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

<http://id.worldcat.org/fast/872265> # Computer logic
    a schema:Intangible ;
    schema:name "Computer logic" ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics" ;
    .

<http://viaf.org/viaf/18059674> # Ganesh Lalitha Gopalakrishnan
    a schema:Person ;
    schema:familyName "Gopalakrishnan" ;
    schema:givenName "Ganesh Lalitha" ;
    schema:name "Ganesh Lalitha Gopalakrishnan" ;
    .

<http://worldcat.org/isbn/9780387244181>
    a schema:ProductModel ;
    schema:isbn "0387244182" ;
    schema:isbn "9780387244181" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.