Martin Ziegler - Böcker

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.

This open access book offers a timely and comprehensive review of the field of neurotronics. Gathering cutting-edge contributions from neuroscientists, biologists, psychologists, as well as physicists, microelectronics engineers and information scientists, it gives extensive information on fundamental information pathways in selected nervous systems. It also highlights their relevance as building blocks for novel computing architectures, such as bio-inspired electronic devices, neuromorphic architectures, memristive devices, adaptive sensors and emergent, pulsed-coupled oscillatory networks.  All in all, this book offers a unique bridge between fundamental research in neuroscience, neural information processing, nonlinear dynamics, and self-organization, and advanced practical applications concerning the fabrication of hardware-oriented computing.

This open access book offers a timely and comprehensive review of the field of neurotronics. Gathering cutting-edge contributions from neuroscientists, biologists, psychologists, as well as physicists, microelectronics engineers and information scientists, it gives extensive information on fundamental information pathways in selected nervous systems. It also highlights their relevance as building blocks for novel computing architectures, such as bio-inspired electronic devices, neuromorphic architectures, memristive devices, adaptive sensors and emergent, pulsed-coupled oscillatory networks.  All in all, this book offers a unique bridge between fundamental research in neuroscience, neural information processing, nonlinear dynamics, and self-organization, and advanced practical applications concerning the fabrication of hardware-oriented computing.

Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte.

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.