Computation Engineering Applied Automata Theory and Logic

Many Computation Engineering textbooks emphasize automata theory only, not logic, losing a the opportunity to tie these subjects together and reinforce learning. This textbook ties theory and logic together, using interactive tools, such as simple BDD and SAT tools. By providing a blend of theory an...

Full description

Saved in:
Bibliographic Details
Main Author Gopalakrishnan, Ganesh
Format eBook Book
LanguageEnglish
Published Netherlands Springer Nature 2006
Springer
Springer US
Edition1
Subjects
Circuits and Systems
Computer logic
Computer Science
Data processing Computer science
Electrical Engineering
Machine theory
Mathematical Logic and Formal Languages
Mathematics
Theory of Computation
Online AccessGet full text
ISBN0387325204
9780387325200
0387244182
9780387244181
1441937412
9781441937414
DOI10.1007/0-387-32520-4

Cover

Abstract Many Computation Engineering textbooks emphasize automata theory only, not logic, losing a the opportunity to tie these subjects together and reinforce learning. This textbook ties theory and logic together, using interactive tools, such as simple BDD and SAT tools. By providing a blend of theory and practical applications the material is presented as both inviting and current. Key concepts are illustrated in multiple domains so that information is reinforced and students can begin to tie theory and logic together.
AbstractList Many Computation Engineering textbooks emphasize automata theory only, not logic, losing a the opportunity to tie these subjects together and reinforce learning. This textbook ties theory and logic together, using interactive tools, such as simple BDD and SAT tools. By providing a blend of theory and practical applications the material is presented as both inviting and current. Key concepts are illustrated in multiple domains so that information is reinforced and students can begin to tie theory and logic together.
The computer hardware and software industry is committed to using formal methods. As a result, it is crucial that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge. Yet many textbooks typically emphasize automata theory only, not logic, thus losing a valuable opportunity to tie these subjects together and reinforce learning. In fact, automata theory and logic evolved hand-in-hand, yet this connection was severed in the '70s as separate automata-theory and logic courses became possible. Now, with computer science departments suffering from overcrowded syllabi, it is often possible for undergraduates to get a BS without having had to take a course in mathematical logic! Today's students want to know how knowledge can work for them -- learning theory as a tool is preferable to learning theory for theory's sake. To prove that theoretical tenents are not only applicable, but also necessary and relevant, useful examples must be presented. This textbook uses interactive tools throughout, such as simple BDD and SAT tools. By providing a blend of theory and practical applications the material is shown to be both inviting and current.Topics are also illustrated inmultiple domains so that information is reinforced and students can begin to tie theory and logic together. Having used this book, students will not only know and understand automata theory, but also be able to applytheir knowledge in real practice.
Author Gopalakrishnan, Ganesh
Author_xml – sequence: 1
  fullname: Gopalakrishnan, Ganesh
BackLink https://cir.nii.ac.jp/crid/1130000794356112128$$DView record in CiNii
BookMark eNqN0E1LxDAQBuCIH-iqR_EqIohIdWbSJM1Rl_UDBC_iNcQ2Xas1WZuqf990K-LRHBJeeBgy74St-eAdY3sIZwigziHjhco4CYIsX2ETSHGZ8tW_YZ1NCEBqAgm0wbYItE5R5ZtsN8YXSIejVKLYYvvT8Lb46G3fBH8w8_PGO9c1fr7D1mvbRrf7826zx6vZw_Qmu7u_vp1e3GVWoNYyq0pOpXXKlaKqhaifVM51jbKgEnNJVWFJF6UlcgJdxSvUHLUgFA6cEnXOt9nJONjGV_cVn0PbR_PZuqcQXqPRqvhdC5I9HW1cDH90nRkVghnqMWCSNUtshsnHo1504f3Dxd4sh5bO951tzexyKjmmHvg_JAdJXOgkj0bpm8aUzXAj8qFQpXMuJCIhFYkdjqy00baJmbfgw7yzi-doBM8JlebfSZuBVg
ContentType eBook
Book
Copyright Springer Science+Business Media LLC 2006
Copyright_xml – notice: Springer Science+Business Media LLC 2006
DBID I4C
RYH
DEWEY 004.01/51
DOI 10.1007/0-387-32520-4
DatabaseName Casalini Torrossa eBooks Institutional Catalogue
CiNii Complete
DatabaseTitleList

DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
Engineering
Mathematics
EISBN 0387325204
9780387325200
Edition 1
ExternalDocumentID 9780387325200
108122
EBC6313163
EBC3062359
BA78650653
5342179
GroupedDBID -T.
0D6
0DA
0E8
AABBV
AABHS
AAJYQ
AATVQ
ABBUY
ABCYT
ABMNI
ACEIG
ACGGC
ADVHH
AEHEY
AEJLV
AEKFX
AERVC
AETDV
AEZAY
AHMWK
ALMA_UNASSIGNED_HOLDINGS
ATJMZ
BBABE
E6I
I4C
IEZ
LVV
NUG
SBO
TPJZQ
Z7R
Z7U
Z7X
Z7Z
Z81
Z83
Z84
Z85
Z88
ACDTA
ACDUY
AHNNE
RYH
089
38.
A4J
AZZ
JJU
-7M
-7O
-BG
NUC
SAO
Z5O
Z7W
Z7Y
Z87
Z8R
Z8W
Z92
ID FETCH-LOGICAL-a51996-dc32cae7ec5df55fb7439f1682c1462d8a298ca22e51ed3d193195215e0e75f43
ISBN 0387325204
9780387325200
0387244182
9780387244181
1441937412
9781441937414
IngestDate Fri Nov 08 04:29:05 EST 2024
Tue Jul 29 19:58:35 EDT 2025
Thu Apr 10 07:59:55 EDT 2025
Tue Mar 04 07:16:09 EST 2025
Fri Jun 27 00:44:29 EDT 2025
Wed Jun 18 05:43:44 EDT 2025
IsPeerReviewed false
IsScholarly false
LCCN 2006920602
LCCallNum_Ident Q
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-a51996-dc32cae7ec5df55fb7439f1682c1462d8a298ca22e51ed3d193195215e0e75f43
Notes Includes bibliographical references (p. [453]-460) and index
OCLC 209906974
PQID EBC3062359
PageCount 492
ParticipantIDs askewsholts_vlebooks_9780387325200
springer_books_10_1007_0_387_32520_4
proquest_ebookcentral_EBC6313163
proquest_ebookcentral_EBC3062359
nii_cinii_1130000794356112128
casalini_monographs_5342179
PublicationCentury 2000
PublicationDate 2006
c2006
2006-07-15
PublicationDateYYYYMMDD 2006-01-01
2006-07-15
PublicationDate_xml – year: 2006
  text: 2006
