Einführung in die Mathematische Logik - 5 Angebote vergleichen

Lieferung aus: Deutschland, Lagernd.
Dieses recht umfassende Lehrbuch wurde geschrieben für Studenten und Dozenten der Mathematik und Informatik, und wegen der ausführlichen Darstellung der Gödelschen Unvollständigkeitssätze auch der Philosophischen Logik. Der Text der ersten Auflage wurde in allen Details gründlich revidiert. Insbesondere wurden die Kapitel 6 und 7 über Unentscheidbarkeit und Unvollständigkeit neu organisiert und erheblich erweitert. Kapitel 7 geht jetzt über den zweiten Unvollständigkeitssatz hinaus und berücksichtigt die neuere Entwicklung. Die Darstellung in den ersten drei Kapiteln ist ziemlich breit gehalten, so dass der Student noch vor einer Vorlesung auch im Selbststudium den Stoff mühelos bewältigen kann. Klarheit in der Sprache und ein ordentliches Schriftbild sollten dabei helfen. Es gibt in diesem Buche keine Formeltrennungen im Zeilenumbruch. Kapitel 4 befasst sich mit den Grundlagen der Logikprogrammierung. Die berechenbaren Funktionen lassen sich sehr natürlich durch PROLOG-Programme definieren. Damit wird die Unentscheidbarkeit des Existenzproblems erfolgreicher Resolutionen bewiesen. Dies erklärt die Schwierigkeiten, die mit der Problemlösung durch Anfragen an Logikprogramme zusammenhängen. eBook.

Lieferung aus: Deutschland, Download sofort lieferbar.
Ein Lehrbuch, eBooks, eBook Download (PDF), Dieses Lehrbuch enthalt uber den Stoff einer einsemestrigen Einfuhrungsvorlesung hinaus auch Material fur eine Vorlesung uber Logik fur Informatiker (speziell logisches Programmieren), sowie in begrenztem Mae auch Basismaterial fur eine Fortsetzung der Einfuhrung in die Spezialrichtungen Modelltheorie, Rekursionstheorie und Beweistheorie. Fur eine gekurzte Einfuhrung in die Mathematische Logik kombiniert mit einer Einfuhrung in die Mengenlehre empfiehlt sich fur den logischen Teil der Stoff der ersten drei Kapitel. Unabhangig von Vorlesungskonzepten ist das Buch auch zum Selbststudium geeignet. Fur einen Groteil der Ubungen gibt es Losungshinweise. Auer einer gewissen Schulung im mathematischen Schlieen sind spezielle Vorkenntnisse nicht erforderlich; lediglich fur Teile der Modelltheorie waren algebraische Grundkenntnisse wunschenswert. Die Verzeichnisse (Stichworter, Symbole, Literatur) sind ausfuhrlich und kommen der selbstandigen Erarbeitung des Stoffes sehr entgegen. Das Buch ist inhaltsreich und flussig geschrieben. Aus der Literatur bekannte Beweise wurden oft erheblich vereinfacht. Auch werden viele interessante Details prasentiert, die in der Lehrbuchliteratur nur schwer zu finden sind. Beispiele: Fragmente der 1. Stufe (etwa der Birkhoffsche Vollstandigkeitssatz) und die Solovayschen Vollstandigkeitssatze uber Selbstreferenz. Die Godelschen Unvollstandigkeitssatze und ihr Umfeld werden besonders ausfuhrlich behandelt. Nur gelegentlich werden weiterfuhrende Betrachtungen angestellt, die mit Verweisen auf entsprechende Literaturstellen abschlieen.

Einführung in die Mathematische Logik ab 36.99 € als pdf eBook: Ein Lehrbuch. Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik,.

Lieferung aus: Deutschland, Versandkostenfrei, in stock.
Einführung in die Mathematische Logik - Ein Lehrbuch: ab 36.99 €.

Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Lagernd.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen