![]() |
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
||
Showing 1 - 3 of 3 matches in All Departments
'The Conversations' is an introduction to the topics of love, evil and human nature recounted through a narrative between Taoist Master Fu Hsiang and his two students, Li Chen and Zhi Peng. Dr Mark Tarver has studied Taoist arts for over 20 years and holds higher degrees in philosophy and science. Details of his work and courses can be found at the School of Internal Alchemy (www.schoolofinternalalchemy.com)
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...
Social Issues in the Workplace…
Information Reso Management Association
Hardcover
R7,528
Discovery Miles 75 280
Fixed-Time Cooperative Control of…
Zongyu Zuo, Qinglong Han, …
Hardcover
R3,106
Discovery Miles 31 060
|