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 |
|
$26.96 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Regionalism in Europe
$84.99
Calculus and Mechanics on Two-Point Homogenous Riemannian Spaces
$39.99
Semiconductor Devices and Integrated Electronics
$84.99
Contemporary Confucianism in Thought and Action
$54.99
Topological Microfluidics
$84.99
Transcendental Phenomenology as Human Possibility
$99.00
Models of God and Alternative Ultimate Realities
$169.00
Analysis and Modelling of Advanced Structures and Smart Systems
$169.99
Engineering, Poverty, and the Earth
$19.99
Designing Research on Bilingual Development
$39.99
The Personal and the Political
$39.99
Cooperative Control of Multi-agent Systems
$179.99
Neural Nets WIRN VIETRI-98
$84.99
Recent Trends in Civil Engineering
$219.99
Island of Reil (Insula) in the Human Brain
$139.99
Information Systems, Management, Organization and Control
$109.99
NAFTA 2.0
$119.00
Reclaiming Cities as Spaces of Middle Class Parenthood
$129.99
Umwelt- und kologiebewegungen
$17.99
Learning, Working and Living
$109.99
Hepatocellular Carcinoma
$109.99
Sociobiology: Sense or Nonsense?
$54.99
Proceedings of International Conference on Frontiers in Computing and Systems
$169.00
Dynamik von Armut
$69.95
Type-1 Diabetes
$179.99
Medical Wisdom and Doctoring
$79.99
Kosmologie fr alle, die mehr wissen wollen
$24.99
Standard Monomial Theory
$129.99
Chemie der Umweltbelastung
$39.99
Linear Algebra for Signal Processing
$129.00
I Can Read! Level 2 - Reina Ramos: Reina Ramos Works It Out
$4.46
Animals and the Shaping of Modern Medicine
$31.00
Optimal Control with Engineering Applications
$99.00
Breaking the Silence on Spiritual Abuse
$129.99
Immunology: Overview and Laboratory Manual
$64.99
Advanced Laparoscopic Surgery
$84.99
Primary Brain Tumors
$84.99
Einfhrung in das Management von Geschftsprozessen
$59.99
Beyond the Great Forgetting
$39.99
Bioinformatics Research and Applications
$54.99
