Martin Ziegler

Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte. Nach dem Prädikatenkalkül und seinen Anwendungen auf die Anfänge der künstlichen Intelligenz wird die Mengenlehre axiomatisch dargestellt. Im dritten und vierten Teil werden die notwendigen Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der in den natürlichen Zahlen definierbaren Teilmengen eingeführt, um schließlich die Gödelschen Unvollständigkeitssätze zu beweisen. Durch seinen klaren Stil und die eingefügten Übungsaufgaben ist dieses Buch eine konzise Einführung in diese Grundlagen der gesamten Mathematik. Für die zweite Auflage wurde an einigen Stellen wurde die Darstellung verbessert und eine Reihe von Fehlern,insbesondere in den Aufgaben, korrigiert.

www.ernst-und-sohn.de Mit der Veröffentlichung der deutschen Fassung des Eurocodes 7-1: Entwurf, Berechnung und Bemessung in der Geotechnik ? Teil 1: Allgemeine Regeln als DIN EN 1997-1:2009 und des zugehörigen Nationalen Anhangs DIN EN 1997-1/NA:2010 mit den Ergänzenden Regelungen in DIN EN 1054:2010 liegt das geschlossene neue europäische Normenwerk für die Sicherheitsnachweise im Erd- und Grundbau nun für die Anwendung in Deutschland vor. Die in einem Normenhandbuch zusammengefassten Regelungen ersetzen die bisherige DIN 1054:2005. In dem vorliegenden Buch werden die Grundlagen und Begriffe der Nachweisführung vorgestellt. Soweit nötig wird dabei auch auf die mit geltenden Normen und Empfehlungen wie die Geländebruchnorm DIN 4084 oder die Erddrucknorm DIN 4085 sowie die EAB, EAU, EA-Pfähle und die EBGEO eingegangen. Die erforderlichen Nachweise werden erläutert und anhand von Ablaufdiagrammen und zahlreichen Beispielen verdeutlicht. Dabei werden alle gängigen geotechnischen Aufgaben wie Flächengründungen, Pfahlgründungen, Baugrubenwände, Verankerungen, Stützbauwerke sowie die Versagensformen durch Grundbruch, Geländebruch und hydraulisch bedingtes Versagen angesprochen. Im Juli 2012 sollen die Eurocodes ohne Übergangsfrist bauaufsichtlich eingeführt werden. Die Beispielsammlung im Buch ermöglicht einen schnellen Einstieg in das neue Normenwerk und bildet so für Geotechniker und Bauingenieure ein unverzichtbares Hilfsmittel bei der Anwendung des Regelwerks in der praktischen Tätigkeit.

This concise introduction to model theory begins with standard notions and takes the reader through to more advanced topics such as stability, simplicity and Hrushovski constructions. The authors introduce the classic results, as well as more recent developments in this vibrant area of mathematical logic. Concrete mathematical examples are included throughout to make the concepts easier to follow. The book also contains over 200 exercises, many with solutions, making the book a useful resource for graduate students as well as researchers.

Zielsetzung der Arbeit ist die Durchleuchtung der Ergebnisverwendung bei Kapitalgesellschaften aus Sicht der Rechnungslegung und Publizitat. Welchen Niederschlag findet eine bestimmte Verwendung? Erfullen die Darstellung und Offenlegung nach geltendem Recht stets die Vorgaben der 4. EG-Richtlinie? Herausgearbeitet wird die mangelhafte Trennung zwischen Ergebnisermittlung und Ergebnisverwendung sowie die Schwachen des geltenden Rechts, die hinsichtlich der Offenlegung der Ergebnisverwendung insbesondere bei der GmbH bestehen. Abschliessend erfolgen Uberlegungen zur Verbesserung der Darstellung und Publizitat der Ergebnisverwendung (allgemeine Dokumentationsanforderungen sowie konkrete Verbesserungsansatzpunkte)."