Description

| | PDF, EPUB, FB2, DjVu, AUDIO, mp3, RTF | | ISBN: 9783764338015 | 9.40 Mb

The purpose of the programme in combinatory logic is to rework the mathematical foundations of computer science on a theory of pure thought. It begins from the idea that, if logic is to be the science of correctly dealing with thought-objects, theMoreThe purpose of the programme in combinatory logic is to rework the mathematical foundations of computer science on a theory of pure thought. It begins from the idea that, if logic is to be the science of correctly dealing with thought-objects, the underlying theory must be in some sense a part of, or at least a preliminary to, its structure, ie, a protologic.

From this idea a combinatory algebra is constructed, using a programmatic mixture of the classical axiomatic and set-theoretic approaches. This text shows that sufficiently rich combinatory algebras can serve as a platform from which to develop the algorithmic aspects of many areas in computer science, mathematics and their applications. It should be of interest to those studying universal algebra, logic and computer algebra.

Related Archive Books

- 26.01.2013Too Late to Paint the Roses
- 20.02.2013Be likimo
- 19.11.2011Secret Circle Vol II: The Captive
- 22.12.2011Cheryl the Christmas Tree Fairy
- 10.01.2015In Search of Sisterhood: Delta Sigma Theta and the Challenge of the Black Sorority Movement
- 21.06.2013Health-Defense: How to Stay Vibrantly Healthy in a Toxic World

Related Books

- Plymouth F216 Encore Worsted Yarn Pattern Toddler Hat & Scarf
- 01.10.2014Opijska sled
- 05.11.2012La Reine des âmes mortes (Requiem chevalier vampire #8)
- 15.07.2013Insomnia Cures: Sleep Hygiene Practice Makes Permanent
- 01.11.2012Spirits Of The Jaguar: The Natural History And Ancient Civilizations Of The Caribbean And Central Am
- 30.03.2011Just a Shadow
- 28.04.2013Kein Kind, kein Hund
- 19.05.2014Paleo for Every Day: 4 Weeks of Paleo Diet Recipes & Meal Plans to Lose Weight & Improve Health
- 08.06.2012All about Love & Death: Paintings
- 13.02.2013Dovy and Shinys Adventure

Comments

More Categories

- Accounting
- Geography
- Graphics & Visualization
- Humanities
- Theory
- Software Design
- Counseling
- Writing Skills
- Gender Studies
- Chemical Engineering
- Banking
- Sport & Leisure
- Philosophy
- Language
- Academic
- Test Preparation
- Database Storage & Design
- Biology & Life Sciences

Recommendations

- Index to the Arkansas General Land Office 1820-1907, Volume Nine: Covering the Counties of Scott, Lo
- Degas: Intimitat Und Pose
- Death in Disguise: The Amazing True Story of the Chelsea Murders
- Stardust
- The Lunch Box: Packed with Fun, Healthy Meals That Keep Them Smiling
- Desire in the Sun
- Smella Vermisst!
- Fiancé Malgré Lui