Topology via Logic 2024 pdf epub mobi 電子書 下載

☆☆☆☆☆
簡體網頁||繁體網頁

Topology via Logic pdf epub mobi 著者簡介

---

Topology via Logic pdf epub mobi 圖書描述

Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students of computer science at Imperial College, it has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite observations: this provides a more direct approach than the traditional one based on abstracting properties of open sets in the real line. Second, the methods of locale theory are freely exploited. Third, there is substantial discussion of some computer science applications. Although books on topology aimed at mathematics exist, no book has been written specifically for computer scientists. As computer scientists become more aware of the mathematical foundations of their discipline, it is appropriate that such topics are presented in a form of direct relevance and applicability. This book goes some way towards bridging the gap.

Topology via Logic 2024 pdf epub mobi 電子書 下載

---

Topology via Logic pdf epub mobi 圖書目錄

1. Introduction
2. Affirmative and refutative assertions
3. Frames
4. Frames as algebras
5. Topology: the definitions
6. New topologies for old
7. Point logic
8. Compactness
9. Spectral algebraic locales
10. Domain theory
11. Power domains
12. Spectra of rings
Bibliography
· · · · · · (收起)

---

下載链接在页面底部

點擊這裡下載

    

---

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

---

想要找書就要到 本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

---

發表於2024-09-28

Topology via Logic 2024 pdf epub mobi 電子書 下載

Topology via Logic 2024 pdf epub mobi 電子書 下載

Topology via Logic 2024 pdf epub mobi 電子書 下載

---

喜欢 Topology via Logic 電子書 的读者还喜欢

Topology via Logic pdf epub mobi 讀後感

圖書標籤: 數學  邏輯學  數理邏輯  拓撲學  pl  nemlophics   

Topology via Logic pdf epub mobi 用戶評價

Topology via Logic 2024 pdf epub mobi 電子書 下載

• 
  物理學中的拓撲與幾何(英文影印版) 2024 pdf epub mobi 電子書 下載
• 
  A First Course in Topology 2024 pdf epub mobi 電子書 下載
• 
  Sheaves in Topology 2024 pdf epub mobi 電子書 下載
• 
  Topology 2024 pdf epub mobi 電子書 下載
• 
  測度與範疇學 2024 pdf epub mobi 電子書 下載
• 
  Topology: A Categorical Approach 2024 pdf epub mobi 電子書 下載
• 
  代數拓撲講義 2024 pdf epub mobi 電子書 下載
• 
  Lacan and Science 2024 pdf epub mobi 電子書 下載
• 
  The Title of the Letter 2024 pdf epub mobi 電子書 下載
• 
  Jacques Lacan's Return to Freud 2024 pdf epub mobi 電子書 下載
• 
  Introduction to the Reading of Lacan 2024 pdf epub mobi 電子書 下載
• 
  Point Set Topology 2024 pdf epub mobi 電子書 下載
• 
  基礎拓撲學導引 2024 pdf epub mobi 電子書 下載
• 
  群與對稱 2024 pdf epub mobi 電子書 下載
• 
  一般拓撲學基礎 2024 pdf epub mobi 電子書 下載
• 
  拓撲學習題集/新編數學習題集係列叢書 2024 pdf epub mobi 電子書 下載
• 
  A Combinatorial Introduction to Topology 2024 pdf epub mobi 電子書 下載
• 
  Differential Forms in Algebraic Topology 2024 pdf epub mobi 電子書 下載
• 
  微分幾何例題詳解和習題匯編 2024 pdf epub mobi 電子書 下載
• 
  Student Solutions Manual to accompany Boyce Elementary Differential Equations 9e and Elementary Diff 2024 pdf epub mobi 電子書 下載