- 5 Risultati
prezzo più basso: € 13,45, prezzo più alto: € 64,65, prezzo medio: € 31,09
1
Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubne - Richter, Michael M
Ordina
da ebay.de
€ 16,25
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Richter, Michael M:

Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubne - copertina rigida, flessible

1978, ISBN: 3519023458

Stuttgart : Teubner 1978. 232 S. ; Broschiert Sprache: Deutsch ISBN: 3519023458 EAN: 9783519023456 Bestell-Nr: 2005683 Bemerkungen: Das hier angebotene Buch stammt aus einer teilaufgelöst… Altro …

99.8, Zahlungsarten: Paypal, APPLE_PAY, Visa, Mastercard, American Express. Costi di spedizione:Versandkostenfrei, Versand zum Fixpreis, [SHT: Sparversand], 56*** Koblenz, [TO: Amerika, Europa, Asien] (EUR 0.00) besser-kochen
Chiudere (X)
2
Logikkalküle - Michael Richter
Ordina
da Orellfuessli.ch
CHF 61,90
(indicativi € 64,65)
Spedizione: € 18,801
Ordina
Dettagli del offerente
Link sponsorizzato

Michael Richter:

Logikkalküle - edizione con copertina flessibile

ISBN: 9783519023456

In diesem Buch werden Aspekte der Aussagenlogik und der Prädikaten logik der ersten Stufe behandelt. Eine Mathematisierung und Kalkü lisierung der Logik kann natürlich ganz verschieden au… Altro …

Nr. A1030987236. Costi di spedizione:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , in stock, zzgl. Versandkosten. (EUR 18.80)
Chiudere (X)
3
Logikkalküle
Ordina
da Thalia.de
€ 44,99
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Logikkalküle - nuovo libro

ISBN: 9783519023456

In diesem Buch werden Aspekte der Aussagenlogik und der Prädikaten logik der ersten Stufe behandelt. Eine Mathematisierung und Kalkü lisierung der Logik kann natürlich ganz verschieden au… Altro …

Nr. A1030987236. Costi di spedizione:, , DE. (EUR 0.00)
Chiudere (X)
4
Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubner-Studienbücher : Informatik - Richter, Michael M.
Ordina
da ZVAB.com
€ 13,45
Spedizione: € 2,901
Ordina
Dettagli del offerente
Link sponsorizzato
Richter, Michael M.:
Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubner-Studienbücher : Informatik - edizione con copertina flessibile

1978, ISBN: 3519023458

[EAN: 9783519023456], Gebraucht, sehr guter Zustand, [SC: 2.9], [PU: Stuttgart : Teubner], AUSSAGENLOGIK ; PRÄDIKATENLOGIK LOGIKKALKÜL MATHEMATISCHE LOGIK, A MATHEMATIK, 232 S. ; Das hier… Altro …

NOT NEW BOOK. Costi di spedizione: EUR 2.90 books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Koblenz, Germany [1048006] [Rating: 5 (von 5)]
Chiudere (X)
5
Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubner-Studienbücher : Informatik - Richter, Michael M.
Ordina
da Achtung-Buecher.de
€ 16,10
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Richter, Michael M.:
Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubner-Studienbücher : Informatik - libri usati

1978, ISBN: 3519023458

Broschiert 232 S. ; Broschiert Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Institu… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Versandantiquariat Petra Gros GmbH & Co. KG, 56070 Koblenz
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Logikkalküle
Autore:
Titolo:
ISBN:

3519023458


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."

Informazioni dettagliate del libro - Logikkalküle


EAN (ISBN-13): 9783519023456
ISBN (ISBN-10): 3519023458
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1978
Editore: Vieweg & Teubner

Libro nella banca dati dal 2008-04-27T09:38:28+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-28T23:01:15+01:00 (Zurich)
ISBN/EAN: 3519023458

ISBN - Stili di scrittura alternativi:
3-519-02345-8, 978-3-519-02345-6
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : richter michael, teubner
Titolo del libro: logikkalküle, logikkalkle, teubner edition, teubner mathematik, angewandte mechanik, leitfaden der mathematik, leitfäden der angewandten informatik, logik und logikkalkül

Dati dell'editore

Titolo: Leitfäden der angewandten Mathematik und Mechanik - Teubner Studienbücher; Logikkalküle
Editore: Vieweg+Teubner Verlag; Vieweg & Teubner
232 Pagine
Anno di pubblicazione: 1978-06-01
Wiesbaden; DE
Peso: 0,305 kg
Lingua: Tedesco
44,99 € (DE)
46,26 € (AT)
50,00 CHF (CH)
POD
232 S.

BC; Engineering, general; Hardcover, Softcover / Technik; Ingenieurswesen, Maschinenbau allgemein; Verstehen; Algebra; Beweis; Kompaktheitssatz; Logik; Natur; Prädikatenlogik; Sequenzenkalkül; Systeme; Ultraprodukt; Technology and Engineering; EA

1. Einführung und Hilfsmittel.- 1.1 Vorbemerkungen.- 1.2 Erster Abschnitt zur (klassischen) Aussagenlogik.- 1.3 Exkurs in die Allgemeine Algebra.- 1.4 Exkurs über Verbände.- 1.5 Boole’sche Algebren.- 1.6 Heytingalgebren.- 1.7 Orthomodulare Verbände.- 2. Die Aussagenlogik und ihre Vollständigkeitssätze (Hilberttypkalküle).- 2.1 Noch einmal Aussagenlogik ganz allgemein.- 2.2 Klassische Aussagenlogik.- 2.3 Intuitionistische Aussagenlogik.- 2.4 Quantenlogik.- 3. Die Prädikatenlogik und ihre Vollständigkeitssätze (Hilberttypkalküle).- 3.1 Offene Prädikatenlogik (klassisch).- 3.2 Prädikatenlogik mit Quantoren; Substitutionen.- 3.3 Der Gödel’sche Vollständigkeitssatz.- 3.4 Prädikatenlogik mit Gleichheit.- 3.5 Ultraprodukte und der Kompaktheitssatz für beliebige Sprachen der Prädikatenlogik.- 3.6 Intuitionistische Prädikatenlogik.- 4. Gentzensysteme.- 4.1 Der Sequenzenkalkül LK von Gentzen für die klassische Logik und einige seiner grundlegenden Eigenschaften.- 4.2 Der Schnitteliminationssatz und Gentzens Hauptsatz.- 4.3 Einige Anwendungen des Schnitteliminationssatzes.- 4.4 Semantische Betrachtungen, Vollständigkeit.- 4.5 Die Logik mit Gleichheit.- 4.6 Der intuitionistische Gentzenkalkül LJ.- 5. Testmethoden und die Kalküle des Automatischen Beweisens.- 5.1 Allgemeines über Testmethoden.- 5.2 Der Kalkül von Maslov.- 5.3 Die Resolutionsmethode.- 5.4’ Die Paramodulation.- 5.5 Reduktionssysteme.- Symbolverzeichnis.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9783322912084 Logikkalküle (Michael Richter)

< Per archiviare...