Warning: include_once(): http:// wrapper is disabled in the server configuration by allow_url_include=0 in /home/users/ruckert/public_html/logik/index.html on line 5

Warning: include_once(http://w3-o.cs.hm.edu/global/oben.inc): failed to open stream: no suitable wrapper could be found in /home/users/ruckert/public_html/logik/index.html on line 5

Warning: include_once(): Failed opening 'http://w3-o.cs.hm.edu/global/oben.inc' for inclusion (include_path='.:/usr/share/pear:/usr/share/php') in /home/users/ruckert/public_html/logik/index.html on line 5

Logik Kalküle: Winter 2005/2006

Vorlesung:

Montag, 15:15-16:45, Raum G2.42 und Mittwoch, 8:15-9:45, Raum G3.18

Skriptum:

Es existiert ein Skript aus dem Jahr 1999, das ich allerdings etwas überarbeiten möchte. Ich werde mich also in der Vorlesung nicht streng an dieses Skript halten, beabsichtige aber Änderungen oder Erweiterungen oder ganz neue Themen in das Skript neu einzuarbeiten.
Warning: include_once(): http:// wrapper is disabled in the server configuration by allow_url_include=0 in /home/users/ruckert/public_html/logik/index.html on line 33

Warning: include_once(http://w3-o.cs.hm.edu/global/unten.inc): failed to open stream: no suitable wrapper could be found in /home/users/ruckert/public_html/logik/index.html on line 33

Warning: include_once(): Failed opening 'http://w3-o.cs.hm.edu/global/unten.inc' for inclusion (include_path='.:/usr/share/pear:/usr/share/php') in /home/users/ruckert/public_html/logik/index.html on line 33