- 5 resultados
menor preço: € 13.45, preço mais alto: € 64.65, preço médio: € 31.09
1
Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubne - Richter, Michael M
Encomendar
no/na ebay.de
€ 16.25
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Richter, Michael M:

Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubne - encadernada, livro de bolso

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… mais…

99.8, Zahlungsarten: Paypal, APPLE_PAY, Visa, Mastercard, American Express. Custos de envio:Versandkostenfrei, Versand zum Fixpreis, [SHT: Sparversand], 56*** Koblenz, [TO: Amerika, Europa, Asien] (EUR 0.00) besser-kochen
fechar(X)
2
Logikkalküle - Michael Richter
Encomendar
no/na Orellfuessli.ch
CHF 61.90
(aproximadamente € 64.65)
Envio: € 18.801
Encomendar
Detalhes fornecedor
Link patrocinado

Michael Richter:

Logikkalküle - Livro de bolso

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… mais…

Nr. A1030987236. Custos de envio:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , in stock, zzgl. Versandkosten. (EUR 18.80)
fechar(X)
3
Logikkalküle
Encomendar
no/na Thalia.de
€ 44.99
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Logikkalküle - nuovo livro

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… mais…

Nr. A1030987236. Custos de envio:, , DE. (EUR 0.00)
fechar(X)
4
Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubner-Studienbücher : Informatik - Richter, Michael M.
Encomendar
no/na ZVAB.com
€ 13.45
Envio: € 2.901
Encomendar
Detalhes fornecedor
Link patrocinado
Richter, Michael M.:
Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubner-Studienbücher : Informatik - Livro de bolso

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… mais…

NOT NEW BOOK. Custos de envio: EUR 2.90 books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Koblenz, Germany [1048006] [Rating: 5 (von 5)]
fechar(X)
5
Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubner-Studienbücher : Informatik - Richter, Michael M.
Encomendar
no/na Achtung-Buecher.de
€ 16.10
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Richter, Michael M.:
Logikkalküle. Leitfäden der angewandten Mathematik und Mechanik ; Bd. 43; Teubner-Studienbücher : Informatik - livro usado

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… mais…

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Versandantiquariat Petra Gros GmbH & Co. KG, 56070 Koblenz
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Logikkalküle
Autor:
Título:
Número 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."

Dados detalhados do livro - Logikkalküle


EAN (ISBN-13): 9783519023456
ISBN (ISBN-10): 3519023458
Livro de capa dura
Livro de bolso
Ano de publicação: 1978
Editor/Editora: Vieweg & Teubner

Livro na base de dados desde 2008-04-27T04:38:28-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-02-28T19:01:15-03:00 (Sao Paulo)
Número ISBN/EAN: 3519023458

Número ISBN - Ortografia alternativa:
3-519-02345-8, 978-3-519-02345-6
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: richter michael, teubner
Título do livro: logikkalküle, logikkalkle, teubner edition, teubner mathematik, angewandte mechanik, leitfaden der mathematik, leitfäden der angewandten informatik, logik und logikkalkül

Dados da editora

Título: Leitfäden der angewandten Mathematik und Mechanik - Teubner Studienbücher; Logikkalküle
Editora: Vieweg+Teubner Verlag; Vieweg & Teubner
232 Páginas
Ano de publicação: 1978-06-01
Wiesbaden; DE
Peso: 0,305 kg
Língua: Alemão
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.

Outros livros adicionais, que poderiam ser muito similares com este livro:

Último livro semelhante:
9783322912084 Logikkalküle (Michael Richter)

< Para arquivar...