Klassische und nichtklassische Aussagenlogik (Logik und Grundlagen der Mathematik) (German Edition)

0 avg rating
( 0 ratings by Goodreads )
 
9783528083854: Klassische und nichtklassische Aussagenlogik (Logik und Grundlagen der Mathematik) (German Edition)
View all copies of this ISBN edition:
 
 

Der Fortschritt der Aussagenlogik in jungster Zeit HiBt es sinnvoll erscheinen, einen breiteren Leserkreis mit dieser Entwicklung bekannt zu machen. Obwohl vorliegendes Buch als Lehrbuch, nicht als Monographie fUr einen engeren Spezialistenkreis konzipiert wurde, soli es in einigen Themen einen tieferen Einblick in den aktuellen Stand der Dinge vermitteln. Kap. lund ein Tei! von Kap. II befassen sich mit der zweiwertigen Aussagenlogik und sind fUr Leser gedacht, die an Logik interessiert sind, doch noch nicht niiher mit ihr befaBt waren. Die etwas breitere Darstellung in diesen Teilen sollte allerdings kein falsches Bild von den wahren Proportionen entstehen lassen. Denn danach nimmt die zweiwertige Aussagenlogik nicht nur innerhalb der Logik insgesamt, sondern schon innerhalb der Aussagenlogik einen Platz ein, der vergleichbar ist mit dem der euklidischen Planimetrie im Rahmen der neueren Geometrie. Lesern mit ausreichenden Vorkennt­ nissen wird es nichts ausmachen, die anfanglichen Teile zu ubergehen und dort zu be­ ginnen, wo Aussagenlogik erst interessant zu werden beginnt, niimlich wo sie den Rahmen zweiwertiger Logik verliiBt.

"synopsis" may belong to another edition of this title.

Language Notes:

Text: German

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 49.99
US$ 47.67

Convert currency

Shipping: US$ 7.94
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Wolfgang Rautenberg (author)
Published by Vieweg+Teubner Verlag 1979-01-01, Wiesbaden (1979)
ISBN 10: 3528083859 ISBN 13: 9783528083854
New paperback Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Vieweg+Teubner Verlag 1979-01-01, Wiesbaden, 1979. paperback. Condition: New. Seller Inventory # 9783528083854

More information about this seller | Contact this seller

Buy New
US$ 47.67
Convert currency

Add to Basket

Shipping: US$ 7.94
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

Rautenberg, Wolfgang
ISBN 10: 3528083859 ISBN 13: 9783528083854
New Quantity Available: 1
Seller:
Rating
[?]

