Formal Language: A Practical Introduction - Image 1

£55.00

Franklin Beedle & Associates Formal Language: A Practical Introduction

Name: Formal Language: A Practical Introduction
Brand: Franklin Beedle & Associates
Price: 55.0 GBP
Availability: InStock

Introduction to Programming

Price History & Forecast

Last 23 days • 23 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 23 days • 1 price levels

Days at Price

Price Analysis

Most common price: £55 (23 days, 100.0%)

Price range: £55 - £55

Price levels: 1 different prices over 23 days

Description

This book has two major goals. The first is to help you understand and appreciate the beautiful and enduring ideas of formal language. These ideas are the birthright of all computer scientists, and they will profoundly change the way you think about computation. They are not only among the most beautiful, but also among the most useful tools in computer science. They are used to solve problems in a wide variety of practical applications, and they are especially useful for defining programming languages and for building language systems. The second purpose of this book is to help you develop a facility with these useful tools. Our code examples are in Java, but they are not particularly Java-centric and should be accessible to any programmer. There is also a third major reason to study formal language, one that is not a primary focus of this book: to learn the techniques of mathematical proof. When you are learning about formal language, it can also be a good time to learn proof techniques, because the subject is full of theorems to practice on. But this book tries to make the beautiful and useful ideas for formal language accessible to students at all levels of mathematical interest and ability. To that end, although the book presents and discusses many simple proofs, it does not try to teach advanced proof techniques. Relatively few of the exercises pose challenging proof problems. Those planning graduate-level study of theoretical computer science would be well advised not to rely exclusively on this book for that kind of training.

Product Specifications

Brand: Franklin Beedle & Associates
Format: paperback
ASIN: 1590281977
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 25 August 2011
Listed Since: 12 June 2010

Barcode

No barcode data available

Franklin Beedle & Associates Formal Language: A Practical Introduction

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

An Introduction to Formal Language Theory (Monographs in Computer Science)

Formal Languages and Compilation (Texts in Computer Science)

Formal Languages and Computation: Models and Their Applications

Formal Languages and Compilation (Texts in Computer Science)

Programming Language Implementation: A Practical Introduction with Python

Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application

Language Computability and Formal Language Theory

Language and Computers

Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)

Fundamentals of Formulaic Language: An Introduction

Formal Methods in Computer Science (Textbooks in Mathematics)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Programming Languages: Build, Prove, and Compare

Formal Methods in Computer Science (Textbooks in Mathematics)

Logic for Applications (Texts in Computer Science)

Introduction to Programming Languages

Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)

The Language of Mathematics: Utilizing Math in Practice

Studies and Exercises in Formal Logic (Languages and Linguistics)

An Introduction to Formal Languages and Automata

Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic): 2

Implementing Functional Logic Programs: by Translation into Purely Functional Programs

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

Formalizing Natural Languages: The NooJ Approach (Cognitive Science)