|
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...
LSD
Labrinth, Sia, …
CD
R213
R112
Discovery Miles 1 120
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.