Book Description Condition: New. Publisher/Verlag: Vieweg+Teubner | Der Fortschritt der Aussagenlogik in jungster Zeit HiBt es sinnvoll erscheinen, einen breiteren Leserkreis mit dieser Entwicklung bekannt zu machen. Obwohl vorliegendes Buch als Lehrbuch, nicht als Monographie fUr einen engeren Spezialistenkreis konzipiert wurde, soli es in einigen Themen einen tieferen Einblick in den aktuellen Stand der Dinge vermitteln. Kap. lund ein Tei! von Kap. II befassen sich mit der zweiwertigen Aussagenlogik und sind fUr Leser gedacht, die an Logik interessiert sind, doch noch nicht niiher mit ihr befaBt waren. Die etwas breitere Darstellung in diesen Teilen sollte allerdings kein falsches Bild von den wahren Proportionen entstehen lassen. Denn danach nimmt die zweiwertige Aussagenlogik nicht nur innerhalb der Logik insgesamt, sondern schon innerhalb der Aussagenlogik einen Platz ein, der vergleichbar ist mit dem der euklidischen Planimetrie im Rahmen der neueren Geometrie. Lesern mit ausreichenden Vorkennt nissen wird es nichts ausmachen, die anfanglichen Teile zu ubergehen und dort zu be ginnen, wo Aussagenlogik erst interessant zu werden beginnt, niimlich wo sie den Rahmen zweiwertiger Logik verliiBt. | 'Kap. I Zweiwertige Aussagenlogik.-1 Aussagenlogische Verknüpfungen und Boolesche Funktionen.- Die beiden Hauptprinzipien der klassischen Logik.- Die sogenannten Paradoxien der extensionalen Implikation.- Übersichtliche Zusammenstellung der Aussagenverknüpfungen und ihrer Wahrheitswertefunktionen.- Reduzierbarkeit von Verknüpfungen.-2 Aussagenlogische Formeln, Erfüllbarkeit, Allgemeingüitigkeit.- Der Aufbau aussagenlogischer Formeln.- Das Beweisprinzip der Induktion über den Formelaufbau.- Der Wert einer Formel bei einer Belegung.- Erfüllbarkeit.- Ein logisch-kombinatorisches Problem.- Allgemeingültigkeit.-3 Logische Äquivalenz, Normalformen und funktionale Vollständigkeit.- Logische Äquivalenz-Verschrfung und Abschwächung.- Die TARSKI-Algebra.- Normalformen und funktionale Vollständigkeit.- Funktionale Unvollständigkeit.-4 Aussagenlogisches Folgern und der Endlichkeitssatz.- Definition und erste Eigenschaften des aussagenlogischen Folgerns.- Der Endlichkeitssatz und Anwendungsbeispiele.-5 Interpolation und Definierbarkeit.- Der einfache Interpolationssatz.- Definierbarkeit.- Ein allgemeiner Interpolationssatz und Anwendungen.- Algebraische Fassung des Definierbarkeitstheorems.- Kap.II Aussagenlogische Kalküle und Einführung in die Theorie der deduktiven Systeme.-1 Der klassische Tableau-Kalkül.- Beispiele von Tableaus.- Der Tableau-Kalkül.- Adäquatheit des T-Kalküls.- Der Tableau-Kalkül als Entscheidungsverfahren.-2 Klassische Regel-Kalküle und Axiom-Regel-Kalküle.- Der Kalkül des natürlichen Schließens.- Präzisierung des Kalküls.- Grundeigenschaften der Ableitungsrelation.- Beweisbarkeit auf der Grundlage des S-Kalküls.- Konsistenz.- Beweis der Vollständigkeit durch Reduktion des Problems auf den T Kalkül.- Der Kalkül AK.-3 Deduktive Systeme - ein zweiter Vollständigkeitsbeweis.- Deduktive Systeme.- Der Existenzsatz für relativ maximale Mengen.- J-Systeme und I-Systeme.- Relativ maximale und komplette Mengen-Anwendungen.-4 Einführung in die Theorie der axiomatischen Systeme.- Darstellung deduktiver Systeme als axiomatische Systeme.- Der Verband der strukturellen deduktiven Systeme.- Die klassischen sind die größten I-Systeme.-5 Logische Systeme und der Verband der L-Systeme.- L-Systeme.- Charakterisierung der zu L passenden deduktiven Systeme.- Quasiklassische und hyperklassische Systeme.- Kap. III Mehrwertige Logik - Einführung in die algebraische Semantik.-1 Methodische Einfuhrung anhand dreiwertiger Matrizen.- Dreiwertige logische Matrizen.- Verallgemeinerung von Fragestellungen der klassischen auf dreiwertige Logiken.- Andere dreiwertige Matrizen.-2 Definition und Anwendungen mehrwertiger Matrizen.- Der Begriff einer mehrwertigen Matrix.- Anwendung auf Fragen der Unabhängigkeit und Konsistenz.- Das Entscheidungsproblem und die endliche Modelleigenschaft. Seller Inventory # K9783528083854

More information about this seller | Contact this seller

Buy New
US$ 54.12
Convert currency

Add to Basket

Shipping: US$ 3.21
From Germany to U.S.A.
Destination, rates & speeds

