Formalisieren und Beweisen: Logik für Informatiker
Author:   Dirk Siefkes
Publisher:   Springer Fachmedien Wiesbaden
Edition:   2. Aufl. 1992
ISBN:  

9783528147570


Pages:   259
Publication Date:   01 January 1992
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $197.97 Quantity:  
Add to Cart

Share |

Formalisieren und Beweisen: Logik für Informatiker


Add your own review!

Overview

Full Product Details

Author:   Dirk Siefkes
Publisher:   Springer Fachmedien Wiesbaden
Imprint:   Vieweg+Teubner Verlag
Edition:   2. Aufl. 1992
Dimensions:   Width: 17.00cm , Height: 1.50cm , Length: 24.40cm
Weight:   0.488kg
ISBN:  

9783528147570


ISBN 10:   3528147571
Pages:   259
Publication Date:   01 January 1992
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Language:   German

Table of Contents

Einfuhrung.- 1A Formeln schreiben und benutzen.- 1B Allgemeingultige Formeln und logisches Folgern.- 1C Entscheidungsverfahren und Normalformen.- 1D Ableiten.- 2A Situationen strukturieren und durch Formeln beschreiben.- 2B Mit Formeln und Strukturen umgehen.- 2C Strukturieren, Formalisieren, Axiomatisieren.- 2D Ableiten.- 3A Quantorenformeln.- 3B Finitisieren und mechanisieren.- 3C Geometrie und Zahlen axiomatisieren.- 3D Starken und Schwachen.- Anhang Unvollstandiger Dialog uber Vollstandigkeit.- Die Lehrveranstaltung Logik fur Informatiker.- Verzeichnisse.- Personenverzeichnis.- Begriffsverzeichnis.- Symbolverzeichnis.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now