用Prolog求解传教士和野人问题 复习经典谓词演算中的归结原理，掌握人工智能程序设计语言Prolog，理解通过搜索求解问题实现人工智能的思想。,Using Prolog to solve the issue of missionaries and Savage Classical Predicate Calculus review summarized in principle, grasp the artificial intelligence programming language P

matlab微积分经典教程classical calculus tutorial matlab-matlab calculus classic classical calculus tutorial matlab tutorial

有关分数阶微分方程的一本入门书籍，并附有数值例子。(This book is about problems arising in the area of fractional calculus Numerical Solution of Fractional Differential Equations)