Some Zen sentences to warm up.
|
ABOUT REASONING(link)
|
|
|---|---|
|
|
Data 2 |
| Data 3 | Data 4 |
ZEN, THE FLEETING ART An introduction to $\lambda$-Calculus and Functional Programming.
PROJECTS AND RESEARCHES BIBLIOGRAPHY 1. LOEBL, Group THeory and its Applications, Academic Press, 1968. 2. Eilenberg, Automata, Languages, and Machines, Academic Press, 1974. 3. Menezes, Oorschat, et al. Handbook of Applied Cryptography, Taylor and Francis, 1997. 4.Yaschenko, Cryptography: An Introduction, American Mathematical Society, 2002. 5.Almeida, et al., Semigroups, Automata and Languages, World Scientific Publishing, 1996. 7.Block, Abstract Algebra with Applications, Prentice-Hall, New Jersey,1987. 8.Rotman, A first Course in Abstract Algebra, Prentice-Hall. 9.Pinto, An Introduction to Discrete Dynamical Systems and their General Solutions. 10.Walker, Codes and Curves, American Mathematical Society. 2002. 11.Epstein, Computability, Advanced Reasoning Forum, 2018. 12.Harrisson, Introduction to Formal Language THeory, Addison-Wesley,1978. 13.Mullen, Finite Fields and Applications, American MAthematical Society, 2007. 14. Chen Chuan et al., PRinciples and Techiniques in Combinatorics, World Scientific, Sigapore, 1992. 15. Ackermann, Non Deductive Logic, Routledge, 1966. 16. SMULLYAN. Raymond M., Theory of Formal Systems, Princeton University Press, New Jersey, 1961. 17.Introduction to Automata Theory, Languages, and Computation., Third Edition, John E. Hopcroft et al., Pearson, 2004-2006. 18.FITTING, Melvin, First-Order Logic and Automated Theorem Proving, Springer Verlag, 1990. 19. Braffort, P. Computer Programming and Formal Systems, 1963. 20. Symbolic Logic and Mechanical Theorem Proving, Chin-Liang, Char-Tung Lee, Academic Press, INC., 1973. 21.Limits of Computation, An Introduction to the Undecidable and the Intractable, Reiter, E., Johnson C.M., CRC Press,2013. 22. Computation: finite and infinite machines, Minsky M. L., Prentice-Hall,INC., 1967. 23.Introduction to Discrete Dynamical Systems and Chaos, Martelli, Mario, Wiley,1999. 24.Discrete Dynamical Systems and Chaotic Machines: Theory and Applications, Bahi, J M and Guyeux, C G, CRC Press, 2013. 25.The Algorithm Design Manual, Third Edition,SKIENA, S., Springer 26.Propositional Calculus, NIDDITCH, P. H., The free Press of Glencoe, 1962. 27.The MIT Press, 1991. Basic Category Theory for Computer Scientists, Peirce, Benjamin C. 28.Academic Press, 1980. The Mathematical Theory of L Systems,Rozenberg, Salomaa.