3.

WOLFGANG RAUTENBERG
Published by Vieweg+Teubner Verlag (1979)
ISBN 10: 3528083859 ISBN 13: 9783528083854
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Vieweg+Teubner Verlag, 1979. Paperback. Condition: NEW. 9783528083854 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0317953

More information about this seller | Contact this seller

Buy New
US$ 51.77
Convert currency

Add to Basket

Shipping: US$ 10.55
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Rautenberg, Wolfgang
Published by Vieweg+teubner Verlag (1979)
ISBN 10: 3528083859 ISBN 13: 9783528083854
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Vieweg+teubner Verlag, 1979. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783528083854

More information about this seller | Contact this seller

Buy New
US$ 63.57
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

5.

Rautenberg, Wolfgang
Published by Vieweg+teubner Verlag (1979)
ISBN 10: 3528083859 ISBN 13: 9783528083854
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Vieweg+teubner Verlag, 1979. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783528083854

More information about this seller | Contact this seller

Buy New
US$ 56.58
Convert currency

Add to Basket

Shipping: US$ 11.90
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

Rautenberg, Wolfgang
Published by Vieweg+Teubner Verlag (2016)
ISBN 10: 3528083859 ISBN 13: 9783528083854
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Vieweg+Teubner Verlag, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783528083854_lsuk

More information about this seller | Contact this seller

Buy New
US$ 63.69
Convert currency

Add to Basket

Shipping: US$ 5.12
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

Wolfgang Rautenberg
Published by Vieweg & Teubner Verlag Jan 1979 (1979)
ISBN 10: 3528083859 ISBN 13: 9783528083854
New Taschenbuch Quantity Available: 1
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Vieweg & Teubner Verlag Jan 1979, 1979. Taschenbuch. Condition: Neu. Neuware - Der Fortschritt der Aussagenlogik in jungster Zeit HiBt es sinnvoll erscheinen, einen breiteren Leserkreis mit dieser Entwicklung bekannt zu machen. Obwohl vorliegendes Buch als Lehrbuch, nicht als Monographie fUr einen engeren Spezialistenkreis konzipiert wurde, soli es in einigen Themen einen tieferen Einblick in den aktuellen Stand der Dinge vermitteln. Kap. lund ein Tei! von Kap. II befassen sich mit der zweiwertigen Aussagenlogik und sind fUr Leser gedacht, die an Logik interessiert sind, doch noch nicht niiher mit ihr befaBt waren. Die etwas breitere Darstellung in diesen Teilen sollte allerdings kein falsches Bild von den wahren Proportionen entstehen lassen. Denn danach nimmt die zweiwertige Aussagenlogik nicht nur innerhalb der Logik insgesamt, sondern schon innerhalb der Aussagenlogik einen Platz ein, der vergleichbar ist mit dem der euklidischen Planimetrie im Rahmen der neueren Geometrie. Lesern mit ausreichenden Vorkennt nissen wird es nichts ausmachen, die anfanglichen Teile zu ubergehen und dort zu be ginnen, wo Aussagenlogik erst interessant zu werden beginnt, niimlich wo sie den Rahmen zweiwertiger Logik verliiBt. 376 pp. Deutsch. Seller Inventory # 9783528083854

More information about this seller | Contact this seller

Buy New
US$ 54.12
Convert currency

Add to Basket

Shipping: US$ 20.01
From Germany to U.S.A.
Destination, rates & speeds

8.

