生物学形式系统 应用正式系统对生物学过程进行建模的资源的集合。还包括一些易于理解的书籍，以了解该领域的一般方法。 McCulloch-Pitts工作 McCullouch和Pitts对生物学中神经元的研究催生了启动AI， 和数字计算机的关键论文。这是John Von Neumann唯一的论文。 可在此处获得其模型的交互式演示： : 亚瑟·伊贝拉尔（Arthur Iberall）/沃伦·麦卡洛克（Warren McCulloch） StanisławUlam和Jon Von Neuman