Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Formale Logik

Name: Formale Logik
Brand: tredition
SKU: 52233284
Price: 37.69 EUR
Availability: InStock
Author: Lucien Sina
ISBN: 9783384901095

DE

Lucien Sina

Lingua

Tedesco

Libro Rigido

Codice Libristo: 52233284

Casa editrice tredition, aprile 2026

Warum sind manche Schlüsse zwingend, und wo liegen die Grenzen formaler Systeme?Dieses Buch bietet e... Descrizione completa

Codice Libristo: 52233284

92 b

In preparazione Nuovi

Nuovi

37.69 €

Immagazzinamento previsto Pubblicazione 11. 05. 2026

30 giorni per il reso

I clienti hanno acquistato anche

Foster Sisters Edmond Brenan Loughnan

Rigido

41.59 €

Essentials of Finance and Accounting for Nonfinancial Managers Fields

In brossura

20.59 €

The Exile's Papers: The Dirt's Passion Is Flesh Sorrow Wayne Clifford

In brossura

16.49 €

Sentence Arbitrale Rendue Par Sa Majeste l'Empereur Des Francais NAPOLEON III

In brossura

19.09 €

Cultural Legacy of the Royal Game of the Goose Adrian Seville

Rigido

187.09 €

Traces vives Lytta Basset

In brossura

27.39 €

Warum sind manche Schlüsse zwingend, und wo liegen die Grenzen formaler Systeme?Dieses Buch bietet einen verständlichen und systematischen Einstieg in die formale Logik. Es behandelt Aussagenlogik und Prädikatenlogik ebenso wie Äquivalenzen, Normalformen, Resolution und automatisches Schließen. Die zentralen Begriffe und Methoden werden Schritt für Schritt entwickelt und auch für Einsteiger gut nachvollziehbar dargestellt.Ergänzt wird dies durch Modallogik sowie nichtklassische Logiken wie Fuzzy-Logik, Defaultlogik und Antwortmengenprogrammierung. Ein besonderer Schwerpunkt liegt auf den Gödelschen Unvollständigkeitssätzen, die eindrucksvoll zeigen, dass formale Systeme prinzipielle Grenzen haben.Ein fundiertes Buch für alle, die Logik nicht nur anwenden, sondern wirklich verstehen möchten.