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