Sommaruga, Giovanni.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Axiomatic Thinking I
by:
SpringerLink (Online service); Sommaruga, Giovanni.; Ferreira, Fernando.; Kahle, Reinhard.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Turing's revolution = the impact of his ideas about computability /
by:
Strahm, Thomas.; Sommaruga, Giovanni.; Turing, Alan Mathison, (1912-1954.); SpringerLink (Online service)
(書目-語言資料,印刷品)
Axiomatic Thinking II
by:
Kahle, Reinhard.; Ferreira, Fernando.; Sommaruga, Giovanni.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal theories of information = from Shannon to semantic information theory and general concepts of information /
by:
Sommaruga, Giovanni.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Foundational theories of classical and constructive mathematics
by:
Sommaruga, Giovanni.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Turing’s Revolution = The Impact of His Ideas about Computability /
by:
Strahm, Thomas.; SpringerLink (Online service); Sommaruga, Giovanni.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Self-organizing systems
Coding and Information Theory.
Turing, Alan Mathison,
Information storage and retrieval systems
Mathematics
Theory of Computation.
Constructive mathematics
Discrete Mathematics in Computer Science.
Information measurement
Computer Science.
Mathematics—Philosophy.
Logic.
Philosophy of Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Computer science
Computable functions.
History of Mathematical Sciences.
Philosophy of Science.
History.
Mathematics.