000			02087nam a22003497a 4500
999			_c86783 _d86783
003			CITU
005			20240523143022.0
008			240306b ||||| |||| 00| 0 eng d
020			_a9789811260667 _q(hardcover)
040			_aDLC _beng _erda _cDLC _dDLC
041			_aeng
042			_apcc
050	0	0	_aQA267.3 _b.H35 2023
082	0	0	_a005.13/1 _223/eng20221007
100	1		_aRichards, Dana, _eauthor.
245	1	0	_aLogic and language models for computer science / _cDana Richards, Henry Hamburger, George Mason University, USA.
250			_aFourth edition.
264		1	_aNew Jersey: _bWorld Scientific , _c[2023]
264		4	_c©2023
300			_axix, 476 pages ; _c24 cm
336			_atext _btxt _2rdacontent
337			_aunmediated _bn _2rdamedia
338			_avolume _bnc _2rdacarrier
504			_aIncludes bibliographical references (pages 467-470) and index.
505	0		_aContents: Preface About the Author Mathematical Preliminaries Logic for Computer Science: Propositional Logic Proofs by Deduction Predicate Logic Proofs with Predicates Program Verification Language Models for Computer Science: Language and Models Generating Regular Languages Finite Automata Context-Free Grammars Pushdown Automata and Parsing Turing Machines Appendices: Logic Programming The AWK Language Answers to Selected Problems Bibliography Index
520			_a"This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques. This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities"-- _cProvided by publisher.
650		0	_aFormal languages.
650		0	_aDescription logics.
650		0	_aArtificial intelligence.
700	1		_aHamburger, Henry, _d1940- _eauthor.
942			_2ddc _cBK _01