Veranstalter	Prof. Dr.-Ing. Alois Knoll
Typ	Vorlesung
Semester	WS 2005/2006
ECTS	6.0
SWS	4V+2Ü
Hörerkreis	Pflichtvorlesung für Studierende im Grundstudium Informatik Pflichtvorlesung für Studierende im Grundstudium Bioinformatik Pflichtvorlesung für Studierende im Grundstudium Wirtschaftsinformatik Pflichtvorlesung für Studierende im Bachelor-Studiengang Informatik Pflichtvorlesung für Studierende mit Nebenfach Informatik Pflichtvorlesung für Studierende für das Lehramt Informatik(vertieft/nicht vetieft)
Zeit & Ort	Do. 10:15 - 11:00 MW0001 Fr.10:15 - 11:45 MW0001
Übungstermine
Schein	erfolgreiche Teilnahme an Klausur
Beginn:	Donnerstag, 20. Oktober 2005
Klausur:	Samstag, 11.02.2006
Wiederholungsklausur:	Montag, 24.04.2006

Aktuelles

• Die Ergebnisse der Wiederholungsklausur sind auf der Grundstudiumsseite verfügbar. Die Klausureinsicht (Klausur+Wiederholungsklausur) findet am 02.06.2006 von 15:00-16:00 Uhr im Raum 03.07.023 statt.
• Alle Hörer der Vorlesung und Teilnehmer des Praktikums, die nicht in den Studiengängen Informatik-Diplom, Informatik-Bachelor oder Wirtschaftsinformatik-Bachelor eingeschrieben sind, erhalten im Falle einer erfolgreichen Teilnahme einen Vorlesungs bzw. Praktikumsschein. Die Scheine können ab 27.3.2006 jeweils zwischen 9 und 12 Uhr im Sekretariat von Herrn Prof. Knoll abgeholt werden.
• Die Studierenden der Studiengänge Informatik-Diplom, Informatik-Bachelor und Wirtschaftsinformatik-Bachelor werden vom Prüfungsamt über die erfolgreiche Teilnahme benachrichtigt.

Beschreibung

Die Vorlesung behandelt

• Informationstheorie
• Algebren
• Rechen- und Datenstrukturen,
• Modelle der Informatik
• Applikative / Funktionale Programmierung
• Grundlegende Algorithmen
• Entwurf und Implementierung eines großen Systems

• Zur Vorlesung gibt es ein begleitendes Praktikum
• Verweis auf die frühere Homepage von Informatik 1 im WS2002/03

Voraussetzungen

Keine (Einführungsvorlesung für Erstsemester).

Empfehlenswert

Grundlegend für das Hauptstudium

Literaturhinweise

Allgemein

• Broy, M.: Informatik: Eine grundlegende Einführung, Band 1. Programmierung und Rechnerstrukturen 2. Auflage, Springer (1998)
• Goss, G.: Vorlesungen über Informatik, Band 1. Grundlagen und funktionales Programmieren, 1. Auflage, Springer (1997)

OCaml

• OCaml Homepage
• Emmanuel Chailloux, Pascal Manoury and Bruno Pagano, Developing Applications With Objective Caml, 2000 (OCaml-Homepage, local(pdf)).
• Jason Hickey, Introduction to the Objective Caml Programming Language, 2002 (pdf).
• Michel Mauny, Functional programming using Caml Light, 1995 (ps),  (pdf).
• Xavier Leroy, The Objective Caml system release 3.06, 2002 (ps),  (pdf).
• Jürgen Wolff von Gudenberg, Algorithmen Datenstrukturen Funktionale Programmierung, 1996.
• OCaml1-overview.pdf.
• OCaml2-overview.pdf.
• OCamlA-overview.pdf.
• The O'Caml Link Database

Bäume

• Ralf Hinze, Constructing Red-Black Trees, 1999 (pdf).
• R. Bayer, E. McCreight, Organization and Maintenance of Large Ordered Indexes, 1972 (pdf).

Informationstheorie

• C.E. Shannon, A Mathematical Theory of Communication, 1948. pdf, ps.

Textkompression

