語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

跳至 : 概要書目資訊主題

Decidability (Mathematical logic)

概要

作品:	6 作品在 3 項出版品 3 種語言

書目資訊

The Classical decision problem / by: (書目-語言資料,印刷品)

The classical decision problem / by: (書目-語言資料,印刷品)

Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings / by: (書目-語言資料,印刷品)

Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / by: (書目-電子資源)

Reachability problems = 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings / by: (書目-電子資源)

Undecidability, uncomputability, and unpredictability by: (書目-電子資源)

主題

Mathematical Logic and Formal Languages.

Software Engineering.

Mathematical Logic and Foundations.

Logics and Meanings of Programs.

Probability Theory and Stochastic Processes.

Computer systems- Verification

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

History and Philosophical Foundations of Physics.

Programming Languages, Compilers, Interpreters.

Computer science- Mathematics

Incompleteness theorems.

Coding and Information Theory.

Completeness theorem.

Quantum theory.

Decidability (Mathematical logic)

Graph theory- Data processing

Computer Science.

Theoretical, Mathematical and Computational Physics.

Philosophy of Science.

變更密碼

登入