Programmierung 1 Bernd Finkbeiner

News

20.11.2020

Minitest B Ergebnisse

Liebe Studierende,

Sie können nun Ihr Feedback und die erreichte Punktzahl zu Minitest B auf Ihrer persönlichen Statusseite einsehen. Damit Sie sich mit dem Tool vertraut machen konnten, waren diese Woche ausschließlich Bonuspunkte zu erreichen, die nicht zu... Weiterlesen

Liebe Studierende,

Sie können nun Ihr Feedback und die erreichte Punktzahl zu Minitest B auf Ihrer persönlichen Statusseite einsehen. Damit Sie sich mit dem Tool vertraut machen konnten, waren diese Woche ausschließlich Bonuspunkte zu erreichen, die nicht zu den maximal erreichbaren Punkten aller Minitests zählen. Die regulären Minitests beginnen nächste Woche mit jeweils 15 Punkten pro Test.

Bitte beachten Sie für die zukünftigen Minitests: Sobald Sie den Test starten, haben Sie 15 Minuten Bearbeitungszeit. Ihre Eingaben werden nicht automatisch gespeichert, Sie müssen also zum Ende der Zeit auf "submit"/"abgeben" klicken und Ihre Abgabe in dem erscheinenden Popup-Fenster bestätigen.

Bei Fragen zur Korrektur wenden Sie sich an Ihre(n) Tutor:in oder kommen Sie in die Office Hour.

Ihr Programmierung 1 Team

17.11.2020

Minitest B

Liebe Studierende,

für kommenden Donnerstag werden wir die Vorgehensweise für den Minitest etwas anpassen:

Der Minitest kann zwischen 9:45 und 10:05 gestartet werden. Ab dem Zeitpunkt, an dem sie den Test starten, haben Sie 15 Minuten Zeit für die... Weiterlesen

Liebe Studierende,

für kommenden Donnerstag werden wir die Vorgehensweise für den Minitest etwas anpassen:

Der Minitest kann zwischen 9:45 und 10:05 gestartet werden. Ab dem Zeitpunkt, an dem sie den Test starten, haben Sie 15 Minuten Zeit für die Bearbeitung. Der Test fragt den Stoff des Übungsblatts B ab. Wie schon letzte Woche erwähnt, wird es in diesem Test lediglich 10 Bonuspunkte geben. Die Vorlesung am Donnerstag beginnt wie letzte Woche um 10:20.

Ihr Programmierung 1 Team

12.11.2020

Technische Probleme Minitest A

Liebe Studierende,

wie Sie festgestellt haben, gab es bei dem heutigen Minitest leider technische Probleme. Damit niemandem Nachteile entstehen, gehen wir nun wie folgt vor:

  • Der heutige Test wird nicht bepunktet.
  • Alle erfolgreichen Abgaben... Weiterlesen

Liebe Studierende,

wie Sie festgestellt haben, gab es bei dem heutigen Minitest leider technische Probleme. Damit niemandem Nachteile entstehen, gehen wir nun wie folgt vor:

  • Der heutige Test wird nicht bepunktet.
  • Alle erfolgreichen Abgaben werden trotzdem von den Tutor:innen korrigiert. Auf Ihrer persönlichen Statusseite wird der Test als Abgabe zu sehen sein, nach der Korrektur sehen Sie dort auch Ihr Feedback.
  • Der heutige Test kann unter Materialien runtergeladen werden, für alle, die den Test nicht im vorgesehenen Zeitraum bearbeiten konnten. Wenn Sie Fragen zu Ihren Lösungen haben, fragen Sie gerne im Forum oder in der Office Hour nach.
  • Beim nächsten Test werden erneut maximal 10 Bonuspunkte zu erreichen sein.
  • Der nächste Test wird den Stoff von Übungsblatt B behandeln. Dieser wird voraussichtlich erneut nächsten Donnerstag um 10:00 - 10:15 geschrieben. Sollte sich daran wegen der technischen Umstände etwas ändern, geben wir Ihnen rechtzeitig Bescheid.

Wenn es noch offene Fragen gibt, fragen Sie gerne im Forum nach.

Viele Grüße

Ihr Programmierung 1 Team

07.11.2020

Tutoriumseinteilung

Liebe Studierende,

wir haben Sie nun Ihrem Tutorium zugeteilt, sie finden dieses auf Ihrer persönlichen Statusseite im CMS. Alle Tutorien werden auf Zoom und Discord stattfinden. Ihr/Ihre Tutor:in wird Ihnen bald eine E-Mail mit dem Zoom Link und weiteren Infos... Weiterlesen

Liebe Studierende,

wir haben Sie nun Ihrem Tutorium zugeteilt, sie finden dieses auf Ihrer persönlichen Statusseite im CMS. Alle Tutorien werden auf Zoom und Discord stattfinden. Ihr/Ihre Tutor:in wird Ihnen bald eine E-Mail mit dem Zoom Link und weiteren Infos schreiben.

WICHTIG: Um am Tutorium teilnehmen zu können, müssen Sie auf unserem Discord Server registriert sein. Hier finden Sie eine Beschreibung, wie Sie zu unserem Discord Server gelangen (der Link ist unten auf der Seite). Damit wir Sie auf Discord Ihrem Tutorium zuteilen können, müssen Sie ihre Discord ID (ähnlich zu 312551655487846420) auf Ihrer persönlichen Statusseite eintragen. Falls Sie dies noch nicht getan haben, tragen Sie Ihre Discord ID bis spätestens Montag, 12:00 ein. Wie Sie Ihre Discord ID erfahren, erfahren Sie ebenfalls unter obrigem Link.

Viel Spaß in den Tutorien!

Ihr Programmierung 1 Team

27.10.2020

Willkommen!