PublicationDecade 2000
PublicationPlace Netherlands
PublicationPlace_xml – name: Netherlands
– name: New York
– name: Boston
– name: New York, NY
– name: Boston, MA
PublicationYear 2006
Publisher Springer Nature
Springer
Springer US
Publisher_xml – name: Springer Nature
– name: Springer
– name: Springer US
SSID ssj0000316758
ssj0000768935
Score 1.881599
Snippet Many Computation Engineering textbooks emphasize automata theory only, not logic, losing a the opportunity to tie these subjects together and reinforce...
The computer hardware and software industry is committed to using formal methods. As a result, it is crucial that students who take automata theory and logic...
SourceID askewsholts
springer
proquest
nii
casalini
SourceType Aggregation Database
Publisher
SubjectTerms Circuits and Systems
Computer logic
Computer Science
Data processing Computer science
Electrical Engineering
Machine theory
Mathematical Logic and Formal Languages
Mathematics
Theory of Computation
Subtitle Applied Automata Theory and Logic
TableOfContents Intro -- Contents -- List of Figures -- Foreword -- Preface -- 1 Introduction -- 2 Mathematical Preliminaries -- 3 Cardinalities and Diagonalization -- 4 Binary Relations -- 5 Mathematical Logic, Induction, Proofs -- 6 Dealing with Recursion -- 7 Strings and Languages -- 8 Machines, Languages, DFA -- 9 NFA and Regular Expressions -- 10 Operations on Regular Machinery -- 11 The Automaton/Logic Connection, Symbolic Techniques -- 12 The 'Pumping' Lemma -- 13 Context-free Languages -- 14 Push-down Automata and Context-free Grammars -- 15 Turing Machines -- 16 Basic Undecidability Proofs -- 17 Advanced Undecidability Proofs -- 18 Basic Notions in Logic including SAT -- 19 Complexity Theory and NP-Completeness -- 20 DFA for Presburger Arithmetic -- 21 Model Checking: Basics -- 22 Model Checking: Temporal Logics -- 23 Model Checking: Algorithms -- 24 Conclusions -- A Book web site and tool information -- B BED Solution to the tic-tac-toe problem -- References -- Index
Title Computation Engineering
URI http://digital.casalini.it/9780387325200
https://cir.nii.ac.jp/crid/1130000794356112128
https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=3062359
https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=6313163
http://link.springer.com/10.1007/0-387-32520-4
https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9780387325200
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1Lb9QwEB5B98JeKOUV2qIV6jUo8SO7OUK1paoop1L1Zjm2I1atthJZOPDr-ew42aSgVnCx4shynBlr_I3nRXRU1lIwI03KmLFQUCqZaquz1BhTWy0KWxh_33H-pTj9Ks6u5NXWvStEl2yq9-bXX-NK_oereAe--ijZf-BsPyle4Bn8RQsOo70DfvtuzCkQajG0vBtkFOydaaAJ3-hrXzw-lh_-pCHSvt2r4ndXfCPVz5udOZNtns8_BWHr-9Cmzg3DYizNOLf08uMxVAbGZfmYJkwUDHJh8mF59vmyv6fKfKh8tJyGPvSTkssQIyeA_oBIWJc6K_ZFzGXqQxRHK5jSVDfXEN4Q7JvGIwHdaB8AioN9vVqNQP4du3Q47i92aeJ8DMgzeuTWe_S0q3wxi4Jwj6YDoqN33ue-bZ7TqwFzZoNxL-jyZHlxfJrG8hOplsE32xrOjHZzZ6Stpawrr7zVebFgBucLswvNyoXRjDmZO8st_j4vAYeky9xc1oK_pJ317dq9ppm2TPpRdW6MgAoKOlVQTY2r5hmm1Qm9G1BG_bwJpvJGjRid0H5HMIWd3KY0b5TkAnplmdAhaKjMyre5t1KC_iXQcAFIDRSS0KyjrgqzR-9ftd0E9w0peI6dwBM66hij2iV2ea8zhYWqsFIl3jz8sX16st3rB7Sz-f7DHQLgbaq3cQ_-Bo2rQrg
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Computation+Engineering&rft.au=Gopalakrishnan%2C+Ganesh&rft.date=2006-01-01&rft.pub=Springer&rft.isbn=9780387325200&rft_id=info:doi/10.1007%2F0-387-32520-4&rft.externalDocID=EBC3062359
thumbnail_m http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97803873%2F9780387325200.jpg
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fmedia.springernature.com%2Fw306%2Fspringer-static%2Fcover-hires%2Fbook%2F978-0-387-32520-0