0
Your cart

Your cart is empty

Books > Professional & Technical > Technology: general issues > Engineering: general

Buy Now

Logikkalkule (German, Paperback, 1978 ed.) Loot Price: R1,241
Discovery Miles 12 410
Logikkalkule (German, Paperback, 1978 ed.): Michael Richter

Logikkalkule (German, Paperback, 1978 ed.)

Michael Richter

Series: Leitfaden Der Angewandten Mathematik Und Mechanik - Teubner, 43

 (sign in to rate)
Loot Price R1,241 Discovery Miles 12 410 | Repayment Terms: R116 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

In diesem Buch werden Aspekte der Aussagenlogik und der Pradikaten logik der ersten Stufe behandelt. Eine Mathematisierung und Kalku lisierung der Logik kann naturlich ganz verschieden ausfallen, je nach dem, von welchen Motiven man sich primar leiten lasst. Wir stellen drei Gesichtspunkte, die uns auch als die wesentlichsten erscheinen, in den Vordergrund: Die Formalisierung des Wahrheits begriffes, die Formalisierung des Beweisbarkeitsbegriffes und das Problem des Suchens nach Beweisen. Diese drei Aspekte fuhren zu drei verschiedenen Arten von Kalkulen. Die Betonung des Wahrheitsbegriffes fuhrte auf die untersuchung der Hilberttypkalkule von einem Standpunkt, wie er etwa auch im Buch von Rasiowa-Sikorski Ra-Si] eingenommen wird. Hierbei wurde besonderen Wert auf die algebraischen Techniken gelegt, denn die Natur der Vollstandigkeitsbeweise in diesen Kalkulen lasst sich u. E. eigentlich nur algebraisch verstehen. Etwas uberspitzt konnte man formulieren, dass die Vollstandigkeitsbeweise in Hilberttypkal kulen Korollare zu Betrachtungen uber Kongruenzrelationen in ge wissen Boole'schen Algebren sind. Bei den modelltheoretischen Be trachtungen haben wir uns kurz ge fasst und nur einige grundlegende Begriffe vorgestellt."

General

Imprint: Vieweg+teubner Verlag
Country of origin: Germany
Series: Leitfaden Der Angewandten Mathematik Und Mechanik - Teubner, 43
Release date: June 1978
First published: June 1978
As told to: Michael Richter
Dimensions: 216 x 140 x 13mm (L x W x T)
Format: Paperback - Trade
Pages: 232
Edition: 1978 ed.
ISBN-13: 978-3-519-02345-6
Languages: German
Subtitles: German
Categories: Books > Professional & Technical > Technology: general issues > Engineering: general
Promotions
LSN: 3-519-02345-8
Barcode: 9783519023456

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Betting On A Darkie - Lifting The…
Mteto Nyati Paperback  (2)
R375 R352 Discovery Miles 3 520
Project Management For Engineering…
John M. Nicholas, Herman Steyn Paperback R581 Discovery Miles 5 810
Integrated Computational Life Cycle…
Cerdas Felipe Cerdas Hardcover R3,739 Discovery Miles 37 390
Axiomatic Design - Advances and…
Nam P Suh Hardcover R6,097 Discovery Miles 60 970
Principles of Helicopter Flight Dynamics
Yihua Cao Hardcover R2,162 Discovery Miles 21 620
Concentration Inequalities - A…
Stephane Boucheron, Gabor Lugosi, … Hardcover R5,148 Discovery Miles 51 480
Electrical and Magnetic Circuits
Konstantin K Kim Hardcover R2,562 Discovery Miles 25 620
The Nature of the Industrial Innovation…
Gunnar H Sohlenius Hardcover R2,902 Discovery Miles 29 020
Die swaardvegter
Gerrie Radloff Paperback R100 R93 Discovery Miles 930
The Art of Boot and Shoemaking - a…
John Bedford 1824-1894 Leno Hardcover R903 Discovery Miles 9 030
The Life of George Stephenson, Railway…
Samuel Smiles Paperback R689 Discovery Miles 6 890
The Practical American Millwright and…
David Craik Paperback R651 Discovery Miles 6 510

See more

Partners