Description

Book Synopsis
This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.

Logic And Language Models For Computer Science

Product form

£48.45

Includes FREE delivery

RRP £51.00 – you save £2.55 (5%)

Order before 4pm today for delivery by Tue 20 Jan 2026.

A Paperback / softback by Dana Richards, Henry Hamburger

Out of stock


    View other formats and editions of Logic And Language Models For Computer Science by Dana Richards

    Publisher: World Scientific Publishing Co Pte Ltd
    Publication Date: 24/10/2017
    ISBN13: 9789813230507, 978-9813230507
    ISBN10: 9813230509
    Also in:
    Computer architecture and logic design Games development and programming Natural language and machine translation

    Description

    Book Synopsis
    This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.

    Recently viewed products

    © 2026 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account