Liebe Studierende,

wir freuen uns, Sie in der Programmierung 1 (und an der Universität des Saarlandes) begrüßen zu dürfen!

Dieses Jahr findet die Veranstaltung in weiten Teilen online statt, Informationen zum Ablauf und den verwendeten Plattformen finden Sie... Weiterlesen

Liebe Studierende,

wir freuen uns, Sie in der Programmierung 1 (und an der Universität des Saarlandes) begrüßen zu dürfen!

Dieses Jahr findet die Veranstaltung in weiten Teilen online statt, Informationen zum Ablauf und den verwendeten Plattformen finden Sie (wenn Sie hier im CMS eingeloggt sind) unter dem Reiter Informationen. Alles Weitere erfahren Sie in der ersten Vorlesung. Diese findet am kommenden Dienstag (3.11.) um 14:15 statt. Die Vorlesung wird live über zoom gestreamt, Sie finden den Stream unter tv.prog1.saarland.

Vor der ersten Vorlesung können Sie gerne schon Fragen im Forum stellen und sich auf unserem Discord Server registrieren, den Link dazu finden Sie unter Informationen/Discord.

Ihr Programmierung 1 Team

 

Inhalt

Was ist Informatik? Was ist Programmieren? Dieser Kurs bietet eine Einführung in die grundlegenden Konzepte der Informatik und insbesondere der Programmiersprachen. Wir verwenden bewusst die funktionale Programmiersprache Standard ML, da sie die Konzepte der Informatik, insbesondere die Rekursion, einfach und klar umsetzen lässt. Der Fokus der Vorlesung liegt auf der Struktur von Programmiersprachen, welche durch Grammatiken, Inferenzregeln, und das Programmieren von Interpretern, Maschinen und Übersetzern vermittelt wird. Darauf aufbauend werden wir grundlegende Techniken wie Laufzeitbestimmungen und (Korrektheits-)Beweise über Programme behandeln. Am Ende der Vorlesung werden Sie in der Lage sein eigene Programmiersprachen zu definieren und Interpreter dafür zu schreiben. Wir setzen keinerlei Programmierkenntnisse voraus. Sie sollten aber Freude am mathematischen Denken mitbringen und offen für abstrakte Konzepte sein.

 

Allgemeine Informationen

Dieses Jahr wird die Veranstaltung größtenteils online stattfinden. Weitere Informationen, zum Ablauf der Veranstaltung finden Sie hier. Informationen zu den verwendeten Plattformen finden Sie unter dem Reiter Informationen.

Vorlesungen: Die Vorlesungen werden online gestreamt und finden Dienstag, 14:15 - 16:00 und Donnerstag, 10:15 - 12:00 statt. Erste Vorlesung: 03.11., 14:15 auf tv.prog1.saarland.

Tutorien: Ihr Tutorium findet entweder Dienstag oder Mittwoch statt. Es gibt verschiedene Slots, für die Sie in der ersten Vorlesungswochen Präferenzen angeben können. Sie werden gemäß Ihren Präferenzen von uns einem Tutorium zugeteilt und finden die genaue Zeit und den genauen Ort dann auf Ihrer persönlichen Statusseite. Ob die Tutorien online oder auch teilweise offline stattfinden, richtet sich nach der aktuellen Lage der Pandemie. Die Option, das Tutorium online zu besuchen, wird auf jeden Fall bestehen.

Office Hours: Office Hours werden online veranstaltet.

Minitests: Wöchentliche Minitests werden online über unser Minitestsystem geschrieben und finden Donnerstag, 10:00 - 10:15 (direkt vor der Vorlesung) statt.

Klausuren: Für Klausuren müssen Sie persönlich auf dem Campus in Saarbrücken anwesend sein. Informationen zu den Klausuren finden Sie hier.

Sprechstunden: Bernd Finkbeiner: nach Vereinbarung, Jana Hofmann: nach Vereinbarung
 

Anmeldung

Sie müssen sich in diesem CMS System für die Vorlesung anmelden. Die Anmeldung ist ab dem 19. Oktober möglich und muss bis zum 6. November 2020, 23:59 Uhr erfolgen. Vor der ersten Klausur müssen Sie sich außerdem in Ihrem Prüfungsverwaltungssystem (HISPOS oder VIPA) für die Vorlesung und die Prüfung anmelden. Weitere Informationen dazu erhalten Sie rechtzeitig in der Vorlesung. 

 

Materialien

Wir werden uns an das erprobte Buch Programmierung - Eine Einführung in die Informatik mit Standard ML von Gert Smolka halten. Dieses Buch gibt es in größerer Stückzahl in der Fachbereichsbibliothek zum Ausleihen, außerdem ist die EBuch-Ausgabe (2. Auflage) ist im IP-Bereich der Universität des Saarlandes frei zugreifbar. Die alte, 1. Auflage ist bei Bedarf hier zu finden.

Wir stellen wöchentlich Übungsblätter zur Verfügung, damit Sie das Erlernte trainieren können. Darüber hinaus erstellt das Team der Tutor:innen zusätzliche Materialien wie Trainingsvideos und weitere Übungsaufgaben. Alle Materialien finden Sie im Reiter Informationen.

 

Was Sie tun können, bevor die Vorlesung anfängt:

  • Besorgen Sie sich das Buch zur Vorlesung.
  • Machen Sie sich mit dem Buch Discrete Mathematics and Its Applications von Kenneth H. Rosen vertraut (erschienen bei McGraw-Hill, Juli 2006).
  • Erproben Sie erste Beispiele im Buch in unserem online Interpreter SOSML.
  • Stellen Sie erste Fragen in unserem Forum.


Datenschutz | Impressum
Bei technischen Problemen wenden Sie sich bitte an die Administratoren