Automatentheorie, formale Sprachen und Berechenbarkeit

Transkript

1 FERNSTUDIUM INFORMATIK an Fachhochschulen Automatentheorie, formale Sprachen und Berechenbarkeit Studienplan WS 2017/18 Inhalt Der Modulablauf im Überblick... 1 Ihre Kursbetreuerin... 1 Semesterplan... 1 Wo finde ich das Lehrmaterial?... 1 Prüfung... 2 Tutorien... 3 Leistungsnachweise, Prüfung, Abschlussnote. 4 Zertifikate... 4 Weitere Termine im Semester... 4 Stand:

2 Der Modulablauf im Überblick Das Lehrmaterial umfasst ein Lehrbuch und einen Begleittext. Der Begleittext gliedert die Bearbeitung des Lehrbuchs in drei inhaltlich zusammenhängende Teile. Er leitet zum Studium des Lehrbuchs an und führt Sie durch den Kurs. Zu jedem Teil des Lehrbuchs gibt es Einsendeaufgaben, die im Laufe des Semesters sukzessive bearbeitet werden müssen. Die Einsendeaufgaben dienen der Erarbeitung und Festigung des Lehrstoffes. Ihre individuellen Lösungen werden von einem Korrektor geprüft und Sie erhalten sie korrigiert und kommentiert zurück. Zusätzlich gibt es Musterlösungen, die nach Ablauf des Bearbeitungszeitraums im OpenOLAT-Kurs freigeschaltet werden. Semesterbegleitend werden Tutorien angeboten (S. 3). Tutorien geben die Gelegenheit, fehlende mathematische Vorkenntnisse aufzuarbeiten, Fragen zum Modul und zu den Einsendeaufgaben zu besprechen und ein tieferes Verständnis für den Gesamtzusammenhang des Lehrstoffes zu erhalten. Den Abschluss des Kurses bildet die Prüfung (S. 2). Der Semesterplan auf S. 2 zeigt den Ablauf des Kurses im Überblick einschließlich der Abgabetermine der Einsendeaufgaben. Ihre Kursbetreuerin Ihre Kursbetreuerin ist: Vesna Daum Lehrbeauftragte im Fernstudium Informatik daum.vesna@gmail.com Telefonische Sprechstunde: Dienstags, 20:30 h 21:30 h Tel.: / Vesna Daum hilft Ihnen weiter bei Verständnisfragen zum Lehrstoff und zu den Einsendeaufgaben. Bitte senden Sie Ihre Fragen schriftlich per unter Angabe Ihrer Telefonnummer oder rufen Sie während der Sprechstunde an. Wo finde ich das Lehrmaterial? Lehrmaterial Lehrbuch Grundkurs Theoretische Informatik Begleittext Bezug Das Lehrbuch ist im Lieferumfang enthalten. Sie erhalten es per Post. Es ist auch als ebook verfügbar und kann über den -Katalog der Hochschulbibliothek der Hochschule Trier kostenlos heruntergeladen werden. Information dazu siehe E-Books Den gedruckten Begleittext erhalten Sie per Post. Download PDF-Datei des Begleittextes: OpenOLAT-Kurs Lehrmaterial 1

3 Einsendeaufgaben Stichwortliste zur Prüfungsvorbereitung Ergänzende Literatur zum Kurs OpenOLAT-Kurs Einsendeaufgaben OpenOLAT-Kurs Prüfung OpenOLAT-Kurs Lehrmaterial Zusatzmaterial Vorlesungsaufzeichnungen des Fachbereichs Informatik Ergänzend zum Lehrmaterial des Fernstudiums stehen Vorlesungsaufzeichnungen aus den Präsenzlehrveranstaltungen des Fachbereichs Informatik zur Verfügung. Sie behandeln verschiedene Themen der Informatik einschließlich der Themen einiger Fernstudienmodule. Sie können bei Interesse abgerufen werden unter (mit Nutzerkennung des Rechenzentrums einloggen). Semesterplan Lehrmaterial Lehrbuch Grundkurs Theoretische Informatik, 6. Aufl. Begleittext zum Lehrbuch A B C D Einsendeaufgaben Bearbeitung Einsendeaufgaben empfohlene Bearbeitungszeit empfohlene Abgabe letztmögliche Abgabe Einsendeaufgaben, Teil 1 9 Wochen Einsendeaufgaben, Teil 2 3 Wochen Einsendeaufgaben, Teil 3 5 Wochen Prüfung Bitte melden Sie sich zur Prüfung mit dem Anmeldeformular an, das im Laufe des Semesters zum Download zur Verfügung gestellt wird (Termin siehe Abschnitt Weitere Termine im Semester auf S. 4). Datum: Sa, und Sa, Der bevorzugte Prüfungstag kann im Anmeldeformular augewählt werden. Ort: Hochschule Koblenz (RheinMoselCampus) Prüfer: Prof. Dr. Kurt-Ulrich Witt Hochschule Bonn-Rhein-Sieg, St. Augustin Beisitz, Protokoll: Vesna Daum Art der Prüfung: Mündliche Prüfung (30 Min.) 2

