Synopses & Reviews
Synopsis
Basic concepts of computability and new Turing machines.- Logics including non-classical ones.- Reasoning.- Learning.- Decision support systems.-Machine intelligence and epistemology and philosophy of symbolic mathematical computing.