Proseminar Klassiker der Informatik

Inhalt

In diesem Proseminar beschäftigen wir uns mit klassischen Resultaten der Informatik, welche ganze Forschungsbereiche der Informatik revolutionierten oder gar begründeten.

Auswahl möglicher Themen:

  • Chomsky, N.: On certain formal properties of grammars, Information and Control
    2 (2): 137-167, 1959.
  • Rabin, M. O., and Scott, D. S.: Finite automata and their decision problems,
    IBM Journal of Research and Development, vol. 3, pp. 114-125, 1959.
  • Cook, S. A.: The complexity of theorem proving procedures, Proceedings of the 3rd
    Annual ACM Symposium on Theory of Computing: 151-158, 1971.
  • Karp, R. M.: Reducibility among combinatorial problems, In R. E. Miller and J.W. Thatcher, editors, Complexity of Computer Computations, Plenum Press, New York, pp. 85-103, 1972.
  • Rivest, R. L., Shamir, A., and Adleman, L.: A Method for Obtaining Digital
    Signatures and Public-Key Cryptosystems, Communications of the ACM, 21(2),
    120-130, 1978.
  • Turing, A.: On computable numbers, with an application to the Entscheidungs-
    problem, Proceedings of the London Mathematical Society, Series 2, vol. 42, pp.
    230-265, 1936.
  • Shannon, C. E.: A mathematical theory of communication, Bell System Technical
    Journal 27: pp. 379-423, 623-656, 1948.
  • Hamming, R.: Error detecting and error correcting codes, Bell System Technical
    Journal (29), 1950.
  • Hoare, C. A. R.: An Axiomatic Basis for Computer Programming, Communications
    of the ACM 12 (10): 576-580, 1969.
  • Weitere Themen nach Absprache möglich

Sowohl mögliche Themen, als auch die Terminplanung werden am Vorbesprechungstermin bekannt gegeben. Sollte es zuvor Fragen oder Wünsche geben, meldet euch per Mail bei Dominikus Krüger.

Nächste Termine

Sonntag, 12. Juni: Abgabe der Ausarbeitung