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