|
|
Books > Philosophy > Topics in philosophy > Logic
 |
Logic
(Paperback)
Immanuel Kant
|
R499
Discovery Miles 4 990
|
Ships in 10 - 15 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.
|
You may like...
Multigrid
Ulrich Trottenberg, Cornelius W. Oosterlee, …
Hardcover
R2,249
Discovery Miles 22 490
|