网络书屋(Web Reading Room)

A blogging framework for hackers.

打印的书籍(prolog+scheme+空气动力学方面)

Edsgar Dijkstar写过不少程序语言和逻辑编程的好书,比如A Discipline of programming.

尾随之后的是David Gries写的the science of programing. TSOP.

logic

在空气动力学领域,生于1937年的John D. Anderson是一位航空领域多产的作家,其中空气动力学基础更是经典的经典。 西门子之前根据Michel Geradim的Flexible Multibody Dynamics: a finite element approach编写有限元多体分析软件系统(具体名字忘记),与之类似的是绿皮书 Ahmed A. Shabana编写的Dynamics of Multibody Systems也是多体动力学领域不错的好书。 J.Blazek写了一本计算流体动力学的好书Computational Fluid Dynamics:Principles and Applications]19.当然Pijush K. Kundu写的Fluid Mechanic也是经典之著 pro1 ,pro2, pro3


之前,提及了程序语言,在这个领域不得不说是Dan Friedman.这位老顽童曾经写过很多本大象书籍,比如 the little scheme,TLS , the season scheme,TSS, the reason scheme,TRS,写完TRS之后最经常说的是”Can it run backward?”, a little java,ALJ, the little mler,TLM, Essential of programing language,EOPL,以及进一步 像逻辑学领域进军的the little prover,立志要建一个类似于coq的证明式语言系统(法国人写的软件一般是动物,比如ocaml,coq),刚刚建了一个很bang的J-Bob

Dan


关于函数式编程,还有一类是比较纯函数式编程比如Haskell,ML等。Haskell有很多不错的书籍比如Bryan O’Sullivan写的 Real World Haskell以及来自斯洛文尼亚的 Miran LipoVaca写的Learn You a Haskell for Great Good(中文版为Haskell趣味指南) ,而Ml语言比如Ocaml也又不错的比如Real World Ocaml, 特别是纯函数语言可以加深你对语言设计方面的理解。

Haskell


万物都有其道,有其逻辑。当逻辑被质疑,不能成立,则得推翻,进而重构,关于logic programming,首先得认识的是Prolog。并以三个比较好的入门阶段式书籍

  1. William F. ClockSinProgramming in prolog,从1984年开始到2003年.
  2. William F. Clocksin的 clauses and Effect
    1. Deransart 的Prolog: the standard

另外还有一些比较经典的书籍是 learn Prolog Now!,Logic Programming with Prolog,the-art-of-prolog 这本书入门也不错,prolog versue you. 以及面向人工智能和图像处理的方面的prolog书籍, 比如PROLOG Programming for Artificial Intelligence (4th Revised edition) ,An Introduction to Language Processing with Perl and Prolog ,Language Processing with Perl and Prolog ,Intelligent Image Processing in Prolog

prolog