2013, ISBN: 9783642617225

eBooks, eBook Download (PDF), Diese Absicht wurde verstarkt durch den aueren Umstand, da in zunehmendem Mae Mathematikstudenten der Munchner Universitat bei mir Logik als Nebenfach wahlte… Mehr…

eBooks, eBook Download (PDF), Diese Absicht wurde verstarkt durch den aueren Umstand, da in zunehmendem Mae Mathematikstudenten der Munchner Universitat bei mir Logik als Nebenfach wahlten. Da diese Kandidaten meist keine Zeit und Gelegenheit hatten, meine Veranstaltungen zu besuchen, kam der verstandliche Wunsch auf, ich moge &quote;etwas Schriftliches verfassen&quote;, das man mit nach Hause nehmen konne. Hinzu kam schlielich noch das Wissen um didaktische Nachteile vieler Logik-Bucher. In den meisten von ihnen werden nur spezielle syntaktische und semantische Verfahren behandelt. Wenn z. B. in einem Werk ausschlielich die axiomatische Methode, in einem weiteren allein das naturliche Schlieen und in einem dritten nur der Kalkul der PositivfNegativ-Teile vorgefuhrt wird, so fallt es selbst einem routinier- ten Mathematiker schwer, die Gleichwertigkeit dieser Kalkulisierungen einzusehen. Weichen dann auch noch die Systematisierungen der Se- mantik erheblich voneinander ab, so wird ein Nichtmathematiker ver- mutlich sogar den Eindruck gewinnen, die fraglichen Bucher handelten von verschiedenen Gegenstanden. Doch dies ist nur die eine Seite der Medaille. In immer mehr Bucher, die das Wort ,Logik' im Titel tragen, werden namlich umgekehrt mehr oder weniger ausfuhrlich Bereiche einbezogen, die zwar fur Untersuchungen zur Logik von Wichtigkeit sind, die jedoch weit uber den Rahmen der Logik hinausfuhren, wie z. B. Rekursionstheorie, axiomatische Mengenlehre oder Hilbertsche Beweis- theorie. Zieht man die Grenze einmal so weit, so ist nicht zu erkennen, warum nicht noch viel mehr einbezogen werden sollte. In zunehmendem Mae spielen z. B. algebraische Begriffe eine wichtige Rolle bei logischen Untersuchungen. [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2013<

ISBN: 9783642617225

Diese Absicht wurde verstärkt durch den äußeren Umstand, daß in zunehmendem Maße Mathematikstudenten der Münchner Universität bei mir Logik als Nebenfach wählten. Da diese Kandidaten meis… Mehr…

Diese Absicht wurde verstärkt durch den äußeren Umstand, daß in zunehmendem Maße Mathematikstudenten der Münchner Universität bei mir Logik als Nebenfach wählten. Da diese Kandidaten meist keine Zeit und Gelegenheit hatten, meine Veranstaltungen zu besuchen, kam der verständliche Wunsch auf, ich möge "etwas Schriftliches verfassen", das man mit nach Hause nehmen könne. Hinzu kam schließlich noch das Wissen um didaktische Nachteile vieler Logik-Bücher. In den meisten von ihnen werden nur spezielle syntaktische und semantische Verfahren behandelt. Wenn z. B. in einem Werk ausschließlich die axiomatische Methode, in einem weiteren allein das natürliche Schließen und in einem dritten nur der Kalkül der PositivfNegativ-Teile vorgeführt wird, so fällt es selbst einem routinier­ ten Mathematiker schwer, die Gleichwertigkeit dieser Kalkülisierungen einzusehen. Weichen dann auch noch die Systematisierungen der Se­ mantik erheblich voneinander ab, so wird ein Nichtmathematiker ver­ mutlich sogar den Eindruck gewinnen, die fraglichen Bücher handelten von verschiedenen Gegenständen. Doch dies ist nur die eine Seite der Medaille. In immer mehr Bücher, die das Wort ,Logik' im Titel tragen, werden nämlich umgekehrt mehr oder weniger ausführlich Bereiche einbezogen, die zwar für Untersuchungen zur Logik von Wichtigkeit sind, die jedoch weit über den Rahmen der Logik hinausführen, wie z. B. Rekursionstheorie, axiomatische Mengenlehre oder Hilbertsche Beweis­ theorie. Zieht man die Grenze einmal so weit, so ist nicht zu erkennen, warum nicht noch viel mehr einbezogen werden sollte. In zunehmendem Maße spielen z. B. algebraische Begriffe eine wichtige Rolle bei logischen Untersuchungen., Springer<

ISBN: 9783642617225

Strukturtypen der Logik ab 69.99 € als pdf eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik, Medien > Bücher, Strukturtypen der Logik - eBook als pdf von - Springe… Mehr…

Strukturtypen der Logik ab 69.99 € als pdf eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik, Medien > Bücher, Strukturtypen der Logik - eBook als pdf von - Springer-Verlag GmbH - 9783642617225<

ISBN: 9783642617225

*Strukturtypen der Logik* / pdf eBook für 98.9 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik Medien > Bücher nein eBook als pdf eBooks > Fachthemen & Wissenschaft > M… Mehr…

*Strukturtypen der Logik* / pdf eBook für 98.9 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik Medien > Bücher nein eBook als pdf eBooks > Fachthemen & Wissenschaft > Mathematik, Springer-Verlag GmbH<

ISBN: 9783642617225

Strukturtypen der Logik ab 98.9 € als pdf eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik, Medien > Bücher nein eBook als pdf, Springer-Verlag GmbH