Martin Ruckert Am Lehrstuhl für Mathematische Logik

Lehrveranstaltungen

• Ferienkurs Scheme, WS2001
  Hierzu der aktuelle i-scheme Interpreter

• Lineare Algebra II für Informatiker, SS2001
• Datenverarbeitungssysteme II , SS 2001
• Lineare Algebra I für Informatiker, Statistiker und Wirtschaftsmathematiker, WS2000
• Übungen zur Vorlesung nichtnumerisches Programmieren (Scheme) Ferienkurs (WS 2000)
• Datenverarbeitungssysteme I WS2000
  Hierzu die MMIX Quick Reference Card.


• Lineare Algebra für Informatiker II, SS 2000
• Datenverarbeitungssysteme II , SS 2000
• Funktionales Programmieren im Gymnasialunterricht, SS 2000
• Datenverarbeitungssysteme WS 1999/2000
• Übungen zur Vorlesung nichtnumerisches Programmieren (Scheme) Ferienkurs (WS 1999)
  
• Logik fuer Informatiker, WS 1999/2000
• Beweistheorie SS 1999
• Höhere Elementargeometrie SS 1999

Recent papers

Calf - A Parser Generator for Bounded Right Context Grammars (under Development)

Material zu den Fibonacci Zahlen:

Einige Verweise:

Linux on the Toshiba Tecra 500CDT

Hompage von Compagnie Felix Ruckert (mein Bruder)

Meine Homepage an der FH München

Meine US Homepage