 |
|
|
|
|
 |
 |
|
Combinatorial Ornithology
|
|
|
|
|
|
| Organization: | Universidad Autonoma de Querétaro |
| Department: | Facultad de Informatica |
|
|
|
|
|
|
2003-04-24
|
|
|
|
|
|
This work is an exploration into the fascinating world of Combinatory Logic, inspired by the novel ornithological viewpoint introduced by Raymond Smullyan. The work begins with historical details and is followed by an introduction to the combinatorial properties of bracketed expressions; it continues to the computing of behaviours and genealogies, the solution of combinatorial equations and the development of propositional birds including an assortment of illustrative examples throughout. Finally, comments on the use of birds to algorithmic complexity are mentioned and a list of references is included. The author has developed and made repeated use of this work in his teachings on Functional Programming, Programming Paradigms and Automata and Formal Languages.
|
|
|
|
|
|
|
|
|
|
|
|
Combinatory Logic, Birds, Expressions, Smullyan, Catalan
|
|
|
|
|
|
| CombinatorialOrnithology.zip (212.4 KB) - ZIP archive |
|
|
For the newest resources, visit Wolfram Repositories and Archives »
