Bibliografie
Kenneth H. Rosen, Discrete Mathematics and Its Applications, 6th edition, McGraw-Hill, 2007.
S. Russell, P. Norvig, Artificial Intelligence. A Modern Approach, Prentice Hall, 1995.
C. Kevorchian, N. Constantinbescu, 2005, Programare logica. O abordare pragmatica, Sitech, Craiova.
M. Neagu, C. Luca, A. Podoreanu, 2007, Initiere în programarea logica - aplicatii în PROLOG, Editura Albastra, Cluj Napoca.
P.D. Magnus, forallx. An Introduction to Formal Logic, link.
Patrick J. Hurley, A Concise Introduction to Logic (7th Edition), Wadsworth Publishing, 2000.
Holly P. Hirst, Jerry L. Hirst, A Primer for Logic and Proof, link.
|