• Timothy C. Bell, Ian H. Witten and John G. Clear, Modeling For Text Compression, 1988 ( http://pharos.cpsc.ucalgary.ca/Dienst/UI/2.0/Describe/ncstrl.ucalgary_cs/1988-327-39),

(pdf).

• P. Sanders and C. Runciman, LZW text compression in Haskell, 1992 (http://citeseer.nj.nec.com/sanders92lzw.html),

(pdf).

• Maxime Crochemore and Thierry Lecroq, Pattern-matching and text-compression algorithms, 1996 (http://citeseer.nj.nec.com/crochemore96pattern.html),(pdf).
• LZW-Algorithmus http://www.cs.ucf.edu/courses/cap5015/lectures.html (pdf)

Kryptologie

• Alfred J. Menezes, Paul C. Van Oorschot, Scott A. Vanstone, Handbook of Applied Cryptography, 2001 (http://www.cacr.math.uwaterloo.ca/hac/)
• Hannes Keil, Data Encryption Standard (DES), Seminararbeit, 2000 (ps).

L-Systeme

• http://life.csu.edu.au/complex/tutorials/tutorial2.html
• http://dmoz.org/Computers/Artificial_Life/Lindenmayer_Systems
• http://www2.informatik.uni-erlangen.de/~jacob/LSystems/LSystems-Tutorials.html
• http://mathforum.org/advanced/robertd/index.html#frac
• http://www.cs.ru.ac.za/research/g00z3743/Content_LSysApplet.htm
• http://home.clara.net/niknak/fractal/
• http://directory.google.com/Top/Computers/Artificial_Life/Lindenmayer_Systems
• http://hensel.lifepatterns.net (Zellularautomaten: Game of Life).

Logik-Prolog

• Hassan Aït-Kaci, Warren's Abstract Machine: A Tutorial Reconstruction, ICLP'91 Pre-Conference Tutorial, 1991 wam-slides.pdf
• Hassan Aït-Kaci, Warren's Abstract Machine: A Tutorial Reconstruction, 1999 (wambook.pdf)
• J.R.Fisher, A Prolog Tutorial: http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html
• Ulf Nilsson and Jan Maluszynski, Logic, Programming and Prolog, 1995(http://www.ida.liu.se/~ulfni/lpp/)
• Roman Bartak, On-line Guide to Prolog Programming: http://ktiml.mff.cuni.cz/~bartak/prolog/
• Prolog-Einführung
• http://www.cs.may.ie/~jpower/Courses/PROLOG/links.html
• P. Brna, Prolog Programming, A First Course, 2001 (brna-prolog-book.pdf, http://www.comp.mq.edu.au/courses/comp248/Resources/brna-prolog-book.pdf).
• http://www.webber-labs.com/mpl.html.
• http://www.amzi.com/manuals/amzi6/ls/lstop.htm#Contents.
• http://www.cs.may.ie/~jpower/Courses/ML/.
• http://www.cs.may.ie/~jpower/Courses/PROLOG/intro.html.

Automaten, Formalen Sprachen, Grammatiken

• W. Brauer, Grenzen maschineller Berechenbarkeit, Informatik-Spektrum (1990) 13; 61-70(brauer1990.pdf).
• A. K. Dewdney, Computer Recreations: A computertrap for the busy beaver, the hardest-working Turing machine, ScientificAmerican (1984), vol. 251, No 2, 19-23(dewdney1984.pdf).

Software

OCaml

• Download OCaml
• Camelia: An IDE for OCaml
  (unter Windows nur in Verbindung mit der OCaml-Version aus Cygwin)
• visual: Installationsanleitung
• Installation unter OS X 10.4
• Download F#
• fsharp.zip: fsharp.zip

Links

Funktionales Programmieren / Ocaml

• Homepage OCaml
• http://cliki.tunes.org/OCAML
• http://wiki.cocan.org/
• http://www.cs.caltech.edu/~mvanier/hacking/rants/scalable_computer_programming_languages.html
• http://en.wikipedia.org/wiki/Functional_programming
• http://en.wikipedia.org/wiki/Ocaml
• http://en.wikipedia.org/wiki/Haskell_programming_language
• http://en.wikipedia.org/wiki/Lisp_programming_language
• http://www.acooke.org/andrew/writing/lang.html
• http://groups.yahoo.com/group/ocaml_beginners/
• Tutorial über die Ein-Ausgabe Problematik in funktionalen Programmiersprachen

Programmiersprache C:

• Sammlung von C Tutorials
• Zeiger in C
• Algol68 Report
• Algol68 Revised Report

Java:

• Homepage Java
• http://en.wikipedia.org/wiki/Java_programming_language

Frühere Vorlesungen zu Einführung in die Informatik I:

• WS 2000/2001 Prof. Brügge
• WS 2001/2002 Prof. Broy
• WS 2004/2005 Prof. Seidl

Material

• F-all.pdf: Kompletter Foliensatz zur Vorlesung
• Merkblatt1.pdf: Merkblatt: Praktikum 'Grundlagen der Programmierung'
• Merkblatt2.pdf: Merkblatt: Organisatorisches zum Praktikum 'Grundlagen der Programmierung'
• Merkblatt3.pdf: Merkblatt: Klausur
• Vorlesungsumfrage.pdf: Umfrage zur Vorlesung
• Weihnachtstest.pdf: Weihnachtstest
• LoesungZwischenklausur.PDF: Lösungsvorschlag der Klausuraufgaben

Wichtige Informatiker

• Teil_1.pdf: Teil_1.pdf
• Teil_2.pdf: Teil_2.pdf
• Teil_3.pdf: Teil_3.pdf
• Teil_4.pdf: Teil_4.pdf
• Teil_5.pdf: Teil_5.pdf
• Teil_6.pdf: Teil_6.pdf
• Teil_7.pdf: Teil_7.pdf
• Teil_8.pdf: Teil_8.pdf
• Teil_9.pdf: Teil_9.pdf
• Teil_10.pdf: Teil_10.pdf
• Teil_11.pdf: Teil_11.pdf
• Teil_12.pdf: Teil_12.pdf