Copied Logik fr Informatiker
Logik fr Informatiker
Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedrfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet. Prof. Schning gelingt eine kompakte und verstndliche Darstellung der Aussagen- und Prdikatenlogik, bei der die bentigten Begriffe przise eingefhrt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche bungsaufgaben mit ausfhrlichen Lsungshinweisen erleichtern die Vertiefung des Lernstoffes.
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
|
|
$29.95 | $29.95 |
|
$29.95 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
CT Imaging of Myocardial Perfusion and Viability
$169.99
Nervensystem : Sensible Ganglien
$59.99
Victors and Vanquished
$129.99
Financial Crisis and Bank Management in Japan (1997 to 2016)
$129.00
Das Eindringen des Frostes in Bden unter gleichen und verschiedenen Witterungsbedingungen whrend d
$54.99
Objektorientierte und verteilte Lsung von Optimierungsproblemen
$59.99
Learning to Assess
$99.00
Die Faltvorbereitung von ein- und mehrlagigen Vollpappen und die Rillung von Wellpappen
$59.99
Intelligent Audio Analysis
$84.99
Globalization and Sustainable Growth in China
$119.99
M&A-Myopia und Integrationsmanagement
$74.99
Usability Engineering in der Anwendungsentwicklung
$59.99
Frankreich-Jahrbuch 1996
$54.99
Nature Management by Grazing and Cutting
$219.99
Digital Technologies in Construction Engineering
$249.99
Seelische Gesundheit und neurotisches Elend
$84.99
The Lfe-changng Impact of Vktor Frankl's Logotherapy
$39.99
Dynamic Pulsed-Field-Gradient NMR
$169.99
Cancer Therapeutics
$219.99
Performance Management in Retail and the Consumer Goods Industry
$39.99
Studies in Process Philosophy I
$54.99
Combination Therapy in Urological Malignancy
$39.99
Faulkner and the Native Keystone
$54.99
Hybridomas and Cellular Immortality
$54.99
Kipling Considered
$44.99
Sustainable Automotive Technologies 2014
$84.99
Intelligent Computing Systems
$39.99
Petr Hjek on Mathematical Fuzzy Logic
$109.99
Economics for Managers
$59.99
bungsbuch Mathematik fr Wirtschaftswissenschaftler
$39.99
Herder Jahrbuch - Herder Yearbook 2002
$39.99
Stingless Bees
$139.99
Trauma-Biomechanik
$119.99
Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III)
$169.00
Design and Analysis of Subgroups with Biopharmaceutical Applications
$99.00
Key Players and Regional Dynamics in Eurasia
$109.99
New Principles in Developmental Processes
$169.99
Zertifikate im Klimaschutz
$59.99
Normal and Abnormal Swallowing
$249.99
The Maple O.D.E. Lab Book
$99.00
