Einführung in die Mathematische Logik - 5 Angebote vergleichen

Lieferung aus: Deutschland, Download sofort lieferbar.
Ein Lehrbuch mit Berucksichtigung der Logikprogrammierung, 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 mit Berücksichtigung der Logikprogrammierung. Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik,.

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

Lieferung aus: Deutschland, Lagernd.
Professor Wolfgang Rautenberg lehrt Mathematik an der Freien Universität Berlin. eBook.

Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen