Advertisement

Logik

  • Frank Gurski
  • Irene Rothe
  • Jörg Rothe
  • Egon Wanke
Chapter
Part of the eXamen.press book series (EXAMEN)

Zusammenfassung

„Wenn das Quadrat einer ganzen Zahl immer gerade ist, dann ist 7 ohne Rest13 durch 3 teilbar.“ Diese zahlentheoretische Aussage ist zweifellos wahr, auch wenn sie keinen großen Sinn ergibt. Es handelt sich hierbei um die logische Implikation

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

  1. [HMU02]
    J. Hopcroft, R. Motwani, and J. Ullman. Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Pearson Studium, second edition, 2002.Google Scholar
  2. [FG06]
    J. Flum and M. Grohe. Parameterized Complexity Theory. EATCS Texts in Theoretical Computer Science. Springer-Verlag, 2006.Google Scholar
  3. [Imm98]
    N. Immerman. Descriptive Complexity. Graduate Texts in Computer Science. Springer-Verlag, 1998.Google Scholar
  4. [Cou]
    B. Courcelle. Graph Structure and Monadic Second-Order Logic. Encyclopedia of Mathematics and its Applications. Cambridge University Press. To appear.Google Scholar
  5. [Büc60]
    J. Büchi. Weak second-order arithmetic and finite automata. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 6:66–92, 1960.MATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Frank Gurski
    • 1
  • Irene Rothe
    • 2
  • Jörg Rothe
    • 1
  • Egon Wanke
    • 1
  1. 1.Institut für InformatikHeinrich-Heine-Universität DüsseldorfDüsseldorfDeutschland
  2. 2.Fachbereich für Maschinenbau Elektrotechnik und TechnikjournalismusHochschule Bonn-Rhein-SiegSankt AugustinDeutschland

Personalised recommendations