uibasel VORLESUNG PROGRAMMIER- PARADIGMEN departemet mathematik & iformatik iformatik.uibas.ch/lehre/fs16/prog#thorste.moeller
2 Team Dozet: Dr. Thorste Möller thorste.moeller@uibas.ch Chief Techical Officer (CTO) SBI AG, Reiach, www.sbi.ch Tutore: Christia Frei Maximilia Grüer christia.frei@uibas.ch max.grueer@uibas.ch thorste möller - iformatik.uibas.ch/lehre/fs16/prog/00-orgaisatio.pdf
3 Koordiate Vorlesug Freitag 08:15 10:00 Uhr, Semiarraum 00.003 Übug Motag 16:15 18:00 Uhr, Labor U1075 Freitag 12:15 14:00 Uhr, Labor U1017 Start Mo, 21.03.2014 bzw. Fr, 25.03.2014 (KW12) Ameldug/Belege Frist 21.03.2016 Vorlesug: services.uibas.ch (ehemals MONA) Übug: courses.cs.uibas.ch thorste möller - iformatik.uibas.ch/lehre/fs16/prog/00-orgaisatio.pdf
4 Ablauf der Übuge 5 Übuge im Rhythmus vo etwa 14 Tage Meist kleiere Programmieraufgabe Auf Eglisch formuliert Beötigte Tools istalliert i U1075 Tutorial zum Aufsetze eier eigee Umgebug am 11.03.2014 Bearbeitug i Gruppe vo max. 2 Persoe Lösuge via courses.cs.uibas.ch abgebe (Abgabetermi auf jeweilige Übugsblatt) ud Vorzeige der Lösug währed Übugstermi; asoste keie Aweseheitspflicht. Optioale Zusatzaufgabe() pro Übug thorste möller - iformatik.uibas.ch/lehre/fs16/prog/00-orgaisatio.pdf
5 Wie bekommt ma die Kreditpukte? 4 ECTS Übuge durch Pukte bewertet ⅔ der Pukte Summe über alle Übuge sid Voraussetzug für Zulassug zur Klausur Bei ereutem Belege der Vorlesug eu zu erwerbe Schriftliche Klausur Termi voraussichtlich KW23 oder 24 (Afag Jui) thorste möller - iformatik.uibas.ch/lehre/fs16/prog/00-orgaisatio.pdf
6 Vorlesugsmaterialie Alle Folie werde im Netz als Skript bereitgestellt. Beachte! Folie äder sich vo Jahr zu Jahr (we auch ur miimal), de eie Vorlesug ist etwas lebediges, das iemals ei Edstadium erreicht. Es gibt prüfugsrelevate Theme, die auf keier Folie ethalte sid. thorste möller - iformatik.uibas.ch/lehre/fs16/prog/00-orgaisatio.pdf
7 Literatur Peter A. Heig, Holger Vogelsag Taschebuch Programmiersprache Haser, 2. Auflage 2007, ISBN 978-3-446-40744-2 Oder der grosse Bruder des Taschebuchs Hadbuch Programmiersprache Haser, 1. Auflage 2006, ISBN 978-3-446-40558-5 Robert W. Sebesta Cocepts of Programmig Laguages Pearso, 10th editio 2012, ISBN 978-0273769101 thorste möller - iformatik.uibas.ch/lehre/fs16/prog/00-orgaisatio.pdf
8 Orgaisatio Frage? thorste möller - iformatik.uibas.ch/lehre/fs16/prog/00-orgaisatio.pdf
9 Vorlesugsihalt Eiführug (1x2h) Systemahe Programmierug (C++) (5x2h) Fuktioale Programmierug (Haskell) (2x2h) Logikprogrammierug (Prolog) (1x2h) Dyamische Sprache (1x2h) Domäespezifische Sprache (1x2h) Schätzwerte thorste möller - iformatik.uibas.ch/lehre/fs16/prog/00-orgaisatio.pdf
10 Abgrezug (i) Welche Theme sid icht Ihalt dieser Vorlesug? Markupsprache: Programmierug vo Ihalt ud Layout vo (Bildschirm-)Seite Meist keie Möglichkeite zur Problemlösug durch Berechug (d.h. meist icht Turig-vollstädig) Visuelle (im Sie vo graphischer) Programmierug Realisierug klassischer Programmierkozepte mit visuelle/graphische (Hilfs-)Mittel Datebakprogrammierug Afrage- ud Datedefiitiossprachei Vorlesug Datebake Parallele Programmierug Ausgiebig behadelt i Vorlesug: High Performace Computig thorste möller - iformatik.uibas.ch/lehre/fs16/prog/00-orgaisatio.pdf
11 Abgrezug (ii) Welche Theme sid icht Ihalt dieser Vorlesug? Programmig i the large (verteilte) Programmierug zur Abbildug vo (verteilter) Workflows auf Basis vo (Micro-)Services Implemetierug vo Programmiersprache Compiler- bzw. Iterpreterbau Automatisierte Verifikatio, Aalyse (Programmier-)Sprachetheorie Formale Modelle zur Beschreibug vo Sytax ud Sematik Klassifizierug vo Sprache ach Komplexität, Ausdrucksstärke, formale Verifizierbarkeit... thorste möller - iformatik.uibas.ch/lehre/fs16/prog/00-orgaisatio.pdf
12 Foliekovetioe Orager Foliekopf: Stadardfolie Grüer Foliekopf: Zusatzfolie zum Selbststudium. Wird i Vorlesug ur besproche falls geüged Zeit zur Verfügug steht. Farbe die ierhalb der Folie beutzt werde habe keie feste Bedeutug. Farbe werde (i ikosisteter Weise) ur zur Hervorhebug beutzt. thorste möller - iformatik.uibas.ch/lehre/fs16/prog/00-orgaisatio.pdf