4 Tutorien Ziel: Tutorin: - Sitzungen: Präsenz- Tutorien: Verschiebung von Terminen: Das Tutorium gibt Ihnen die Möglichkeit, fehlende mathematische Vorkenntnisse aufzuarbeiten, Fragen zum Modul und zu den Einsendeaufgaben zu besprechen und ein tieferes Verständnis für den Gesamtzusammenhang des Lehrstoffes zu erhalten. Die Teilnahme am Tutorium ist freiwillig, wird jedoch sehr empfohlen, da das Studium des Moduls ein hohes Maß an Abstraktionsfähigkeit erfordert. Wir würden es begrüßen, wenn Sie Ihre konkreten Fragen vor den einzelnen Tutorien formulieren und sie der Tutorin entweder vorab per zusenden oder die Fragen während des Tutoriums stellen. Vesna Daum Der Zugang zu den -Sitzungen erfolgt über den Kurs auf der Lernplattform. Hier finden Sie die Weblinks zu den Sitzungen und eine kurze Bedienungsanleitung. Die Tutorien werden aufgezeichnet. Die Aufzeichnung und eventuelle Zusatzmaterialien werden im Kurs auf der Lernplattform zum Download zur Verfügung gestellt. Bei weniger als 3 Tutoriumsteilnehmern liegt es im Ermessen des Tutors, das Tutorium durchzuführen oder es ausfallen zu lassen. Veranstaltungsort: Hochschule Koblenz (RheinMoselCampus), Konrad-Zuse-Str. 1, Koblenz-Karthause, Raum: K U25. Präsenz-Tutorien werden nicht aufgezeichnet. Nach der Veranstaltung wird ersatzweise eine Aufzeichnung eines früheren Tutoriums in den Kurs auf der Lernplattform eingestellt. Vereinzelt kann es vorkommen, dass Termine verschoben werden müssen. Verschiebungen geben wir Ihnen so früh wie möglich bekannt. Art Datum Dauer Inhalt Sa, :00 h - 21:00 h Mengen So, :00 h - 20:00 h Relationen und Funktionen Di, :00 h - 21:00 h Aussagenlogik und Beweistechnik So, :00 h - 19:00 h 15:00 h 17:00 Präsenz Sa, :00 h - 16:00 h So, So, :00 h - 19:00 h So, :00 h - 19:00 h So, :00 h - 19:00 h So, :00 h - 19:00 h So, :00 h - 19:00 h So, :00 h - 19:00 h Besprechung des Lehrstoffs Vorbereitung der Einsendeaufgaben Präsenz Sa, :00 h - 15:00 h Prüfungsvorbereitung 3

5 Leistungsnachweise, Prüfung, Abschlussnote Für den erfolgreichen Abschluss des Moduls sind im Laufe des Semesters folgende Leistungen zu erbringen: 1. Einsendeaufgaben Die Bearbeitung der Einsendeaufgaben ist Voraussetzung für die Zulassung zur Prüfung. Die Zulassung erfolgt, wenn mindestens die Hälfte der möglichen Punkte erreicht ist. Dabei ist es nicht unbedingt notwendig, alle Aufgaben zu bearbeiten, solange die Mindestpunktzahl erreicht wird. Die maximal mögliche Punktzahl und die für die Zulassung erforderliche Mindestpunktzahl finden Sie bei den Einsendeaufgaben im OpenOLAT-Kurs. Die Punkte der Einsendeaufgaben gehen nicht in die Abschlussnote ein. 2. Prüfung Um das Modul erfolgreich mit Note abzuschließen, müssen Sie an der Prüfung teilnehmen und die Prüfung mindestens mit der Note ausreichend (4,0) bestehen. Inhalt der Prüfung: Zur Prüfungsvorbereitung finden Sie im OpenOLAT-Kurs Prüfung eine Liste mit Stichpunkten. Machen Sie sich mit den dort aufgelisteten Inhalten vertraut, dann sind Sie auf die Prüfung gut vorbereitet. Wenn Sie keine Note für das Modul benötigen, sondern nur eine unbenotete Teilnahmebescheinigung haben wollen, dann brauchen Sie nicht an der Prüfung teilzunehmen. Die Note der Prüfung ist die Abschlussnote für das Modul. Zertifikate Benotetes Einzelzertifikat Sie erhalten ein benotetes Einzelzertifikat, wenn Sie die Leistungsnachweise 1-2 erbringen. Unbenotetes Einzelzertifikat (~ Teilnahmebescheinigung) Ein unbenotetes Einzelzertifikat wird ausgestellt, wenn der Leistungsnachweis (1) erfüllt ist und Sie an der Prüfung (2) entweder gar nicht teilnehmen oder die Prüfung nicht bestehen. Benotete und unbenotete Einzelzertifikate werden automatisch ausgestellt und Ihnen per Post zugeschickt. Ein Antrag auf Ausstellung des Zertifikates ist nicht erforderlich. Weitere Termine im Semester Freischaltung des -Formulars für die Anmeldung zu den Präsenzpraktika und Prüfungen des Wintersemesters 2017/18. Sie erhalten rechtzeitig eine Anmeldeaufforderung per Rückmeldezeitraum für das Sommersemester 2018: Bitte melden Sie sich in diesem Zeitraum online bei der ZFH zurück. Sie erhalten rechtzeitig eine Rückmeldeaufforderung per Beginn der Lehrveranstaltungen des Sommersemesters