Logic and language models for computer science:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New Jersey
World Scientific
[2018
|
| Ausgabe: | Third edition |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes index |
| Beschreibung: | xv, 451 Seiten 23 cm |
| ISBN: | 9789813230507 9789813229204 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV044862750 | ||
| 003 | DE-604 | ||
| 005 | 20180329 | ||
| 007 | t | ||
| 008 | 180312s2018 |||| 00||| eng d | ||
| 020 | |a 9789813230507 |c pbk |9 978-981-3230-50-7 | ||
| 020 | |a 9789813229204 |c hc |9 978-981-3229-2-04 | ||
| 035 | |a (OCoLC)1031044302 | ||
| 035 | |a (DE-599)BVBBV044862750 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-739 | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 100 | 1 | |a Richards, Dana S. |d 1955- |e Verfasser |0 (DE-588)172481309 |4 aut | |
| 245 | 1 | 0 | |a Logic and language models for computer science |c Dana Richards, Henry Hamburger |
| 250 | |a Third edition | ||
| 264 | 1 | |a New Jersey |b World Scientific |c [2018 | |
| 264 | 4 | |c © 2018 | |
| 300 | |a xv, 451 Seiten |c 23 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes index | ||
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 653 | 0 | |a Formal languages | |
| 653 | 0 | |a Description logics | |
| 653 | 0 | |a Artificial intelligence | |
| 653 | 0 | |a Artificial intelligence | |
| 653 | 0 | |a Description logics | |
| 653 | 0 | |a Formal languages | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 1 | 1 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Hamburger, Henry |d 1940- |e Sonstige |0 (DE-588)1145407714 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030257392&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-030257392 | |
Datensatz im Suchindex
| _version_ | 1810082121692217344 |
|---|---|
| adam_text |
Contents
Preface xi
1 Mathematical Preliminaries 1
1.1 Sets and Sequences. 1
1.2 Relations and Functions. 3
1.3 Operators and their Algebraic Properties . 5
1.4 Set Operators. 7
1.5 Strings and String Operators. 8
1.6 Expressions. 10
1.7 Growth Rates of Functions . 13
1.8 Graphs and Trees. 14
1 Logic for Computer Science IT
2 Propositional Logic 21
2.1 Propositions. 21
v
VI
Contents
2.2 States, Operators and Semantics.25
2.3 Propositions as Functions.27
2.4 Laws of Propositional Logic.32
2.5 Two Important Operators.35
2.6 Normal Forms.38
2.7 Logic Circuits.40
3 Proofs by Deduction 49
3.1 Reasons for Wanting to Prove Things .49
3.2 Natural Deduction Proofs.50
3.3 Rules of Inference.53
3.4 Proof by Rules.57
3.5 Assumptions .59
3.6 Further Examples.64
3.7 Types of Theorems and Proof Strategies.67
3.8 Soundness and Completeness.70
4 Predicate Logic 75
4.1 Predicates and Functions . 75
4.2 Predicates, English, and Sets. 78
4.3 Quantifiers . 80
4.4 Multiple Quantifiers. 85
4.5 Logic for Data Structures. 90
5 Proving with Predicates 99
5.1 Inference Rules with Predicates. 99
Contents vii
5.2 Proof Strategies with Predicates .102
5.3 Applying Logic to Mathematics.103
5.4 Mathematical Induction.107
5.5 Examples of mathematical induction.114
5.6 Limits of Logic.116
6 Program Verification 123
6.1 The Idea of Verification.123
6.2 Definitions.124
6.3 Inference Rules.126
6.4 Loop Invariants.131
6.5 Proofs with Procedures .137
6.6 Loop Invariants and Tail Recursion.138
6.7 The Debate About Formal Verification.140
II Language Models for Computer Science 145
7 Language and Models 149
7.1 Programming Languages and Computer Science . 149
7.2 Formal Languages.150
7.3 Language Operators.154
7.4 Two Views of Alphabets and Language .156
7.5 The Questions of Formal Language Theory.157
8 Generative Models of Regular Languages 165
8.1 Generative Models.165
viii Contents
8.2 Nondeterminism: The General Idea.168
8.3 Regular Languages.172
8.4 Regular Expressions.173
8.5 Regular Expressions and Nondeterminism.180
8.6 Grammars: The General Idea.181
8.7 Regular Grammars.184
8.8 Unifying the Approaches.190
8.9 Deterministic Regular Grammars.193
8.10 Summary.196
9 Finite Automata and Regular Languages 201
9.1 Finite Automata: The General Idea.202
9.2 Diagrams and Recognition.203
9.3 Formal Notation for Finite Automata.210
9.4 Relationship to Regular Languages.215
9.5 Nondeterministic Finite Automata.217
9.6 Properties of Regular Languages.224
9.7 Limitations of Regular Languages.226
9.8 Pattern Matching.230
9.9 Designing Finite Automata.233
10 Context-Free Grammars 241
10.1 Introduction to Context-Free Grammars.242
10.2 An Example .246
10.3 Structure, Meaning and Ambiguity.248
Contents
IX
10.4 Chomsky Normal Form.256
10.5 Greibach Normal Form.261
10.6 Beyond Context-Free Languages .265
11 Pushdown Automata and Parsing 271
11.1 Motivating PDAs.272
11.2 Standard Notation for PDAs .276
11.3 From CFG to NPDA.282
11.4 From NPDA to CFG.283
11.5 Parsing.285
11.6 Deterministic Pushdown Automata and Parsing . 287
11.7 A Variation of the Pushdown Automata Model . 291
11.8 Limitations on Deterministic Pushdown Automata . . 292
11.9 More on Parsing.295
ll.lONotes on Memory.297
12 Turing Machines 301
12.1 Unrestricted Grammars.302
12.2 The Turing Machine Model.305
12.3 Infinite Sets.310
12.4 Universal Turing Machines.313
12.5 Limits on Turing Machines .316
12.6 Undecidability .319
12.7 Church-Turing Thesis.321
12.8 Computational Complexity.322
X
Contents
A Logic Programming 333
A.l The Essence of Prolog and its Relation to Logic . 333
A.2 Getting Started Using Prolog.336
A.3 An Example Related to Databases.341
A.4 The General Form and a Limitation of Prolog.346
A.5 How Prolog Works.349
A. 6 Structures.355
A. 7 Lists and Recursion .356
A.8 Built-In Predicates and Operators .362
A.9 Finite Automata in Prolog.368
A. 10 Pushdown Automata in Prolog.372
B The AWK Language 381
B. l Overview of awk.381
B.2 Writing expressions.383
B.3 Writing regular expressions.384
B.4 Writing patterns.384
B.5 Writing actions.386
B.6 Using arrays.387
B.7 Sample programs.388
B.8 Using AWK in Unix.389
B.9 An example.390
C Answers to Selected Problems 393
Index
445 |
| any_adam_object | 1 |
| author | Richards, Dana S. 1955- |
| author_GND | (DE-588)172481309 (DE-588)1145407714 |
| author_facet | Richards, Dana S. 1955- |
| author_role | aut |
| author_sort | Richards, Dana S. 1955- |
| author_variant | d s r ds dsr |
| building | Verbundindex |
| bvnumber | BV044862750 |
| classification_rvk | ST 130 |
| ctrlnum | (OCoLC)1031044302 (DE-599)BVBBV044862750 |
| discipline | Informatik |
| edition | Third edition |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV044862750</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180329</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">180312s2018 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789813230507</subfield><subfield code="c">pbk</subfield><subfield code="9">978-981-3230-50-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789813229204</subfield><subfield code="c">hc</subfield><subfield code="9">978-981-3229-2-04</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1031044302</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044862750</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Richards, Dana S.</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172481309</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic and language models for computer science</subfield><subfield code="c">Dana Richards, Henry Hamburger</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Third edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New Jersey</subfield><subfield code="b">World Scientific</subfield><subfield code="c">[2018</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 451 Seiten</subfield><subfield code="c">23 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes index</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Formal languages</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Description logics</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Description logics</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Formal languages</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hamburger, Henry</subfield><subfield code="d">1940-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1145407714</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030257392&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030257392</subfield></datafield></record></collection> |
| id | DE-604.BV044862750 |
| illustrated | Not Illustrated |
| indexdate | 2024-09-13T12:00:29Z |
| institution | BVB |
| isbn | 9789813230507 9789813229204 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030257392 |
| oclc_num | 1031044302 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-739 |
| owner_facet | DE-473 DE-BY-UBG DE-739 |
| physical | xv, 451 Seiten 23 cm |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Richards, Dana S. 1955- Verfasser (DE-588)172481309 aut Logic and language models for computer science Dana Richards, Henry Hamburger Third edition New Jersey World Scientific [2018 © 2018 xv, 451 Seiten 23 cm txt rdacontent n rdamedia nc rdacarrier Includes index Automatentheorie (DE-588)4003953-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Formal languages Description logics Artificial intelligence Mathematische Logik (DE-588)4037951-6 s DE-604 Automatentheorie (DE-588)4003953-5 s Formale Sprache (DE-588)4017848-1 s Hamburger, Henry 1940- Sonstige (DE-588)1145407714 oth Digitalisierung UB Bamberg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030257392&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Richards, Dana S. 1955- Logic and language models for computer science Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4003953-5 (DE-588)4017848-1 (DE-588)4037951-6 |
| title | Logic and language models for computer science |
| title_auth | Logic and language models for computer science |
| title_exact_search | Logic and language models for computer science |
| title_full | Logic and language models for computer science Dana Richards, Henry Hamburger |
| title_fullStr | Logic and language models for computer science Dana Richards, Henry Hamburger |
| title_full_unstemmed | Logic and language models for computer science Dana Richards, Henry Hamburger |
| title_short | Logic and language models for computer science |
| title_sort | logic and language models for computer science |
| topic | Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Automatentheorie Formale Sprache Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030257392&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT richardsdanas logicandlanguagemodelsforcomputerscience AT hamburgerhenry logicandlanguagemodelsforcomputerscience |