第 1/1 張圖片
Elementare Aussagenlogik by Friedrich L. Bauer (German) Paperback Book
狀況:
庫存 3 件
運費:
所在地:Fairfield, Ohio, 美國
送達日期:
估計於 6月27日, 四至 7月9日, 二之間送達 運送地點 43230
退貨:
保障:
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
(不符合「eBay 買家保障方案」資格)
安心購物
物品細節
- 物品狀況
- 全新: 全新,未閱讀過和使用過的書籍,狀況完好,不存在缺頁或內頁受損。 查看所有物品狀況定義會在新視窗或分頁中開啟
- ISBN-13
- 9783540529743
- Book Title
- Elementare Aussagenlogik
- ISBN
- 9783540529743
- Subject Area
- Computers, Mathematics
- Publication Name
- Elementare Aussagenlogik
- Item Length
- 9.5 in
- Publisher
- Springer Berlin / Heidelberg
- Subject
- Computer Science, Logic
- Series
- Mathematik Für Informatiker Ser.
- Publication Year
- 1991
- Type
- Textbook
- Format
- Trade Paperback
- Language
- German
- Item Width
- 6.7 in
- Item Weight
- 14.7 Oz
- Number of Pages
- X, 228 Pages
關於產品
Product Information
Dieses Buch ber elementare Aussagenlogik (wie auch seine geplante Fortsetzung ber Elementare Pr dikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universit t M nchen entstanden. Es basiert auf der berzeugung, da f r Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa f r Ingenieure oder Physiker, sondern auch ein anderes Men , als es sich an unseren Universit ten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingeb rgert hat. Neben den unentbehrlichen Einf hrungsvorlesungen in Mathematik sind f r die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage f r die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen B chern ber Logik ist dieses f r den Anf nger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher au erhalb der Aussagenlogik liegende Gegenst nde wie die Schaltlogik systematisch einbezogen worden, wo immer es m glich war: von dem f r die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen ber die Resolventenmethode, die den Anschlu an die Pr dikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten bungsaufgaben greifen h ufig Gedanken auf, die im Text nur nebenbei erw hnt sind, und stellen Querbez ge her. Die L sungshinweise am Ende des Buches bieten manche berraschungen.
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540529748
ISBN-13
9783540529743
eBay Product ID (ePID)
150581820
Product Key Features
Publication Name
Elementare Aussagenlogik
Format
Trade Paperback
Language
German
Subject
Computer Science, Logic
Series
Mathematik Für Informatiker Ser.
Publication Year
1991
Type
Textbook
Subject Area
Computers, Mathematics
Number of Pages
X, 228 Pages
Dimensions
Item Length
9.5 in
Item Width
6.7 in
Item Weight
14.7 Oz
Additional Product Features
Intended Audience
Scholarly & Professional
Number of Volumes
1 Vol.
Lc Classification Number
Qa75.5-76.95
Table of Content
I. Natürliches Begriffsfeld.- 1. Aussagen und Aussagenverbindungen.- 2. Aussageformen.- 3. Syntax der Aussageformen.- II. Wertverlauf.- 4. Tautologien und erfüllbare Aussageformen.- 5. Äquivalenz und Ordnung von Aussageformen.- 6. Die selbständige Rolle der Subjunktion.- III. Funktionale und Algebraische Aspekte.- 7. Aussagenlogische Funktionen.- 8 Repräsentantensysteme.- 9 Algebra der Aussageformen.- 10. Programmiersprachen: Fallunterscheidungskalkül.- IV. Formale Reduktionen.- 11. Auswertung und Teilauswertung ,,von außen".- 12. Normalformen.- 13. Adjunktive und konjunktive Normalformen.- 14. Kanonische Normalformen.- 15. Die Resolventenmethode.- 16. Die Methode des Widerspruchs.- V. Formale Ableitungen.- 17. Gewinnung von Schlußregeln.- 18. Ableitungssysteme für Tautologien.- 19. Ableitungssysteme für Folgerungen.- 20. Kompaktheit.- VI. Modale Aussagenlogiken.- 21. Die Sprache der Modallogiken.- 22. Semantik modaler Logiken.- 23. Dimodale Logiken.- 24. Multimodale Logiken.- Hinweise zur Lösung der Aufgaben.- Aussagenlogische Operationen.- Tautologien.- Schlußregeln für Tautologien.- Schlußregeln für Folgerungen.- Modallogische Regeln und Gesetze.- Literatur und Quellen.- Namen- und Sachverzeichnis.
Copyright Date
1991
Illustrated
Yes
賣家提供的物品說明
運費與處理費
物品所在地:
Fairfield, Ohio, 美國
運送地點
全球
排除:
APO/FPO, 俄羅斯聯邦, 利比亞, 委內瑞拉, 巴布亞新畿內亞, 巴拿馬, 巴貝多, 新喀里多尼亞, 法屬圭亞那, 法屬玻里尼西亞, 烏克蘭, 瓜德羅普島, 留尼汪島, 白俄羅斯, 美國領地, 西薩摩亞, 阿拉斯加/夏威夷, 馬提尼克島
運費與處理費 | 每加一件物品 | 運送地點 | 運送方式 | 運送*查看送達備註 |
---|---|---|---|---|
免運費 | 免費 | 美國 | Economy Shipping | 估計於 6月27日, 四至 7月9日, 二之間送達 運送地點 43230 |
處理時間 |
---|
通常會在收到所有款項後的 10 個工作日內發貨。 |
稅項 |
---|
結賬時相關稅項可能適用。 進一步了解進一步了解為 eBay 購物繳稅。 |
物品編號 386666306150 的銷售稅
物品編號 386666306150 的銷售稅
賣家會對寄往以下各州的物品收取銷售稅:
州/省 | 銷售稅稅率 |
---|
退貨政策
收到物品後聯絡賣家的期限: | 退款方式 |
---|---|
30 日 | 退款 |
買家負責支付退貨運費。
賣家信用評價 (1,024,757)
n***i (1152)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Wrong item. Seller Refunded quickly. Good communication.
l***z (49)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Fantastic!
e***v (2372)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Very good transaction