Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formalisieren und Beweisen

Formalisieren und Beweisen

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783322917690
Condition
New
Product Description

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzhlt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: "Wirst Du jemals denken wie ein Mensch? Rechne mal nach!" Der Computer rechnet und rechnet und gibt schlielich aus: Dabei fallt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. "Fangt doch jeden Abschnitt mit einem Beispiel an", schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung Logik fr Informatiker durchzufhren. "Fragen und Aufgaben regen besser zum Arbeiten an als Begriffe und Stze. " Deswegen beginnt jeder Teil dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einfhrung mit dem Problem des Affen mit der Banane, die Aussagenlogik mit der Ballwurf logelei, die Offene Prdikatenlogik mit dem Architektenbeispiel und die volle Prdikatenlogik mit der Geometrie Euklids. Deswegen endet jeder Abschnitt mit Aufgaben und Fragen, die wesentlich frs Verstehen sind. Deswegen sieht man beim Blttern so wenig Beweise: Ich ent wickle einen Beweis lieber aus einer Fragestellung und formuliere das Ergebnis als Satz, statt mit dem Satz zu beginnen. Deswegen sind die Themen des Buches Formalisieren und Verstehen, Ttigkeiten, und nicht Logik und Informatik, Gebiete. Ich behandle in dem Buch im wesentlichen die klassischen Grundthemen der mathematischen Logik: logische Folgerung, Ableitung, Vollstndigkeit, logische Theorie, Axiomensystem. Es geht mir aber nicht darum, diese Begriffe und ihre Eigenschaften darzustellen.

Available Colors
Available Sizes
1 Offer Price Range: $49.99 - $49.99
BEST PRICE

Single Product Purchase

$49.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$49.99 $49.99

$49.99
See Site In stock Visit Store

Similar Products

Demokratie und Politik in Deutschland

$54.99

Responsive Organisationsforschung

$49.99

Zeta Integrals, Schwartz Spaces and Local Functional Equations

$49.99

Cullin-RING Ligases and Protein Neddylation

$169.99

Politische Geschichte der Gegenwart

$59.99

Fragmented Energy Release in Sun and Stars

$329.99

Advances in Human Factors of Transportation

$329.99

Buddhist Backgrounds of the Burmese Revolution

$39.99

Suizhou Meteorite: Mineralogy and Shock Metamorphism

$54.99

The Art of Timing

$49.99

Collaborative Business Ecosystems and Virtual Enterprises

$129.00

Children, Literacy and Ethnicity

$54.99

Mikrocontroller

$39.99

Encyclopedia of Traditional Chinese Medicines - Molecular Structures, Pharmacological Activities, Na

$449.99

Trusted Systems

$54.99

Environmental Management: Issues and Concerns in Developing Countries

$109.99

Quantum Semiconductor Devices and Technologies

$109.99

Myofibroblasts

$249.99

Frauen in der ffentlichen Arbeitsmarkt- und Strukturpolitik

$59.99

Early Gastrointestinal Cancers II: Rectal Cancer

$54.99

Walking Histories, 1800-1914

$99.99

Zwischen Achtsamkeit und Pragmatismus

$19.99

Handbook of Cognitive and Autonomous Systems for Fire Resilient Infrastructures

$219.99

Workers Compensation Insurance Pricing

$109.99

Convergence to Very Low Fertility in East Asia: Processes, Causes, and Implications

$54.99

Nutrition and Mental Functions

$54.99

Mikrobiologisches Praktikum

$84.99

Ergebnisse der Inneren Medizin und Kinderheilkunde

$59.99

Diagrams, Visual Imagination, and Continuity in Peirce's Philosophy of Mathematics

$169.99

Progress in Drug Research

$39.99

The Resolution of Inflammation

$169.99

Exosomes and Microvesicles

$179.99

Atmospheric Aerosols and Nucleation

$84.99

Demand Response Application in Smart Grids

$89.00

Decolonising and Internationalising Geography

$129.00

Maschinenkunde

$69.99

Knowledge-Based Control with Application to Robots

$39.99

Inherited Neuromuscular Diseases

$169.00

Kanban fr die Softwareentwicklung

$24.99

Computer Safety, Reliability, and Security

$39.99