26 research outputs found

    Theorie der Informatik zwischen den Stühlen : Gegensätze in der Informatik durchmustern und füreinander fruchtbar machen

    Get PDF
    Eine Theorie eines Gebiets ist eine Position außerhalb, die von innen getragen wird und so eine kundige Sicht auf Gebiet und Umgebung, auf Abgrenzungen und Beziehungen erlaubt. Eine allgemeine Theorie der Informatik kann uns helfen, die Entwicklung der Disziplin und insbesondere des eigenen Fachgebietes besser zu verstehen und zu beeinflussen. Ansätze dazu gibt es in der Informatik in jedem Fachgebiet, da wir immer – Praktiker wie Theoretiker, bewusst oder nicht – beim Arbeiten Theorie entwickeln und verwenden. Ein Gerüst von außen liefern z.B. Psychologie und Soziologie, Semiotik und Linguistik, Pädagogik und Philosophie und Geschichtswissenschaft. Die Theoretische Informatik wird durch eine allgemeine Theorie der Informatik nicht beeinträchtigt, sondern kann wertvolle Beiträge liefern. Ich arbeite auf eine solche Theorie der Informatik hin, indem ich die gegensätzlichen Denk- und Arbeitsmuster, die die Disziplin durchziehen und umringen, analysiere und zeige, wie sie füreinander fruchtbar sein können. Dabei baue ich auf der Theoriedebatte auf, die seit fast 20 Jahren geführt wird

    Small Systems

    Get PDF

    An Axiom System For the Weak Monadic Second Order Theory of Two Successors

    Get PDF

    Programming With Recursion

    Get PDF
    corecore