Logik logikprogrammierung (10 resultados)

Broschiert, Gr.-8°. Condición: Gut. 1995. 262 S. Das Buch ist in gutem, sauberen Zustand. Einband minimal berieben / fleckig. Ecken und Kanten leicht bestossen. Sonst sauberes und wohlerhaltenes Exemplar. -----Inhalt. Dieses Lehrbuch enthält über den Stoff einer einsemestrigen Einführungsvorlesung hinaus auch Material für eine Vorlesung über Logik für Informatiker (speziell logisches Programmieren), sowie in begrenztem Maße auch Basismaterial für eine Fortsetzung der Einführung in die Spezialrichtungen Modelltheorie, Rekursionstheorie und Beweistheorie. Für eine gekürzte Einführung in die Mathematische Logik kombiniert mit einer Einführung in die Mengenlehre empfiehlt sich für den logischen Teil der Stoff der ersten drei Kapitel.Unabhängig von Vorlesungskonzepten ist das Buch auch zum Selbststudium geeignet. Für einen Großteil der Übungen gibt es Lösungshinweise. Außer einer gewissen Schulung im mathematischen Schließen sind spezielle Vorkenntnisse nicht erforderlich; lediglich für Teile der Modelltheorie wären algebraische Grundkenntnisse wünschenswert. Die Verzeichnisse (Stichwörter, Symbole, Literatur) sind ausführlich und kommen der selbständigen Erarbeitung des Stoffes sehr entgegen.Das Buch ist inhaltsreich und flüssig geschrieben. Aus der Literatur bekannte Beweise wurden oft erheblich vereinfacht. Auch werden viele interessante Details präsentiert, die in der Lehrbuchliteratur nur schwer zu finden sind. Beispiele: Fragmente der 1. Stufe (etwa der Birkhoffsche Vollständigkeitssatz) und die Solovayschen Vollständigkeitssätze über Selbstreferenz. Die Gödelschen Unvollständigkeitssätze und ihr Umfeld werden besonders ausführlich behandelt. Nur gelegentlich werden weiterführende Betrachtungen angestellt, die mit Verweisen auf entsprechende Literaturstellen abschließen. ISBN: 9783528067540 Due to new EU packaging regulations, we are currently unable to ship to many EU countries. Shipping to Germany, the Netherlands, Ireland, Finland, and the Baltic states is possible. Deliveries to border-based parcel lockers or cross-border parcel forwarding services remain possible. Shipping to all countries outside the EU also remains possible. Sprache: Deutsch Gewicht in Gramm: 422.…

Softcover. Condición: Gut. XII, 250 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. M16144 3528067543 Sprache: Deutsch Gewicht in Gramm: 550.

Softcover. Condición: Gut. xii, 250 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03713 3528067543 Sprache: Deutsch Gewicht in Gramm: 550.

2., erweiterte Aufl. Broschur 23x16 cm, Einband abgegriffen, Deckelkanten mit kl. Knicken. 304 S. Gewicht in Gramm: 540.

Broschur 23x15 cm, Einband deutlich abgegriffen, 302 S. Gewicht in Gramm: 530.

Softcover. Condición: Gut. Softcover, Einband gebrauchsspurig/ansonsten guter Zustand, Vieweg 1996, Versand weltweit / international shipping.

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 262 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.

Condición: Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.

kart. Condición: Neu. 3., durchges. Aufl. VIII, 302 S. ; 24 cm, 540 gr. neu, noch in Schutzfolie, Versand spätestens am nächsten Werktag Sprache: Deutsch Gewicht in Gramm: 550.

Condición: gut. Logik und Logikprogrammierung In deutscher Sprache. pages.