Proseminar Klassiker der Informatik

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.