|
Books > Science & Mathematics > Mathematics > Philosophy of mathematics
|
Buy Now
Logic, Proof and Computation (Paperback, 2nd Revised edition)
Loot Price: R505
Discovery Miles 5 050
|
|
|
Logic, Proof and Computation (Paperback, 2nd Revised edition)
 (sign in to rate)
Loot Price R505
Discovery Miles 5 050
Expected to ship within 12 - 17 working days
|
Beginning with a review of formal languages and their syntax and
semantics, Logic, Proof and Computation conducts a computer
assisted course in formal reasoning and the relevance of logic to
mathematical proof, information processing and philosophy. Topics
covered include formal grammars, semantics of formal languages,
sequent systems, truth-tables, propositional and first order logic,
identity, proof heuristics, regimentation, set theory, databases,
automated deduction, proof by induction, Turing machines,
undecidability and a computer illustration of the reasoning
underpinning Godel's incompleteness proof. LPC is designed as a
multidisciplinary reader for students in computing, philosophy and
mathematics.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
