Sommaruga, Giovanni.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Axiomatic thinking.II
by:
Ferreira, Fernando.; Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
Turing's revolutionthe impact of his ideas about computability /
by:
Sommaruga, Giovanni.; SpringerLink (Online service); Strahm, Thomas.; Turing, Alan Mathison, (1912-1954.)
(書目-電子資源)
Foundational theories of classical and constructive mathematics
by:
Sommaruga, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
Axiomatic thinking.I
by:
Ferreira, Fernando.; Hilbert, David, (1862-1943.); Kahle, Reinhard.; Sommaruga, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
Formal theories of informationfrom Shannon to semantic information theory and general concepts of information /
by:
Sommaruga, Giovanni.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Mathematical Logic and Foundations.
Logic.
Mathematics
Information measurement
Mathematics.
Computable functions.
History of Mathematical Sciences.
Information storage and retrieval systems
Coding and Information Theory.
Hilbert, David,
Computer science
Proof theory.
Discrete Mathematics in Computer Science.
Computer Science.
Constructive mathematics
Axioms.
Philosophy of Mathematics.
Self-organizing systems
Philosophy of Science.
Turing, Alan Mathison,