Price loading...

CRC Press A First Course in Logic

Name: A First Course in Logic
Brand: CRC Press

Computer Science

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic. Logic is the basis of proofs in mathematics ― how do we know what we say is true? ― and also of computer science ― how do I know this program will do what I think it will? Surprisingly little mathematics is needed to learn and understand logic (this course doesn't involve any calculus). The real mathematical prerequisite is an ability to manipulate symbols: in other words, basic algebra. Anyone who can write programs should have this ability.

Product Specifications

Brand: CRC Press
Format: paperback
ASIN: 0815386656
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 27 November 2018
Listed Since: 22 June 2018

Barcode

No barcode data available

CRC Press A First Course in Logic

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

A First Course in Mathematical Logic and Set Theory

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Mathematical Logic Part 1: Propositional Calculus, Boolean Algebras & Predicate Calculus

Mathematical Logic

A First Journey through Logic (Student Mathematical Library)

Fundamentals of Mathematical Logic

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

Mathematical Logic: An Introduction (De Gruyter Textbook)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

A Mathematical Introduction To Logic

A Logical Approach to Discrete Math (Monographs in Computer Science)

Concise Introduction to Logic and Set Theory (Mathematics and its Applications)

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Logic: The Basics

An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Introduction to Mathematical Logic: Extended Edition

Mathematical Logic (Undergraduate Texts in Mathematics)

Logic for Applications (Texts in Computer Science)

Logic and Language (Cornerstones of Computing S)