Ferreira, Fernando.

概要

作品:	1 作品在 2 項出版品 1 種語言

書目資訊

Axiomatic thinking.II by: Ferreira, Fernando.; Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service) (書目-電子資源)

Axiomatic thinking.I by: Ferreira, Fernando.; Hilbert, David, (1862-1943.); Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service) (書目-電子資源)

Programs, proofs, processes6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings / by: (1998 :); Ferreira, Fernando.; SpringerLink (Online service) (書目-電子資源)

主題

Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. Computation by Abstract Devices. Artificial Intelligence (incl. Robotics) Algorithm Analysis and Problem Complexity. Computable functions History of Mathematical Sciences. Hilbert, David, Proof theory. Simulation and Modeling. Discrete Mathematics in Computer Science. Computer Science. Axioms. Philosophy of Mathematics.