Info II Tutorium SS 06

aus "Nome at a Wiki", Joachims Informationshalde

(Weitergeleitet von Infotut)
Wechseln zu: Navigation, Suche

Hier sind meine Seiten zum Informatik-II-Tutorium zur Vorlesung von Prof. Calmet im Sommersemester 06 an der Universität Karlsruhe.

Diese Seiten sind Teil eines Wikis, und sollen als solche verwendet werden. Das heißt für die Teilnehmer meines Tutoriums: Nutzt diese Seiten auch als Kommunikationsplatform, z.B. um hilfreiche Links auszutauschen.

Kontakt

Fragen zum Tutorium, zum Stoff oder zu Sonstwas bitte an mail@joachim-breitner.de, in der Regel kommen die Antworten recht schnell. Bitte schreibt "[infotut]" in die Betreffzeile, dann wird die e-Mail gleich richtig einsortiert...

Evaluation

Am 24. Juli habe ich im Tutorium eine kleine Selbst-Evaluation durchgeführt. Vielen Dank an die Teilnehmer. Hier ist das Ergebnis.

Programmabgabe

Ich bitte darum die Praxisaufgaben stets ausgedruckt und an die Theorie-Aufgaben geheftet abzugeben. Das Schicken per e-Mail ist daher nicht nötig. Der Vorteil ist, dass ich diese Ausdrücke dann zur Rechnerübung zum Besprechen (z.B. drin rumkritzeln) mitbringen kann und ihr diese dann mit den Punkten zurückbekommt. So könnt ihr im Zweifelsfalle auch eure Praxispunkte belegen.

Ich habe einen Ersatz für die haskell.sty erstellt, die schöneres Syntax-Highlighting macht und in den Kommentaren LaTeX-Befehle (wie Mathematisches in $ $) erlaubt: haskell.sty

Material

Hangman-AI

Im Tutorium haben wir gemeinsam eine Hangman-AI in Haskell programmiert. Ich habe den Code dokumentiert: hangman.pdf hangman.lhs

Puzzle-Solver

Im ersten Tutorium habe ich einen Puzzlelöser vorgestellt. Ich wurde darum geben, diesen online zu stellen, daher hab ich mir die mühe gemacht, ihn zu Kommentieren und als Literate-Haskell-LaTeX-Datei zu veröffentlichen: puzzle.pdf puzzle.lhs

Polynom-Klasse

Auf Wunsch habe ich die Polynom-Klasse vom 8. Tutorium etwas kommentiert und hier bereit gestellt. Die andren Tutoren kennen den Code, also gar nicht erst versuchen als eigenen auszugeben: polynom.pdf

FAQ

Hier sammle ich alle (relevanten) Fragen, die ich außerhalb des Tutoriums bzw. per e-Mail bekommen habe.

  • Freie Variablen und Skolem-Form: Wie ist das zu handhaben?
    • Die freien Variablen müssen als Parameter in den Funktionsymbolen, die gebundene Variablen ersetzen, auftauchen, genau wie als ob sie mit einem normalen All-Quantor ganz vorne gebunden wären. --Nomeata 19:21, 15. Mai 2006 (CEST)
  • Haskell: Mit :t kann man sich den Typ einer Funktion ausgeben lassen, wie jedoch lässt man sich den Typ einer Unterfunktion (also mit where deklariert) anzeigen lassen ?
    • Leider garnicht, soweit ich weiß, und soweit #haskell weiß. Da hilft nur die Funktion nochmal außerhalb, auf oberster Ebene, einfügen. Es gibt aber einen Trick: Schreibe in der äußeren Funktion irgendwo "f::a" (= Verwende f, vom Typ a), und dann meckert der Compiler und sagt, welchen Typ f wirklich hat. --Nomeata 22:25, 11. Mai 2006 (CEST)
  • Formel F = (A v B): Kann man hier die Klammern weglassen, weil der Ausdruck ja eindeutig ist? Oder ist F = A v B dann keine Formel?
    • Man darf die Klammern nach der Definition nicht weglassen, bei Fragen nach der Korrektheit von Formeln also genau beachten. Bei selbstgeschriebenen Formeln muss man nicht so streng sein, solange es eindeutig ist. --Nomeata 22:25, 11. Mai 2006 (CEST)

Wichtige Links

Tutoriumsarchiv

Dies ist nicht mein erstes Tutorium:

Von „http://www.joachim-breitner.de/wiki/Info_II_Tutorium_SS_06“
Persönliche Werkzeuge