BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Logic and Language Models for Computer Science

Logic and Language Models for Computer Science

Logic and Language Models for Computer Science
Stock photo: cover may vary

Logic and Language Models for Computer Science Paperback - 2002

by Hamburger, Henry; Richards, Dana

Add to wish list
  • New
  • Paperback
New

Description

Pearson, 2002-01-17. Paperback. New. 110x12x147.
Ask the seller a question Add to wish list
A$100.50
Free Delivery within USA
Standard delivery: 4 to 8 days
More delivery options
Ships from Your Online Bookstore (Texas, United States)

Details

  • Title Logic and Language Models for Computer Science
  • Author Hamburger, Henry; Richards, Dana
  • Binding Paperback
  • Edition [ Edition: first
  • Condition New
  • Pages 341
  • Volumes 1
  • Language ENG
  • Publisher Pearson, Lebanon, Indiana, U.S.A.
  • Publication date 2002-01-17
  • Illustrated Yes
  • Bookseller's Inventory # 0130654876-11-23947307
  • ISBN 9780130654878 / 0130654876
  • Weight 1.53 lbs (0.69 kg)
  • Dimensions 9.54 x 7.08 x 0.71 in (24.23 x 17.98 x 1.80 cm)
  • Size 110x12x147
  • Category Computers - Languages / Programming
  • Library of Congress subjects Artificial intelligence, Formal languages
  • Library of Congress Catalogue Number 2002284721
  • Dewey Decimal Code 005.131
  • Quantity available 1

About Your Online Bookstore Texas, United States

Biblio member since 2012

Terms of Sale:

We provide a 30 day return guarantee, with full refund including shipping costs for up to 30 days after delivery if an item arrives damaged or not as it was described in the listing.

Browse books from Your Online Bookstore

Reader reviews for Logic and Language Models for Computer Science

From the publisher

This text makes in-depth explorations of a broad range of theoretical topics in computer science. It plunges into the applications of the abstract concepts in order to confront and address the skepticism of readers, and instill in them an appreciation for the usefulness of theory. A two-part presentation integrates logic and formal language both with applications. Chapter topics cover mathematical preliminaries, propositional logic, proving things: why and how, predicate logic, proving with predicates, program verification, logic programming, language models for computer science, language models, finite automata and their languages, regular expressions, Lex: a tool for building lexical scanners, context-free grammars, pushdown automata and parsing, and turing machines. For future computer scientists. "

About the author

"Henry Hamburger " is a Professor and Chairman of the Department of Computer Science at George Mason University.

"Dana Richards " is an Associate Professor with the Department of Computer Science at George Mason University.

tracking-