Wolfgang Rautenberg
Published by Vieweg & Teubner Verlag Jan 1979 (1979)
ISBN 10: 3528083859 ISBN 13: 9783528083854
New Taschenbuch Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Vieweg & Teubner Verlag Jan 1979, 1979. Taschenbuch. Condition: Neu. Neuware - Der Fortschritt der Aussagenlogik in jungster Zeit HiBt es sinnvoll erscheinen, einen breiteren Leserkreis mit dieser Entwicklung bekannt zu machen. Obwohl vorliegendes Buch als Lehrbuch, nicht als Monographie fUr einen engeren Spezialistenkreis konzipiert wurde, soli es in einigen Themen einen tieferen Einblick in den aktuellen Stand der Dinge vermitteln. Kap. lund ein Tei! von Kap. II befassen sich mit der zweiwertigen Aussagenlogik und sind fUr Leser gedacht, die an Logik interessiert sind, doch noch nicht niiher mit ihr befaBt waren. Die etwas breitere Darstellung in diesen Teilen sollte allerdings kein falsches Bild von den wahren Proportionen entstehen lassen. Denn danach nimmt die zweiwertige Aussagenlogik nicht nur innerhalb der Logik insgesamt, sondern schon innerhalb der Aussagenlogik einen Platz ein, der vergleichbar ist mit dem der euklidischen Planimetrie im Rahmen der neueren Geometrie. Lesern mit ausreichenden Vorkennt nissen wird es nichts ausmachen, die anfanglichen Teile zu ubergehen und dort zu be ginnen, wo Aussagenlogik erst interessant zu werden beginnt, niimlich wo sie den Rahmen zweiwertiger Logik verliiBt. 376 pp. Deutsch. Seller Inventory # 9783528083854

More information about this seller | Contact this seller

Buy New
US$ 54.12
Convert currency

Add to Basket

Shipping: US$ 20.01
From Germany to U.S.A.
Destination, rates & speeds

9.

Rautenberg, Wolfgang
Published by Vieweg+Teubner Verlag (1979)
ISBN 10: 3528083859 ISBN 13: 9783528083854
New Paperback Quantity Available: 10
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Vieweg+Teubner Verlag, 1979. Paperback. Condition: New. Seller Inventory # INGM9783528083854

More information about this seller | Contact this seller

Buy New
US$ 79.29
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

10.

Wolfgang Rautenberg
Published by Vieweg+Teubner Verlag (1979)
ISBN 10: 3528083859 ISBN 13: 9783528083854
New Paperback Quantity Available: 1
Seller:
The Book Depository EURO
(London, United Kingdom)
Rating
[?]

Book Description Vieweg+Teubner Verlag, 1979. Paperback. Condition: New. 1979 ed.. Language: German . Brand New Book. Der Fortschritt der Aussagenlogik in jungster Zeit HiBt es sinnvoll erscheinen, einen breiteren Leserkreis mit dieser Entwicklung bekannt zu machen. Obwohl vorliegendes Buch als Lehrbuch, nicht als Monographie fUr einen engeren Spezialistenkreis konzipiert wurde, soli es in einigen Themen einen tieferen Einblick in den aktuellen Stand der Dinge vermitteln. Kap. lund ein Tei! von Kap. II befassen sich mit der zweiwertigen Aussagenlogik und sind fUr Leser gedacht, die an Logik interessiert sind, doch noch nicht niiher mit ihr befaBt waren. Die etwas breitere Darstellung in diesen Teilen sollte allerdings kein falsches Bild von den wahren Proportionen entstehen lassen. Denn danach nimmt die zweiwertige Aussagenlogik nicht nur innerhalb der Logik insgesamt, sondern schon innerhalb der Aussagenlogik einen Platz ein, der vergleichbar ist mit dem der euklidischen Planimetrie im Rahmen der neueren Geometrie. Lesern mit ausreichenden Vorkennt- nissen wird es nichts ausmachen, die anfanglichen Teile zu ubergehen und dort zu be- ginnen, wo Aussagenlogik erst interessant zu werden beginnt, niimlich wo sie den Rahmen zweiwertiger Logik verliiBt. Seller Inventory # KNV9783528083854

More information about this seller | Contact this seller

Buy New
US$ 81.18
Convert currency

Add to Basket

Shipping: US$ 3.97
From United Kingdom to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book