Studienbücher Informatik
|
|
- Karlheinz Weiß
- vor 6 Jahren
- Abrufe
Transkript
1 Studienbücher Informatik
2 Die Reihe Studienbücher Informatik wird herausgegeben von Walter Hower.
3 Michael Schenke Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?
4 Prof. Dr. Dr. Michael Schenke Hochschule Merseburg Merseburg Deutschland ISBN DOI / ISBN (ebook) Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über abrufbar. Springer Vieweg Springer Fachmedien Wiesbaden 2013 Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung, die nicht ausdrücklich vom Urheberrechtsgesetz zugelassen ist, bedarf der vorherigen Zustimmung des Verlags. Das gilt insbesondere für Vervielfältigungen, Bearbeitungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen. Die Wiedergabe von Gebrauchsnamen, Handelsnamen, Warenbezeichnungen usw. in diesem Werk berechtigt auch ohne besondere Kennzeichnung nicht zu der Annahme, dass solche Namen im Sinne der Warenzeichen- und Markenschutz-Gesetzgebung als frei zu betrachten wären und daher von jedermann benutzt werden dürften. Gedruckt auf säurefreiem und chlorfrei gebleichtem Papier Springer Vieweg ist eine Marke von Springer DE. Springer DE ist Teil der Fachverlagsgruppe Springer Science+Business Media
5 Vorwort Das vorliegende Buch geht zurück auf Beobachtungen aus Schenke (1997) zu Verbindungen zwischen verschiedenen Logiken, die dort aber nicht weiter verfolgt wurden. Dort lag das Augenmerk auf anderen Fragen, nämlich der sicheren Implementierung von Realzeitsystemen. Trotzdem schien es mir schon damals lohnend, der Frage genauer nachzugehen, inwieweit verschiedene Logiken auf einer gemeinsamen Basis gegründet sein und in einem Lehrbuch dargestellt werden können. Im Laufe der Jahre hat sich mir dann die Gelegenheit geboten, verschiedene Logiken und die Verbindungen zwischen ihnen aus verschiedenen Perspektiven in einer Reihe von Lehrveranstaltungen vorzustellen und auch in Skripten darzustellen, die die Grundlage zu diesem Buch bilden. Inhaltlich steht aber immer die Frage der Anwendbarkeit der Logiken für die Informatik im Vordergrund, das heißt in diesem Fall die Frage nach Kalkülen, die als Grundlage einer Implementierung dienen können. Natürlich können Kalküle, also die syntaktischen Formalismen, nicht alleine untersucht werden. Werden neben den syntaktischen auch die semantischen Grundlagen der Logiken genauer behandelt, so kommen automatisch typische Fragen wie die nach Korrektheit, Vollständigkeit oder Entscheidbarkeit der verschiedenen Kalküle auf. Für mich ist es wichtig, in diesem Buch auch die Hintergründe der Logiken mit zu betrachten, bis hinein in andere Wissenschaften, etwa Philosophie oder Sprachwissenschaft. Das Wesentliche dieses Buches ist die Darstellung der verschiedenen Logiken, ihrer Hintergründe und der Querbeziehungen zwischen ihnen. Allerdings erhebe ich keinen Anspruch darauf, in diesem Buch wissenschaftliches Neuland bezüglich der Logiken an sich betreten zu haben; neu ist lediglich die Perspektive. Die Lektüre dieses Buches soll nicht die Lektüre der hervorragenden Bücher ersetzen, die sich auf die einzelnen Logiken spezialisiert haben. In diesem Buch bieten die einzelnen Kapitel einen gedrungenen aber befriedigenden Überblick über die Logiken, soweit es für das Verständnis der Querverbindungen zwischen den Formalismen nötig ist. Ein am jeweiligen Thema interessierter Leser, der nur einen Überblick ohne zu viele Details sucht, wird genau das finden. Deshalb werden auch nur recht wenige exakt ausformulierte Beweise in diesem Buch vorgestellt. In vielen Lehrbüchern laufen solche Beweise doch sehr oft auf zwar zwingende aber durch unübersichtliche Notationen und Formulierungen belastete Darstellungen hinaus, welche die Tendenz V
6 VI Vorwort haben, die Grundideen der Gedankengänge zu verschleiern. Im vorliegenden Buch findet man hingegen sehr häufig Beweisideen, die den Lernenden vermitteln sollen, woran es liegt und worum es im Wesentlichen geht. Insgesamt geht es mir vor allem um eine vergleichende Zusammenschau der Formalismen unter Aspekten von Sprache (Syntax, Semantik), Philosophie und vor allem der Anwendbarkeit in der Informatik. In vielen Details habe ich mich auch auf Literatur anderer Autoren gestützt, bei den klassischen Logiken besonders auf Schöning (2000), Olderog (2002) und Böhme (1981), bei der Hoareschen Logik auf Apt et al. (2009), bei der modalen Logik auf Hughes, Cresswell (1968), bei der intuitionistischen, der epistemischen und der deontischen Logik auf Kreiser et al. (1990) sowie bei der epistemischen Logik auf Fagin et al. (1995) und bei den nichtmonotonen Formalismen auf Beierle, Kern-Isberner (2003). Am Ende dieser Vorbemerkungen möchte ich noch Frau Susann Ludwig für die Erstellung der noch sehr kurzen Erstfassung dieses Buches, Frau Dana Lomott für dessen Überarbeitung und Herrn Matthias Kopsch für Anfertigung der meisten Abbildungen und für die umfangreiche Arbeit mit Formatvorlagen danken. Literatur Apt KR, de Boer FS, Olderog ER (2009) Verification of Sequential and Concurrent Programs (3., rd ed.). Springer, London Beierle C, Kern-Isberner G (2003) Methoden wissensbasierter Systeme, 2. Aufl. Vieweg, Wiesbaden Böhme G (1981) Einstieg in die mathematische Logik. Hanser, München Fagin R, Halpern JY, Moses Y, Vardi MY (1995) Reasoning about Knowledge. The MIT Press, Cambridge (Massachusetts) Hughes GE, Cresswell MJ (1968) An Introduction to Modal Logic. Methuen, London. Aus d. Engl. übers. v. Coulmas F, Posner R, Wiese B (1978) Einführung in die Modallogik. de Gruyter, Berlin Kreiser L, Gottwald S, Steltzner W (1990) Nichtklassische Logik, 2. Aufl, Akademie-Verlag, Berlin Olderog ER (2002) Logik. Vorlesungsskript zum Modul Theoretische Informatik I, Oldenburg (Carl von Ossietzky Universität) Schenke M (1997) Development of Correct Real-Time Systems by Refinement. Habilitationsschrift, Oldenburg. Online verfügbar unter ~schenke/habilschrift.pdf Schöning U (2000) Logik für Informatiker. Spektrum Akademischer Verlag, Heidelberg
7 Inhaltsverzeichnis 1 Einführung Mathematik als Abstraktion des Wissens Logik als Abstraktion von Sprachfragmenten Syntax und Semantik Literatur Aussagenlogik Syntax Semantik der AL Der logische Folgerungsbegriff Metasprachen und Kalküle Kalküle für die Aussagenlogik Normalformen in der AL Literatur Prädikatenlogik Syntax Semantik der Prädikatenlogik Unifikation Der logische Folgerungsbegriff der PL Normalformen in der PL Ein Prädikatenkalkül Prädikatenlogisches Schließen Syllogismen Lewis Carroll Das Spiel der Logik Literatur Der SLD-Kalkül (Logik-Programmierung) Horn-Klauseln Semantik von Logik-Programmen Literatur VII
8 VIII Inhaltsverzeichnis 5 Hoaresche Logik Hoaresche Tripel Semantik von WHILE-Programmen Kalküle für Hoaresche Tripel Literatur Modale Logik Syntax Kripke Semantiken Gültigkeit Das System T Die Systeme S4 und S Intuitionistische Logik Der modale Prädikatenkalkül erster Stufe Literatur Temporale Logik Verschiedene modale Modelle der temporalen Logik Kripke-Semantiken für eine modale temporale Logik Zur Topologie der Zeit Abgeleitete Operatoren Intervall-temporale Logik Der Duration Calculus Literatur Epistemische Logik Syntax Semantik Verteiltes Wissen Literatur Deontische Logik Syntax Kodexe Zu einer Metatheorie von Kodexen Literatur Nichtmonotone Logik Truth Maintenance-Systeme Der JTMS-Algorithmus Die JTMS-Inferenzrelation Literatur
9 Inhaltsverzeichnis IX 11 Default-Logiken Syntax und Semantik von Defaults Bestimmung von Extensionen Prozessbäume Eigenschaften der Default-Logik Mathematische Grundlagen Mengen, Relationen, Funktionen Vollständige Induktion Graphen, Bäume Sachverzeichnis
10 Abkürzungsverzeichnis AForm AK AL ASym ATMS B BF DC DL DNF EL GV HK IL INT ITL JTMS KDNF KKNF KNF l LK ML MLForm MTL N NML OS PD PL Menge der korrekt geformten aussagenlogischen Formeln Aussagenkalkül Aussagenlogik Menge der Aussagesymbole Assumption-based Truth Maintenance-Systeme Menge der Booleschen Werte Barcansche Formel Duration Calculus Deontische Logik Disjunktive Normalform Epistemische Logik Menge der globalen Variablen Hilbertscher Kalkül Intuitionistische Logik Intuitionistischer Aussagenkalkül Intervall-temporale Logik Justification-based Truth Maintenance-Systeme Kanonische Disjunktive NormalforKKNKanonische Konjunktive Normalform Kanonische Disjunktive Normalform Konjunktive Normalform Länge eines Intervalls Kalkül von Lukasiewic Modale Logik Menge der korrekt geformten modallogischen Formeln Minimal Tense Logic Menge der natürlichen Zahlen Nichtmonotone Logik Old System (der DL) Beweissystem für partielle Korrektheit deterministischer Programme Prädikatenlogik XI
11 XII Abkürzungsverzeichnis R Menge der reellen Zahlen R+ Menge der nicht-negativen reellen Zahlen SDL Standardsystem der deontischen Logik SV Menge der Zustandsvariablen (state variables) TD Beweissystem für totale Korrektheit deterministischer Programme TL Temporale Logik TMS Truth Maintenance-Systeme TV Menge der temporalen Variablen Var Menge der Variablen VWL Logik für verteiltes Wissen VWLForm Menge der korrekt geformten Formeln der VWL wlp schwächste Vorbedingung (weakest liberal precondition)
Bettina Heberer. Grüne Gentechnik. Hintergründe, Chancen und Risiken
essentials Essentials liefern aktuelles Wissen in konzentrierter Form. Die Essenz dessen, worauf es als State-of-the-Art in der gegenwärtigen Fachdiskussion oder in der Praxis ankommt. Essentials informieren
MehrHerausgegeben von Professor Dr. Nikolaus Franke Universität Wien, Wien, Österreich
Museumsmarketing VS College richtet sich an hervorragende NachwuchswissenschaftlerInnen. Referierte Ergebnisse aus Forschungsprojekten oder Abschlussarbeiten werden in konzentrierter Form der Fachwelt
MehrPraxiswissen Online-Marketing
Praxiswissen Online-Marketing Affiliate- und E-Mail-Marketing, Suchmaschinenmarketing, Online-Werbung, Social Media, Facebook-Werbung 6. Auflage Praxiswissen Online-Marketing Praxiswissen Online-Marketing
MehrSpringer essentials sind innovative Bücher, die das Wissen von Springer DE in kompaktester Form anhand kleiner, komprimierter Wissensbausteine zur
essentials Springer essentials sind innovative Bücher, die das Wissen von Springer DE in kompaktester Form anhand kleiner, komprimierter Wissensbausteine zur Darstellung bringen. Damit sind sie besonders
MehrZukunftsorientierte Unternehmenssteuerung in der Energiewirtschaft
Zukunftsorientierte Unternehmenssteuerung in der Energiewirtschaft Werner Hecker Carsten Lau Arno Müller (Hrsg.) Zukunftsorientierte Unternehmenssteuerung in der Energiewirtschaft Herausgeber Werner Hecker
MehrFührung und Mikropolitik in Projekten
essentials Essentials liefern aktuelles Wissen in konzentrierter Form. Die Essenz dessen, worauf es als State-of-the-Art in der gegenwärtigen Fachdiskussion oder in der Praxis ankommt. Essentials informieren
MehrWeiterbildung Schmerzmedizin
Weiterbildung Schmerzmedizin H. Göbel R. Sabatowski Weiterbildung Schmerzmedizin CME-Beiträge aus: Der Schmerz 2013 2014 Mit 49 größtenteils farbigen Abbildungen und 33 Tabellen 123 Prof. Dr. H. Göbel
MehrBerufseinstieg für Ingenieure
Berufseinstieg für Ingenieure Elke Pohl Bernd Fiehöfer Berufseinstieg für Ingenieure Elke Pohl Bernd Fiehöfer Berlin, Deutschland ISBN 978-3-658-05073-3 DOI 10.1007/978-3-658-05074-0 ISBN 978-3-658-05074-0
MehrÜbungsbuch Mathematik für Fachschule Technik und Berufskolleg
Übungsbuch Mathematik für Fachschule Technik und Berufskolleg Heinz Rapp Jörg Matthias Rapp Übungsbuch Mathematik für Fachschule Technik und Berufskolleg Anwendungsorientierte Aufgaben mit ausführlichen
MehrGravitation und Physik kompakter Objekte
Gravitation und Physik kompakter Objekte Max Camenzind Gravitation und Physik kompakter Objekte Eine Einführung in die Welt der Weißen Zwerge, Neutronensterne und Schwarzen Löcher Max Camenzind Heidelberg,
MehrBerufswahl und Bewährung
Berufswahl und Bewährung Silke Müller-Hermann Berufswahl und Bewährung Fallrekonstruktionen zu den Motivlagen von Studierenden der Sozialen Arbeit RESEARCH Silke Müller-Hermann Basel, Schweiz Zugleich
MehrPolitikwissenschaft für die Soziale Arbeit
Politikwissenschaft für die Soziale Arbeit Benjamin Benz Günter Rieger Politikwissenschaft für die Soziale Arbeit Eine Einführung Benjamin Benz Evangelische Fachhochschule Rheinland-Westfalen-Lippe (EFH
MehrElementare Numerik für die Sekundarstufe
Elementare Numerik für die Sekundarstufe Mathematik Primarstufe und Sekundarstufe I + II Herausgegeben von Prof. Dr. Friedhelm Padberg, Universität Bielefeld, und Prof. Dr. Andreas Büchter, Universität
MehrFamilienforschung. Herausgegeben von A. Steinbach, Duisburg, Deutschland M. Hennig, Mainz, Deutschland O. Arránz Becker, Köln, Deutschland
Familienforschung Herausgegeben von A. Steinbach, Duisburg, M. Hennig, Mainz, O. Arránz Becker, Köln, In der Familienforschung lassen sich zwei Grundpositionen zu Familie identifizieren, die seit Jahrzehnten
MehrDie Europäische Union erfolgreich vermitteln
Die Europäische Union erfolgreich vermitteln Monika Oberle (Hrsg.) Die Europäische Union erfolgreich vermitteln Perspektiven der politischen EU-Bildung heute Herausgeber Monika Oberle Universität Göttingen
MehrLösungen zum Lehrbuch Angewandtes Rechnungswesen
Lösungen zum Lehrbuch Angewandtes Rechnungswesen Carsten Wesselmann Lösungen zum Lehrbuch Angewandtes Rechnungswesen Detaillierte T-Konten und Rechenwege Carsten Wesselmann Köln Deutschland ISBN 978-3-658-07066-3
MehrPeter tom Suden. Die elektronische Rechnung in Handels- und Steuerrecht
Peter tom Suden Die elektronische Rechnung in Handels- und Steuerrecht Peter tom Suden Die elektronische Rechnung in Handels- und Steuerrecht Einführung, Signatur, Dokumentation Bibliografische Information
MehrBehinderung und Migration
Behinderung und Migration Gudrun Wansing Manuela Westphal (Hrsg.) Behinderung und Migration Inklusion, Diversität, Intersektionalität Herausgeber Prof. Dr. Gudrun Wansing Prof. Dr. Manuela Westphal Universität
MehrIdeengeschichte der Physik
Ideengeschichte der Physik Eine Analyse der Entwicklung der Physik im historischen Kontext 2. Auflage Ideengeschichte der Physik Ideengeschichte der Physik Eine Analyse der Entwicklung der Physik im historischen
MehrBirgit Baur-Müller. Westliche Heilpflanzen in der chinesischen Medizin. Von der Musterdiagnose zur Rezeptur
Westliche Heilpflanzen in der chinesischen Medizin Von der Musterdiagnose zur Rezeptur Westliche Heilpflanzen in der chinesischen Medizin Westliche Heilpflanzen in der chinesischen Medizin Von der Musterdiagnose
MehrH. Forst T. Fuchs-Buder A. R. Heller M. Weigand Hrsg. Weiterbildung Anästhesiologie
H. Forst T. Fuchs-Buder A. R. Heller M. Weigand Hrsg. Weiterbildung Anästhesiologie CME-Beiträge aus: Der Anaesthesist 2015 Weiterbildung Anästhesiologie H. Forst T. Fuchs-Buder A. R. Heller M. Weigand
MehrFelix Huth. Straßenkinder in Duala
Felix Huth Straßenkinder in Duala VS COLLEGE Reviewed Research. Auf den Punkt gebracht. VS College richtet sich an hervorragende NachwuchswissenschaftlerInnen. Referierte Ergebnisse aus Forschungsprojekten
MehrDer Weg in die Unternehmensberatung
Martin Hartenstein Fabian Billing Christian Schawel Michael Grein Der Weg in die Unternehmensberatung Consulting Case Studies erfolgreich bearbeiten 12. Auflage Der Weg in die Unternehmensberatung Martin
MehrDie Big Five und ihre Auswirkungen auf das Gründungsverhalten
Nadine Schlabes Die Big Five und ihre Auswirkungen auf das Gründungsverhalten Eine konzeptionelle Studie Bachelorarbeit Schlabes, Nadine: Die Big Five und ihre Auswirkungen auf das Gründungsverhalten.
MehrThomas Geisen. Arbeit in der Moderne
Thomas Geisen Arbeit in der Moderne Thomas Geisen Arbeit in der Moderne Ein dialogue imaginaire zwischen Karl Marx und Hannah Arendt Bibliografische Information der Deutschen Nationalbibliothek Die Deutsche
MehrJan Lies. Kompakt-Lexikon PR Begriffe nachschlagen, verstehen, anwenden
Kompakt-Lexikon PR Jan Lies Kompakt-Lexikon PR 2.000 Begriffe nachschlagen, verstehen, anwenden Jan Lies Hamm Deutschland ISBN 978-3-658-08741-8 DOI 10.1007/978-3-658-08742-5 ISBN 978-3-658-08742-5 (ebook)
MehrAnjes Tjarks. Familienbilder gleich Weltbilder
Anjes Tjarks Familienbilder gleich Weltbilder Anjes Tjarks Familienbilder gleich Weltbilder Wie familiäre Metaphern unser politisches Denken und Handeln bestimmen Bibliografische Information der Deutschen
MehrPicking the winners - Dienstleistungsorientierte Bestandspflegeund Ansiedlungspolitik
Geographie Bernd Steinbrecher Picking the winners - Dienstleistungsorientierte Bestandspflegeund Ansiedlungspolitik Dienstleistungsunternehmen in der Regionalentwicklung am Beispiel der Region Aachen Diplomarbeit
MehrDas Internet als Instrument der Unternehmenskommunikation unter besonderer Berücksichtigung der Investor Relations
Wirtschaft Jörn Krüger Das Internet als Instrument der Unternehmenskommunikation unter besonderer Berücksichtigung der Investor Relations Eine theoretische und empirische Analyse Diplomarbeit Bibliografische
MehrBachelorkurs Mathematik
Bachelorkurs Mathematik Herausgegeben von Prof. Dr. Martin Aigner, Freie Universität Berlin, Deutschland Prof. Dr. Heike Faßbender, Technische Universität Braunschweig, Deutschland Prof. Dr. Jürg Kramer,
MehrYoga - die Kunst, Körper, Geist und Seele zu formen
Sport Carla Vieira Yoga - die Kunst, Körper, Geist und Seele zu formen Diplomarbeit Bibliografische Information der Deutschen Nationalbibliothek: Bibliografische Information der Deutschen Nationalbibliothek:
MehrFührungsstile im Vergleich. Kritische Betrachtung der Auswirkungen auf die Mitarbeitermotivation
Wirtschaft Stefanie Pipus Führungsstile im Vergleich. Kritische Betrachtung der Auswirkungen auf die Mitarbeitermotivation Masterarbeit Bibliografische Information der Deutschen Nationalbibliothek: Die
MehrKlinische Untersuchung der Stütz- und Bewegungsorgane
Klinische Untersuchung der Stütz- und Bewegungsorgane Georg Freiherr von Salis-Soglio Klinische Untersuchung der Stütz- und Bewegungsorgane Mit über 200 Abbildungen 123 Prof. Dr. med. Georg Freiherr von
MehrArmin Klein (Hrsg.) Gesucht: Kulturmanager
Armin Klein (Hrsg.) Gesucht: Kulturmanager Armin Klein (Hrsg.) Gesucht: Kulturmanager Bibliografische Information der Deutschen Nationalbibliothek Die Deutsche Nationalbibliothek verzeichnet diese Publikation
MehrIslam und Politik. Herausgegeben von K. Schubert, Münster, Deutschland
Islam und Politik Herausgegeben von K. Schubert, Münster, Deutschland Die Buchreihe Islam und Politik hat das Ziel, die zentralen Fragen und aktuellen Diskussionen zu diesem Thema aufzugreifen und die
MehrPrüfungstraining für Bankkaufleute
Prüfungstraining für Bankkaufleute Wolfgang Grundmann Rudolf Rathner Abschlussprüfungen Bankwirtschaft, Rechnungswesen und Steuerung, Wirtschafts- und Sozialkunde 10. Auflage Wolfgang Grundmann Norderstedt,
MehrChristina Holtz-Bacha (Hrsg.) Stereotype?
Christina Holtz-Bacha (Hrsg.) Stereotype? Christina Holtz-Bacha (Hrsg.) Stereotype? Frauen und Männer in der Werbung 2., aktualisierte und erweiterte Auflage Bibliografische Information der Deutschen Nationalbibliothek
MehrWilfried Weißgerber. Elektrotechnik für Ingenieure Klausurenrechnen
Wilfried Weißgerber Elektrotechnik für Ingenieure Klausurenrechnen Aus dem Programm Elektrotechnik Formeln und Tabellen Elektrotechnik herausgegeben von W. Böge und W. Plaßmann Vieweg Handbuch Elektrotechnik
MehrErziehungswissenschaft
Erziehungswissenschaft Lehrbuch für Bachelor-, Master- und Lehramtsstudierende Erziehungswissenschaft Erziehungswissenschaft Lehrbuch für Bachelor-, Master- und Lehramtsstudierende Institut für Erziehungswissenschaft
MehrInnovative Preismodelle für hybride Produkte
Wirtschaft Christoph Da-Cruz Innovative Preismodelle für hybride Produkte Diplomarbeit Bibliografische Information der Deutschen Nationalbibliothek: Bibliografische Information der Deutschen Nationalbibliothek:
MehrOptimal Energie sparen beim Bauen, Sanieren und Wohnen
Optimal Energie sparen beim Bauen, Sanieren und Wohnen Jürgen Eiselt Optimal Energie sparen beim Bauen, Sanieren und Wohnen Ein vergleichbarer Index aller Maßnahmen Jürgen Eiselt Frankfurt Deutschland
MehrTrends im Betrieblichen Gesundheitsmanagement
Trends im Betrieblichen Gesundheitsmanagement Argang Ghadiri Anabel Ternès Theo Peters (Hrsg.) Trends im Betrieblichen Gesundheitsmanagement Ansätze aus Forschung und Praxis Herausgeber Argang Ghadiri
MehrSchule und Gesellschaft Band 58
Schule und Gesellschaft Band 58 Herausgegeben von T. Hascher, Salzburg, Österreich M. Horstkemper, Potsdam, Deutschland W. Melzer, Dresden, Deutschland I. Züchner, Frankfurt am Main, Deutschland Herausgegeben
MehrDominik Petko (Hrsg.) Lernplattformen in Schulen
(Hrsg.) Lernplattformen in Schulen (Hrsg.) Lernplattformen in Schulen Ansätze für E-Learning und Blended Learning in Präsenzklassen Bibliografische Information der Deutschen Nationalbibliothek Die Deutsche
MehrDistribution in Afrika
Distribution in Afrika Philipp von Carlowitz Alexander Röndigs Distribution in Afrika Distributionslogistik in Westafrika als Beispiel Philipp von Carlowitz ESB Business School Hochschule Reutlingen Reutlingen
MehrErbschaftssteuer im Kontext
Erbschaftssteuer im Kontext Helmut P. Gaisbauer Otto Neumaier Gottfried Schweiger Clemens Sedmak (Hrsg.) Erbschaftssteuer im Kontext Herausgeber Helmut P. Gaisbauer Otto Neumaier Gottfried Schweiger Clemens
MehrRalf-Stefan Lossack Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion
Ralf-Stefan Lossack Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion Ralf-Stefan Lossack Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion Mit 106
MehrKulturpolitik in Deutschland
Kulturpolitik in Deutschland Klaus von Beyme Kulturpolitik in Deutschland Von der Staatsförderung zur Kreativwirtschaft Klaus von Beyme Heidelberg, Deutschland ISBN 978-3-531-19402-8 DOI 10.1007/978-3-531-19403-5
MehrElektrotechnik für Ingenieure Klausurenrechnen
Elektrotechnik für Ingenieure Klausurenrechnen Wilfried Weißgerber Elektrotechnik für Ingenieure Klausurenrechnen Aufgaben mit ausführlichen Lösungen 5., korrigierte und verbesserte Auflage Mit 331 Abbildungen
MehrMentoring als gendergerechte Personalentwicklung
Mentoring als gendergerechte Personalentwicklung Bahar Haghanipour Mentoring als gendergerechte Personalentwicklung Wirksamkeit und Grenzen eines Programms in den Ingenieurwissenschaften Bahar Haghanipour
MehrBelastung und Beanspruchung im Lehrerberuf
Belastung und Beanspruchung im Lehrerberuf (Hrsg.) Belastung und Beanspruchung im Lehrerberuf Modelle, Befunde, Interventionen 2., vollständig überarbeitete Auflage Herausgeber Dr. Westfälische Wilhelms-Universität
MehrÜbergewichtige Kinder und Jugendliche in Deutschland
Geisteswissenschaft Axel Jäckel Übergewichtige Kinder und Jugendliche in Deutschland Ein Fall für die soziale Arbeit?! Diplomarbeit Bibliografische Information der Deutschen Nationalbibliothek: Bibliografische
MehrBibliografische Information der Deutschen Nationalbibliothek:
Bibliografische Information der Deutschen Nationalbibliothek: Bibliografische Information der Deutschen Nationalbibliothek: Die Deutsche Bibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie;
MehrGunther Graßhoff. Zwischen Familie und Klassenlehrer
Gunther Graßhoff Zwischen Familie und Klassenlehrer Schule und Gesellschaft Band 39 Herausgegeben von Franz Hamburger Marianne Horstkemper Wolfgang Melzer Klaus-Jürgen Tillmann Gunther Graßhoff Zwischen
MehrSpringer Spektrum, Springer Vieweg und Springer Psychologie.
essentials Essentials liefern aktuelles Wissen in konzentrierter Form. Die Essenz dessen, worauf es als State-of-the-Art in der gegenwärtigen Fachdiskussion oder in der Praxis ankommt. Essentials informieren
MehrAnforderungen von Crossmedia-Kampagnen
Medien Christian Regner Anforderungen von Crossmedia-Kampagnen Eine Untersuchung am Beispiel einer Casting-Show Diplomarbeit Bibliografische Information der Deutschen Nationalbibliothek: Bibliografische
MehrTanja Hartwig genannt Harbsmeier. Up- und Cross-Selling
Tanja Hartwig genannt Harbsmeier Up- und Cross-Selling Tanja Hartwig genannt Harbsmeier Up- und Cross-Selling Mehr Profit mit Zusatzverkäufen im Kundenservice Bibliografische Information der Deutschen
MehrThomas von Winter Ulrich Willems (Hrsg.) Interessenverbände in Deutschland
Thomas von Winter Ulrich Willems (Hrsg.) Interessenverbände in Deutschland Thomas von Winter Ulrich Willems (Hrsg.) Interessenverbände in Deutschland Bibliografische Information Der Deutschen Nationalbibliothek
MehrUwe Flick. Triangulation
Uwe Flick Triangulation Qualitative Sozialforschung Band 12 Herausgegeben von Ralf Bohnsack Uwe Flick Christian Lüders Jo Reichertz Die Reihe Qualitative Sozialforschung Praktiken Methodologien Anwendungsfelder
MehrKati Förster (Hrsg.) Strategien erfolgreicher TV-Marken
Kati Förster (Hrsg.) Strategien erfolgreicher TV-Marken Kati Förster (Hrsg.) Strategien erfolgreicher TV-Marken Eine internationale Analyse Bibliografische Information der Deutschen Nationalbibliothek
MehrIndustrie 4.0 in Produktion, Automatisierung und Logistik
Industrie 4.0 in Produktion, Automatisierung und Logistik Thomas Bauernhansl Michael ten Hompel Birgit Vogel-Heuser (Hrsg.) Industrie 4.0 in Produktion, Automatisierung und Logistik Anwendung Technologien
MehrHuman Capital Management
Human Capital Management Raimund Birri Human Capital Management Ein praxiserprobter Ansatz für ein strategisches Talent Management 2., überarbeitete Auflage Raimund Birri Zürich, Schweiz ISBN 978-3-8349-4574-7
MehrSpringer Spektrum, Springer Vieweg und Springer Psychologie.
essentials Essentials liefern aktuelles Wissen in konzentrierter Form. Die Essenz dessen, worauf es als State-of-the-Art in der gegenwärtigen Fachdiskussion oder in der Praxis ankommt. Essentials informieren
MehrParteien in Staat und Gesellschaft
Parteien in Staat und Gesellschaft Sebastian Bukow Uwe Jun Oskar Niedermayer Herausgeber Parteien in Staat und Gesellschaft Zum Verhältnis von Parteienstaat und Parteiendemokratie Herausgeber Sebastian
MehrNiklas Mahrdt. Crossmedia
Niklas Mahrdt Crossmedia Niklas Mahrdt Crossmedia Werbekampagnen erfolgreich planen und umsetzen Bibliografische Information der Deutschen Nationalbibliothek Die Deutsche Nationalbibliothek verzeichnet
MehrZeugnisse richtig formulieren
Zeugnisse richtig formulieren Heinz-G. Dachrodt Volker Engelbert Zeugnisse richtig formulieren Mit vielen Mustern und Analysen Heinz-G. Dachrodt Witten, Deutschland Volker Engelbert Iserlohn, Deutschland
MehrSchule und Gesellschaft Band 59
Schule und Gesellschaft Band 59 Herausgegeben von T. Hascher, Salzburg, Österreich M. Horstkemper, Potsdam, Deutschland W. Melzer, Dresden, Deutschland I. Züchner, Frankfurt am Main, Deutschland Herausgegeben
MehrMüdigkeit, Erschöpfung und Schmerzen ohne ersichtlichen Grund
Müdigkeit, Erschöpfung und Schmerzen ohne ersichtlichen Grund Peter Keel Müdigkeit, Erschöpfung und Schmerzen ohne ersichtlichen Grund Ganzheitliches Behandlungskonzept für somatoforme Störungen 1 C Peter
MehrUnterstützte Kommunikation in der Sprachtherapie
Hildegard Kaiser-Mantel Unterstützte Kommunikation in der Sprachtherapie Bausteine für die Arbeit mit Kindern und Jugendlichen Mit 46 Abbildungen und 3 Tabellen Ernst Reinhardt Verlag München Basel Hildegard
MehrStressmanagement im Fernstudium
Stressmanagement im Fernstudium Viviane Scherenberg Petra Buchwald Stressmanagement im Fernstudium Ein Praxisratgeber für nebenberuflich Aktive Viviane Scherenberg Prävention & Gesundheitsförderung Apollon
MehrErfolg in der Sozialen Arbeit
Erfolg in der Sozialen Arbeit Michael Boecker Erfolg in der Sozialen Arbeit Im Spannungsfeld mikropolitischer Interessenkonflikte Michael Boecker Hagen, Deutschland Die vorliegende Arbeit wurde an der
MehrMathematik Problemlösungen mit MATHCAD und MATHCAD PRIME
Mathematik Problemlösungen mit MATHCAD und MATHCAD PRIME Hans Benker Mathematik Problemlösungen mit MATHCAD und MATHCAD PRIME Prof. Dr. Hans Benker Martin-Luther-Universität Halle-Wittenberg Naturwissenschaftliche
MehrMit freundlichen Empfehlungen KARL STORZ
Frauenärztliche Taschenbücher Herausgeber: Thomas Römer, Andreas D. Ebert, Wolfgang Straube Mit freundlichen Empfehlungen KARL STORZ Man sieht nur mit dem Herzen gut. Das Wesentliche ist für die Augen
MehrKundenmanagement im Krankenhaus
Kundenmanagement im Krankenhaus Volker Nürnberg Barbara Schneider Kundenmanagement im Krankenhaus Service Qualität Erreichbarkeit Volker Nürnberg Hochschule für angewandtes Management Erding Deutschland
MehrUlrich Gebhard. Kind und Natur
Ulrich Gebhard Kind und Natur Ulrich Gebhard Kind und Natur Die Bedeutung der Natur für die psychische Entwicklung 2., aktualisierte und erweiterte Auflage 11 SPRINGER FACHMEDIEN WIESBADEN GMBH Bibliografische
MehrCarsten Rohlfs Marius Harring Christian Palentien (Hrsg.) Kompetenz-Bildung
Kompetenz-Bildung Carsten Rohlfs Marius Harring Christian Palentien (Hrsg.) Kompetenz-Bildung Soziale, emotionale und kommunikative Kompetenzen von Kindern und Jugendlichen 2., überarbeitete und aktualisierte
MehrMobbing am Arbeitsplatz
Wirtschaft Nicole Busch Mobbing am Arbeitsplatz Das Leiden der Opfer im Kontext von Führungsstilen und Konfliktmanagement Diplomarbeit Bibliografische Information der Deutschen Nationalbibliothek: Bibliografische
MehrKathrin Fahlenbrach Ingrid Brück Anne Bartsch (Hrsg.) Medienrituale
Kathrin Fahlenbrach Ingrid Brück Anne Bartsch (Hrsg.) Medienrituale Kathrin Fahlenbrach Ingrid Brück Anne Bartsch (Hrsg.) Medienrituale Rituelle Performanz in Film, Fernsehen und Neuen Medien Bibliografische
MehrÜbungen zur Kosten-, Erlösund Ergebnisrechnung
Übungen zur Kosten-, Erlösund Ergebnisrechnung Wolfgang Becker Robert Holzmann Christian Hilmer Übungen zur Kosten-, Erlösund Ergebnisrechnung Für Bachelor-Studierende Wolfgang Becker Robert Holzmann Christian
MehrEinführung Wirtschaftsinformatik
Einführung Wirtschaftsinformatik Iris Vieweg Christian Werner Klaus-P. Wagner Thomas Hüttl Dieter Backin Einführung Wirtschaftsinformatik IT-Grundwissen für Studium und Praxis Prof. Dr. Iris Vieweg Prof.
MehrÖkonomisches Denken und Ethisches Handeln
Ökonomisches Denken und Ethisches Handeln Antje Kuttner Ökonomisches Denken und Ethisches Handeln Ideengeschichtliche Aporien der Wirtschaftsethik Antje Kuttner München, Deutschland Die Arbeit wurde im
MehrPrivatschulen versus staatliche Schulen
Privatschulen versus staatliche Schulen Aydin Gürlevik Christian Palentien Robert Heyer (Hrsg.) Privatschulen versus staatliche Schulen Herausgeber Aydin Gürlevik Prof. Dr. Christian Palentien Robert Heyer
MehrRoland Sturm. Politik in Großbritannien
Roland Sturm Politik in Großbritannien Roland Sturm Politik in Großbritannien Bibliografische Information der Deutschen Nationalbibliothek Die Deutsche Nationalbibliothek verzeichnet diese Publikation
MehrGelassenheit gewinnen 30 Bilder für ein starkes Selbst
Gelassenheit gewinnen 30 Bilder für ein starkes Selbst Barbara Burghardt Gelassenheit gewinnen 30 Bilder für ein starkes Selbst Wie Sie Ihren inneren Reichtum neu entdecken 2., verbesserte Auflage Barbara
MehrSEO Strategie, Taktik und Technik
SEO Strategie, Taktik und Technik Andre Alpar Markus Koczy Maik Metzen SEO Strategie, Taktik und Technik Online-Marketing mittels effektiver Suchmaschinenoptimierung Andre Alpar Maik Metzen Markus Koczy
MehrEmpirische Methoden in der Psychologie
Markus Pospeschill Empirische Methoden in der Psychologie Mit 41 Abbildungen und 95 Übungsfragen Ernst Reinhardt Verlag München Basel PD Dr. Markus Pospeschill lehrt und forscht als Akademischer Direktor
MehrKompakt Edition: Immobilienfinanzierung
Kompakt Edition: Immobilienfinanzierung Michael Trübestein Michael Pruegel Kompakt Edition: Immobilienfinanzierung Grundbegriffe und Definitionen Michael Trübestein Bad Orb, Deutschland Michael Pruegel
MehrDie Person als Organon in der Sozialen Arbeit
Die Person als Organon in der Sozialen Arbeit Kathrin Blaha Christine Meyer Herbert Colla Stefan Müller-Teusler (Hrsg.) Die Person als Organon in der Sozialen Arbeit Erzieherpersönlichkeit und qualifiziertes
MehrDie deutsch-französischen Beziehungen von der Wiedervereinigung zum Maastrichter Vertrag
Bachelorarbeit Johannes Müller Die deutsch-französischen Beziehungen von der Wiedervereinigung zum Maastrichter Vertrag Die Rolle Helmut Kohls und François Mitterrands Bachelor + Master Publishing Müller,
MehrAuswirkungen des Pendelns auf das subjektive Wohlbefinden
Naturwissenschaft Franziska Schropp Auswirkungen des Pendelns auf das subjektive Wohlbefinden Das Pendler Paradoxon und andere Methoden im Vergleich Bachelorarbeit Bibliografische Information der Deutschen
MehrMartin Scholz, Ute Helmbold (Hrsg.) Bilder lesen lernen
Martin Scholz, Ute Helmbold (Hrsg.) Bilder lesen lernen Bildwissenschaft Herausgegeben von Klaus Sachs-Hombach und Klaus Rehkamper Editorial Board Prof. Dr. Horst Bredekamp Humboldt-Universitiit Berlin
MehrImmobilien als Mittel der privaten Altersvorsorge
Wirtschaft Andreas Vorbauer Immobilien als Mittel der privaten Altersvorsorge Diplomarbeit Bibliografische Information der Deutschen Nationalbibliothek: Bibliografische Information der Deutschen Nationalbibliothek:
MehrDie Entwicklung der Rechtsprechung hinsichtlich der Rechtsstellung der Gesellschaft bürgerlichen Rechts und ihrer Gesellschafter im Rechtsverkehr
Wirtschaft Gordon Matthes Die Entwicklung der Rechtsprechung hinsichtlich der Rechtsstellung der Gesellschaft bürgerlichen Rechts und ihrer Gesellschafter im Rechtsverkehr Diplomarbeit Bibliografische
MehrDie Bilanzierung des Geschäfts- oder Firmenwertes nach HGB und IFRS
Wirtschaft Michael Liening Die Bilanzierung des Geschäfts- oder Firmenwertes nach HGB und IFRS Eine empirische Analyse Bachelorarbeit Bibliografische Information der Deutschen Nationalbibliothek: Die
MehrKonzeption eines Sportmagazins für Randsportarten
Medien Claudio Cosentino Konzeption eines Sportmagazins für Randsportarten Sport und Lifestylemagazin für Frauen Diplomarbeit Bibliografische Information der Deutschen Nationalbibliothek: Bibliografische
MehrAnja Schüler. Arbeit für alle?! Berufliche Teilhabe von Menschen mit geistiger Behinderung in Deutschland und den USA.
Anja Schüler Arbeit für alle?! Berufliche Teilhabe von Menschen mit geistiger Behinderung in Deutschland und den USA Bachelorarbeit BACHELOR + MASTER Publishing Schüler, Anja: Arbeit für alle?! Berufliche
MehrThomas Meuser Hrsg. Promo-Viren. Zur Behandlung promotionaler Infekte und chronischer Doktoritis 3., kurierte Auflage
Thomas Meuser Hrsg. Promo-Viren Zur Behandlung promotionaler Infekte und chronischer Doktoritis 3., kurierte Auflage Promo-Viren Thomas Meuser Herausgeber Promo-Viren Zur Behandlung promotionaler Infekte
MehrBildung und Arbeit. Herausgegeben im Institut für Berufs- und Weiterbildung der Universität Duisburg-Essen von
Bildung und Arbeit Herausgegeben im Institut für Berufs- und Weiterbildung der Universität Duisburg-Essen von U. Bauer A. Bolder H. Bremer R. Dobischat G. Kutscha Herausgegeben von Prof. Dr. Ullrich Bauer,
MehrKurzstudie BESTSELLER. Roman Büttner. Das Phänomen Fast Food. Eine sozialgeschichtliche Untersuchung zur Erfindung des schnellen Essens
Kurzstudie BESTSELLER Roman Büttner Das Phänomen Fast Food Eine sozialgeschichtliche Untersuchung zur Erfindung des schnellen Essens Büttner, Roman: Das Phänomen Fast Food: Eine sozialgeschichtliche Untersuchung
MehrErfolgreich als Medical Advisor und Medical Science Liaison Manager
Erfolgreich als Medical Advisor und Medical Science Liaison Manager Günter Umbach Erfolgreich als Medical Advisor und Medical Science Liaison Manager Wie Sie effektiv wissenschaftliche Daten kommunizieren
Mehr