Mathematical Logic through Python - Image 1

£55.29

Cambridge University Press Mathematical Logic through Python

Name: Mathematical Logic through Python
Brand: Cambridge University Press
Price: 55.29 GBP
Availability: InStock

Languages

This is the usual price. Wait for it to drop, or tell us your number.

£55 today · usual range £0–£0 · best ever £45

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 638 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £51-54 (232 days, 36.4%)

Price range: £45 - £60

Price levels: 5 price ranges over 638 days

Description

Using a unique pedagogical approach, this text introduces mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming. This approach, tailored to the unique intuitions and strengths of the ever-growing population of programming-savvy students, brings mathematical logic into the comfort zone of these students and provides clarity that can only be achieved by a deep hands-on understanding and the satisfaction of having created working code. While the approach is unique, the text follows the same set of topics typically covered in a one-semester undergraduate course, including propositional logic and first-order predicate logic, culminating in a proof of Gödel's completeness theorem. A sneak peek to Gödel's incompleteness theorem is also provided. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. Familiarity with proofs and basic proficiency in Python is assumed.

Product Specifications

Brand: Cambridge University Press
Format: Hardcover
ASIN: 110884507X
Category: Books > Subjects > Computing & Internet > Programming > Languages
Domain: Amazon UK
Release Date: 15 September 2022
Listed Since: 09 September 2021

Barcode

No barcode data available

Cambridge University Press Mathematical Logic through Python

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Mathematical Logic: An Introduction (De Gruyter Textbook)

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

Logic for Mathematicians

Fundamentals of Mathematical Logic

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Mathematical Logic and Computation

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

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

Logic and Structure (Universitext)

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Logic for Applications (Texts in Computer Science)

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

Logic for Computer Science and Artificial Intelligence

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Logic with Trees: An Introduction to Symbolic Logic

Logic with Trees: An Introduction to Symbolic Logic

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

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

Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)