0.1 Organisatorisches
|
|
|
- Theodor Graf
- vor 5 Jahren
- Abrufe
Transkript
1 Theorie der Informatik 17. Februar Organisatorisches Theorie der Informatik 0. Organisatorisches 0.1 Organisatorisches Malte Helmert Gabriele Röger 0.2 Classroom Response System SMILE Universität Basel 17. Februar Über diese Vorlesung M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 Personen 0.1 Organisatorisches Dozenten Prof. Malte Helmert malte.helmert@unibas.ch Büro: Raum 305, Bernoullistrasse 16 Gabriele Röger gabriele.roeger@unibas.ch Büro: Raum 511, Bernoullistrasse 16 Tutoren Manuel Heusner, Florian Pommerening, Jendrik Seipp, Silvan Sievers vorname.nachname@unibas.ch Büro: Raum 404, Bernoullistrasse 16 M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23
2 Zeit & Ort Theorie-Vorlesung im Web Vorlesungen Zeit: Mo 13:15-15:00, Mi 15:15-17:00 Ort: SR 205, Bernoullistrasse 16 Übungen Zeit: Mo 15:15-17:00 ab 24. Februar 2014 Ort: SR 205, Bernoullistrasse 16 Vorlesungsseite Kursbeschreibung Folien Übungsblätter und -materialien Anmeldung: M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 Vorlesungsmaterialien Zielgruppe Vorlesungsmaterialien: Vorlesungsfolien (online + ausgeteilt) Lehrbücher vertiefendes Material auf Anfrage Lehrbücher Theoretische Informatik - kurz gefasst von Uwe Schöning (5. Auflage) deckt grosse Teile der Vorlesung ab, allerdings nicht den Logikteil Logik für Informatiker von Uwe Schöning (5. Auflage) deckt Logikteil der Vorlesung ab, geht aber deutlich darüber hinaus. Zielgruppe: Bachelor Informatik, 2. Semester andere Studiengänge herzlich willkommen Voraussetzungen: Grundlegende Beweistechniken (vollständige Induktion, Beweis durch Widerspruch,... ) Programmierkenntnisse M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23
3 Prüfung Übungen Schriftliche Prüfung am ECTS-Punkte Zulassung: 50% der Übungspunkte Vorlesungsnote ergibt sich ausschliesslich aus schriftlicher Prüfung Übungsaufgaben: Grösstenteils Theorieaufgaben, manchmal aber auch Programmieraufgaben evtl. Präsenzaufgaben (nicht zulassungsrelevant) Übungstermine: Besprechung der Theorieaufgaben evtl. Präsenz- und kleine Praxisaufgaben evtl. teilweise in Kleingruppen Teilnahme freiwillig M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 Übungen Plagiate Aufgaben werden mittwochs auf die Vorlesungsseite gestellt Bearbeitung alleine Abgabe mittwochs in Folgewoche (in Postfach oder im Courses) Besprechung in Übungsgruppe Plagiat (Wikipedia) Ein Plagiat (über frz. aus lat. plagium, Menschenraub ) ist das Aneignen fremder geistiger Leistungen. Dies kann sich auf die Übernahme fremder Texte oder anderer Darstellungen [... ], fremder Ideen [... ] oder beides gleichzeitig beziehen. Folge: 0 Punkte für Übungsblatt oder Nicht-Zulassung zur Prüfung Im Zweifelsfall: vorher klären, was (nicht) in Ordnung ist Aufgaben zu schwer? Wir helfen gerne! M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23
4 Fragen zur Organisation 0. Organisatorisches Classroom Response System SMILE Fragen? 0.2 Classroom Response System SMILE M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / Organisatorisches Classroom Response System SMILE Was ist ein Classroom Response System? 0. Organisatorisches Classroom Response System SMILE SMILE Live Demo Zugriff für Theorievorlesung Mit SMILE-Zugangsdaten einloggen unter Icon rechts oben neue Vorlesung Authentifizierungstoken Funktionen Feedback mit Schieberegler Fragen und Antworten Quiz zur Verständniskontrolle Smartphones in der Lehre Entwickelt an der Albert-Ludwigs-Universität Freiburg Noch in der Testphase Mehr Informationen unter Feedback und Verbesserungsvorschläge willkommen! M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23
5 0. Organisatorisches Classroom Response System SMILE Fragen zu SMILE 0.3 Über diese Vorlesung Fragen? M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 Inhalte Lernziele Theoretisches Fundament der Informatik Logik Wie kann man Wissen und Zusammenhänge repräsentieren und automatisiert verarbeiten? Automatentheorie und formale Sprachen Was ist eine Berechnung? Berechenbarkeitstheorie Was kann überhaupt berechnet werden? Komplexitätstheorie Was kann effizient berechnet werden? Verständnis und Anwenden der fachlichen Vorlesungsinhalte Arbeiten mit formalen Systemen Verstehen formaler Definitionen und Theoreme Differenzieren von Aussagen im System und über das System Präzises Formulieren von Beweisen M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23
6 Warnhinweis Vorbereitung für nächstes Mal Wer s nicht gewohnt ist, für den ist es ungewohnt. (Prof. Dr. Th. Ottmann) Was kann man da machen? Immer dranbleiben Übungsaufgaben bearbeiten Auf Details achten Fragen stellen! Worin besteht das Geheimnis Ihres langen Lebens? Vereinfachen Sie diesen Ratschlag! Ich halte mich streng an Diätregeln: Wenn ich kein Bier zu einer Mahlzeit trinke, dann habe ich immer Fisch. Immer wenn ich Fisch und Bier zur selben Mahlzeit habe, verzichte ich auf Eiscreme. Wenn ich Eiscreme habe oder Bier meide, dann rühre ich Fisch nicht an. Aufgabe aus U. Schöning: Logik für Informatiker Foto mit freundlicher Genehmigung von graur razvan ionut / FreeDigitalPhotos.net M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23 Fragen zur Vorlesung Fragen? M. Helmert, G. Röger (Univ. Basel) Theorie 17. Februar / 23
Theorie der Informatik
Theorie der Informatik 0. Organisatorisches Malte Helmert Gabriele Röger Universität Basel 17. Februar 2014 Organisatorisches Personen Dozenten Prof. Malte Helmert E-Mail: malte.helmert@unibas.ch Büro:
Theorie der Informatik
Theorie der Informatik 0. Organisatorisches Malte Helmert Gabriele Röger Universität Basel 16. Februar 2015 Organisatorisches Personen Dozenten Prof. Dr. Malte Helmert E-Mail: malte.helmert@unibas.ch Büro:
Grundlagen der Künstlichen Intelligenz
Grundlagen der Künstlichen Intelligenz 0. Organisatorisches Malte Helmert Universität Basel 16. Februar 2015 Organisatorisches Personen: Dozent Dozent Prof. Dr. Malte Helmert E-Mail: malte.helmert@unibas.ch
Algorithmen und Datenstrukturen
Algorithmen und Datenstrukturen A1. Organisatorisches Marcel Lüthi and Gabriele Röger Universität Basel 28. Februar 2018 Organisatorisches Personen: Dozenten Marcel Lüthi Gabriele Röger Dozenten Dr. Marcel
2.1 Direkter Beweis. Theorie der Informatik. Theorie der Informatik. 2.1 Direkter Beweis. 2.2 Indirekter Beweis
Theorie der Informatik 18. Februar 2015 2. Beweistechniken Theorie der Informatik 2. Beweistechniken 2.1 Direkter Beweis Malte Helmert Gabriele Röger 2.2 Indirekter Beweis Universität Basel 18. Februar
Theorie der Informatik
Theorie der Informatik 2. Beweistechniken Malte Helmert Gabriele Röger Universität Basel 18. Februar 2015 Beweis Beweis Ein Beweis leitet die Korrektheit einer mathematischen Aussage aus einer Menge von
Theorie der Informatik
Theorie der Informatik 1. Aussagenlogik I Malte Helmert Gabriele Röger Universität Basel 19. Februar 2014 Motivation Aufgabe von letzter Vorlesungsstunde Worin besteht das Geheimnis Ihres langen Lebens?
Theoretische Informatik: Logik
Theoretische Informatik: Logik Vorlesung im Wintersemester 2011/12 Martin Lange, Bahareh Badban, Norbert Hundeshagen, Marcel Vollweiler, Kadir Aytemür, Michael Morold FG Formale Methoden und Software-Verifikation
Theorie der Informatik
Theorie der Informatik 15. Ackermannfunktion Malte Helmert Gabriele Röger Universität Basel 28. April 2014 Überblick: Vorlesung Vorlesungsteile I. Logik II. Automatentheorie und formale Sprachen III. Berechenbarkeitstheorie
Theorie der Informatik. Theorie der Informatik P und NP Polynomielle Reduktionen NP-Härte und NP-Vollständigkeit
Theorie der Informatik 13. Mai 2015 20. P, NP und polynomielle Reduktionen Theorie der Informatik 20. P, NP und polynomielle Reduktionen 20.1 P und NP Malte Helmert Gabriele Röger 20.2 Polynomielle Reduktionen
Logik für Informatiker
Logik für Informatiker Vorlesung im Sommersemester 2009 Martin Lange, Markus Latte, Matthias Andreas Benkard Institut für Informatik, LMU München 14. Mai 2009 Organisatorisches Logik für Informatiker,
Informatik I: Einführung in die Programmierung
Informatik I: Einführung in die Programmierung Albert-Ludwigs-Universität Freiburg Bernhard Nebel 21. Oktober 2014 1 21. Oktober 2014 B. Nebel Info I 3 / 14 : Wann & wo Wann Dienstag und Freitag, 10 c.t.-12
Informatik I: Einführung in die Programmierung
Informatik I: Einführung in die Programmierung Albert-Ludwigs-Universität Freiburg Bernhard Nebel 17. Oktober 2017 und 17. Oktober 2017 B. Nebel Info I 2 / 14 : Wann & wo Wann Dienstag 10 c.t.-12 Uhr und
Logik für Informatiker
Logik für Informatiker Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 0. Organisatorisches Kontakt: Viorica Sofronie-Stokkermans sofronie@uni-koblenz.de Sprechstunde: Mittwoch: 16:00 (Anmeldung
Logik und diskrete Strukturen
Prof. Dr. Institut für Informatik Abteilung V Wintersemester 2015/16 Dozenten und Tutoren Vorlesung Professor für Theoretische Informatik E-Mail: roeglin@cs.uni-bonn.de Web: http://www.roeglin.org/ Büro:
1.1 Motivation. Theorie der Informatik. Theorie der Informatik. 1.1 Motivation. 1.2 Syntax. 1.3 Semantik. 1.4 Formeleigenschaften. 1.
Theorie der Informatik 19. Februar 2014 1. Aussagenlogik I Theorie der Informatik 1. Aussagenlogik I Malte Helmert Gabriele Röger Universität Basel 19. Februar 2014 1.1 Motivation 1.2 Syntax 1.3 Semantik
Informatik I. 0. Organisation. Jan-Georg Smaus. Albert-Ludwigs-Universität Freiburg. 19. Oktober 2010
Informatik I 0. Organisation Jan-Georg Smaus Albert-Ludwigs-Universität Freiburg 19. Oktober 2010 Jan-Georg Smaus (Universität Freiburg) Informatik I 19. Oktober 2010 1 / 18 Informatik I 19. Oktober 2010
Theoretische Informatik: Berechenbarkeit und Formale Sprachen
Theoretische Informatik: Berechenbarkeit und Formale Sprachen Prof. Dr. F. Otto Fachbereich Elektrotechnik/Informatik, Universität Kassel 34109 Kassel, Germany E-mail: otto@theory.informatik.uni-kassel.de
Theorie der Informatik
Theorie der Informatik 11. Kontextsensitive und Typ-0-Sprachen Malte Helmert Gabriele Röger Universität Basel 7. April 2014 Kontextsensitive und allgemeine Grammatiken Wiederholung: (kontextsensitive)
Allgemeine Informatik 1
Allgemeine Informatik 1 Veranstalter: Prof. Dr. Johannes Fürnkranz: Raum S202/E304, Sprechstunde: Mittwochs 11.00 12.00, Email: fuernkranz@informatik.tu-darmstadt.de Sekretariat: Mo-Fr 9.00-12.00 Übungsleitung,
Theoretische Informatik: Berechenbarkeit und Formale Sprachen
Theoretische Informatik: Berechenbarkeit und Formale Sprachen Prof. Dr. F. Otto Fachbereich Elektrotechnik/Informatik, Universität Kassel 34109 Kassel, Germany E-mail: otto@theory.informatik.uni-kassel.de
Theoretische Informatik
Theoretische Informatik Sommersemester 2004 Christoph Kreitz Theoretische Informatik, Raum 1.18, Telephon 3060 kreitz@cs.uni-potsdam.de http://www.cs.uni-potsdam.de/ti/kreitz 1. Themen und Lernziele 2.
Theorie der Informatik Übersicht. Theorie der Informatik SAT Graphenprobleme Routing-Probleme. 21.
Theorie der Informatik 19. Mai 2014 21. einige NP-vollständige Probleme Theorie der Informatik 21. einige NP-vollständige Probleme 21.1 Übersicht 21.2 Malte Helmert Gabriele Röger 21.3 Graphenprobleme
Logik für Informatiker
Logik für Informatiker Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 0. Organisatorisches Kontakt: Viorica Sofronie-Stokkermans sofronie@uni-koblenz.de Raum B 225 Sprechstunde: Montag: 16:00
Algorithmen und Berechnungskomplexität I
Algorithmen und Berechnungskomplexität I Prof. Dr. Institut für Informatik Wintersemester 2013/14 Organisatorisches Vorlesung Dienstag und Donnerstag, 12:30 14:00 Uhr (HS 1) Übungen 16 Übungsgruppen Anmeldung
Theorie der Informatik Einleitung. Theorie der Informatik Basisfunktionen und Einsetzung Primitive Rekursion. 14.
Theorie der Informatik 16. April 2014 14. primitive Rekursion und µ-rekursion Theorie der Informatik 14. primitive Rekursion und µ-rekursion 14.1 Einleitung 14.2 Basisfunktionen und Einsetzung Malte Helmert
Theoretische Informatik: Berechenbarkeit und Formale Sprachen
Theoretische Informatik: Berechenbarkeit und Formale Sprachen Prof. Dr. F. Otto Fachbereich Elektrotechnik/Informatik, Universität Kassel 34109 Kassel, Germany E-mail: otto@theory.informatik.uni-kassel.de
Systeme I: Betriebssysteme. Willkommen. Wolfram Burgard Henrich Kolkhorst, Johannes Meyer Andreas Wachaja
Systeme I: Betriebssysteme Willkommen Wolfram Burgard Henrich Kolkhorst, Johannes Meyer Andreas Wachaja 1 Veranstalter Dozent Prof. Dr. Wolfram Burgard Gebäude 080 Sprechstunde: nach Vereinbarung burgard@informatik.uni-freiburg.de
Theoretische Grundlagen der Informatik
Vorlesungstitel, Einordnung, Literatur Die Vorlesung Formale Sprachen und Automatentheorie ist der erste Teil des Moduls Theoretische Grundlagen der Informatik Der zweite Teil ist die Vorlesung Logik und
Rechnerstrukturen. Vorlesung (V4 + Ü2) im Sommersemester Prof. Dr. Felix C. Freiling. Martin Mink, Ralf Wienzek
Lehr- und Forschungsgebiet Informatik 4 Verlässliche Verteilte Systeme http://www-i4.informatik.rwth-aachen.de/lufg Rechnerstrukturen Vorlesung (V4 + Ü2) im Sommersemester 2005 Prof. Dr. Felix C. Freiling
Vorlesung Berechenbarkeit und Komplexität Wintersemester 2016/17. Wer sind wir? Willkommen zu
Vorlesung Berechenbarkeit und Komplexität Wintersemester 2016/17 Prof. Barbara König Übungsleitung: Sebastian Küpper Willkommen zu Berechenbarkeit und Komplexität (Bachelor Angewandte Informatik, Duisburg
Anwesenheit bei den Übungen. Aktive Teilnahme an den Übungen (Vorrechnen) Benotete Klausur am 4. April 2007, Uhr
Vorlesung Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard Zeit und Ort: Di+Do 11.00 13.00 Uhr, Gebäude 101, HS 026 Dozent: Prof. Dr. Wolfram Burgard
Theoretische Informatik
Theoretische Informatik H. Peter Gumm Philipps-Universität Marburg Sommersemester 2008 Inhalt 1. Automatentheorie und Formale Sprachen Überblick: Sprachen und Compiler Reguläre Sprachen und Endliche Automaten
ADS. 1. Vorlesung. Techniken der Programmentwicklung Prof. Dr. Wolfgang Schramm
ADS 1. Vorlesung Techniken der Programmentwicklung Prof. Dr. Wolfgang Schramm 6.10.2016 ORGANISATORISCHES Algorithmen & Datenstrukturen Prof. Dr. Wolfgang Schramm Der Dozent 2 Prof. Dr. Wolfgang Schramm
Beispiel Aussagenlogik nach Schöning: Logik...
Beispiel Aussagenlogik nach Schöning: Logik... Worin besteht das Geheimnis Ihres langen Lebens? wurde ein 100-jähriger gefragt. Ich halte mich streng an die Diätregeln: Wenn ich kein Bier zu einer Mahlzeit
Theoretische Informatik II
Theoretische Informatik II Wintersemester 2003 Christoph Kreitz / Eva Richter Theoretische Informatik, Raum 1.19, Telephon 3064 {kreitz,erichter}@cs.uni-potsdam.de http://www.cs.uni-potsdam.de/ti 1. Das
Theoretische Informatik II
Theoretische Informatik II Sommersemester 2006 Christoph Kreitz / Holger Arnold Theoretische Informatik http://www.cs.uni-potsdam.de/ti/lehre/06-theorie-ii 1. Das Team 2. Lernziele und Lehrinhalte 3. Organisatorisches
Systeme I: Betriebssysteme. Willkommen. Wolfram Burgard
Systeme I: Betriebssysteme Willkommen Wolfram Burgard 1 Veranstalter Dozent Prof. Dr. Wolfram Burgard Gebäude 079 Sprechstunde: nach Vereinbarung burgard@informatik.uni-freiburg.de Betreuung der Übungen
Organisatorisches. Software Engineering 1 WS 2012/13. Prof. Dr.-Ing. Ina Schaefer. Institut für Softwaretechnik und Fahrzeuginformatik TU Braunschweig
Organisatorisches Software Engineering 1 WS 2012/13 Prof. Dr.-Ing. Ina Schaefer Institut für Softwaretechnik und Fahrzeuginformatik TU Braunschweig Ina Schaefer SE 1 - WS 2012/13 1 Allgemeine Informationen
Übungen zu Grundlagen der Logik in der Informatik - WS15/16
Übungen zu Grundlagen der Logik in der Informatik - WS15/16 1 / 11 Übungen zu Grundlagen der Logik in der Informatik - WS15/16 Donnerstag 14:15-15:45, Cauerstraße 7/9, Raum 0.154-115 Freitag 14:15-15:45,
Systeme I: Betriebssysteme. Willkommen. Wolfram Burgard Alexander Schiotka, Andreas Wachaja, Henrich Kolkhorst
Systeme I: Betriebssysteme Willkommen Wolfram Burgard Alexander Schiotka, Andreas Wachaja, Henrich Kolkhorst 1 Veranstalter Dozent Prof. Dr. Wolfram Burgard Gebäude 080 Sprechstunde: nach Vereinbarung
Übung Algorithmen und Datenstrukturen
Übung Algorithmen und Datenstrukturen Sommersemester 2016 Marc Bux, Humboldt-Universität zu Berlin Organisation Vorlesung: Montag 11 13 Uhr Marius Kloft RUD 26, 0 115 Mittwoch 11 13 Uhr Marius Kloft RUD
Logik. Prof. Dr. Thomas Schneider AG Theorie der künstlichen Intelligenz Cartesium, Raum 2.56 ts[ät]informatik.uni-bremen.de
![Logik. Prof. Dr. Thomas Schneider AG Theorie der künstlichen Intelligenz Cartesium, Raum 2.56 ts[ät]informatik.uni-bremen.de](/thumbs/79/79920929.jpg "Logik. Prof. Dr. Thomas Schneider AG Theorie der künstlichen Intelligenz Cartesium, Raum 2.56 ts[ät]informatik.uni-bremen.de")
Logik WiSe 2017/18 Prof. Dr. Thomas Schneider AG Theorie der künstlichen Intelligenz Cartesium, Raum 2.56 ts[ät]informatik.uni-bremen.de Homepage der Vorlesung: http://tinyurl.com/ws1718-logik Organisatorisches
Sondertermin in der ersten Woche (statt Übungen) Webseite der Lehrveranstaltung www4.informatik.uni-erlangen.de/lehre/ss05/v_sos1/
B Organisatorisches B Organisatorisches B-1 Vorlesungsbetrieb Vorlesungstermine Montag 10:15-11:45 H7 Donnerstag 16:00-17:30 H7 Sondertermin in der ersten Woche (statt Übungen) Mittwoch 16:00-17:30 H7
Algorithmen und Berechnungskomplexität II Prof. Dr. Rolf Klein
Algorithmen und Berechnungskomplexität II Prof. Dr. Rolf Klein Veranstaltungsbewertung der Fachschaft Informatik 29. November 2016 Abgegebene Fragebögen: 61 1 Bewertung der Vorlesung 1.1 Bitte beurteile
Mathematische Grundlagen
Mathematische Grundlagen für Wirtschaftsinformatiker Prof. Dr. Peter Becker Fachbereich Informatik Hochschule Bonn-Rhein-Sieg Wintersemester 2016/17 Peter Becker (H-BRS) Mathematische Grundlagen Wintersemester
Informatik III. 1. Motivation und Organisation. Christian Schindelhauer
1. Motivation und Organisation Albert-Ludwigs-Universität Freiburg Institut für Informatik Wintersemester 2007/08 1 Organisation Motivation 2 2 Inhalt Endliche Automaten und Formale Sprachen Berechenbarkeitstheorie
Übung Algorithmen und Datenstrukturen
Übung Algorithmen und Datenstrukturen Sommersemester 2015 Marc Bux, Humboldt-Universität zu Berlin Organisation Vorlesung: Montag 11 13 Uhr Ulf Leser RUD 26, 0 115 Mittwoch 11 13 Uhr Ulf Leser RUD 26,
Statistik 2. Herbstsemester Universität Mannheim Abteilung Volkswirtschaftslehre Lehrstuhl für Statistik Toni Stocker
Statistik 2 Herbstsemester 2017 Universität Mannheim Abteilung Volkswirtschaftslehre Lehrstuhl für Statistik Toni Stocker Allgemeine Hinweise S&S (2017) für Stocker, T. C. und Steinke I. (2017): Statistik
Medientechnik. Andreas Butz Ludwig-Maximilians-Universität München Sommersemester Vorlesungskonzept: Heinrich Hußmann
Medientechnik Andreas Butz Ludwig-Maximilians-Universität München Sommersemester 2008 Vorlesungskonzept: Heinrich Hußmann 1 Lehr- und Forschungseinheit Medieninformatik Prof. Dr. Andreas Butz Amalienstr.
Einführung in die Informatik
Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard 1.1 Vorlesung Zeit und Ort: Mittwochs 14.00 16.00 Uhr Gebäude 101 HS 00-026 Informationen zur Vorlesung,
Vorlesung Programmierung
- 1 - Vorlesung Programmierung Inhalt der Vorlesung Was ist ein Programm? Was sind grundlegende Programmierkonzepte? Wie konstruiert (entwickelt) man ein Programm? Welche Programmier-Paradigmen gibt es?
Kapitel -1 Organisatorisches
Kapitel -1 Organisatorisches 1 Das Team Dozent: Prof. Dr. Friedrich Eisenbrand Übungsbetrieb: Dr. Kai Gehrs Tutoren Hans Biebinger Christian Heinemann Reiner Hermann Christian Michalke Thomas Rothvoß Alexander
Vorlesung Programmierung
- 1 - Vorlesung Programmierung Inhalt der Vorlesung Was ist ein Programm? Was sind grundlegende Programmierkonzepte? Wie konstruiert (entwickelt) man ein Programm? Welche Programmier-Paradigmen gibt es?
Organisatorisches. Gilbert Beyer und Annabelle Klarl. Einführung in die Informatik. Zentralübung zur Vorlesung Einführung in die Informatik
Zentralübung zur Vorlesung Einführung in die Informatik http://www.pst.ifi.lmu.de/lehre/wise-11-12/infoeinf WS11/12 Termine Vorlesung: Mi 14ct 17 Uhr, Audimax (Prof. Dr. Hennicker) Zentralübung: Mi 17st
Vorlesung Programmierung
- 1 - Vorlesung Programmierung n Inhalt der Vorlesung l Was ist ein Programm? l Was sind grundlegende Programmierkonzepte? l Wie konstruiert (entwickelt) man ein Programm? l Welche Programmier-Paradigmen
Algorithmen und Datenstrukturen
Algorithmen und Datenstrukturen Prof. Dr. Ralf Möller Universität zu Lübeck Institut für Informationssysteme Stefan Werner (Übungen) sowie viele Tutoren Teilnehmerkreis und Voraussetzungen Studiengänge
Informatik. Willkommen. Ablauf. Team. Vorlesung für Rechnergestützte Wissenschaften am D-MATH der ETH Zürich. zur Vorlesung Informatik.
Willkommen Informatik Vorlesung für Rechnergestützte Wissenschaften am D-MATH der ETH Zürich Felix Friedrich, Malte Schwerhoff HS 2018 zur Vorlesung Informatik für RW am MATH Department der ETH Zürich.
Theoretische Informatik II
Theoretische Informatik II Sommersemester 2006 Christoph Kreitz / Holger Arnold Theoretische Informatik http://www.cs.uni-potsdam.de/ti/lehre/06-theorie-ii 1. Das Team 2. Lernziele und Lehrinhalte 3. Organisatorisches
1 Σ endliches Terminalalphabet, 2 V endliche Menge von Variablen (mit V Σ = ), 3 P (V (Σ ΣV )) {(S, ε)} endliche Menge von Regeln,
Theorie der Informatik 9. März 24 7. Reguläre Sprachen I Theorie der Informatik 7. Reguläre Sprachen I Malte Helmert Gabriele Röger Universität Basel 9. März 24 7. Reguläre Grammatiken 7.2 DFAs 7.3 NFAs
Programmierung. Prof. Dr. Michael Hanus Tel , R. 706 / CAP-4
Programmierung Prof. Dr. Michael Hanus mh@informatik.uni-kiel.de, Tel. 880-7271, R. 706 / CAP-4 Jan Rasmus Tikovsky jrt@informatik.uni-kiel.de, Tel. 880-7263, R. 702 / CAP-4 Institut für Informatik Christian-Albrechts-Universität
Theorie der Informatik
Theorie der Informatik 15. primitive Rekursion und µ-rekursion Malte Helmert Gabriele Röger Universität Basel 22. April 2015 Überblick: Vorlesung Vorlesungsteile I. Logik II. Automatentheorie und formale
Vorlesung Automaten und Formale Sprachen alias Theoretische Informatik Sommersemester 2015
Vorlesung Automaten und Formale Sprachen alias Theoretische Informatik Sommersemester 2015 Prof. Barbara König Übungsleitung: Jan Stückrath Barbara König Automaten und Formale Sprachen 1 Das heutige Programm:
Einführung in die Informatik
Einführung in die Informatik Christian Rössl Wintersemester 2017/18 Einführung in die Informatik Christian Rössl EinfInf 2017: Übersicht 2 Berechenbarkeit Rekursion Java Analyse Theoretische Grundlagen
Programmier-Projekt (cs108)
Frühjahrsemester 2013 Programmier-Projekt (cs108) Prof. Dr. Heiko Schuldt Termine Vorlesung: Beginn: Donnerstag 28.02.2013 Termine: Donnerstag 10 12 Uhr Kollegienhaus, Hörsaal 114 Freitag 10 12 Uhr Kollegienhaus,
Antrag auf Festlegung von Studienleistungen. an Prüfungsausschuss für den Bachelorstudiengang Informatik
Bachelorstudiengg Informatik Antragsteller/in: Bernhard Korte Modul: BA-INF MM 4 Semester: Sommersemester x Datum: 6.2.207 207 x Bearbeitung regelmäßig erscheinender Übungsblätter x Die Bearbeitung kn
Mathematische Grundlagen I Logik und Algebra
Logik und Algebra Tim Haga, M.Ed. 13. Oktober 2015 1 Persönliches 2 Zur Veranstaltung 3 Organisatorisches 4 Scheinverhandlung Tim Haga, M.Ed. 1 / 10 Zu meiner Person Tim Haga Studium der Mathematik, Physik,
Einführung in die Informatik: Programmierung und Softwareentwicklung
Einführung in die Informatik: Programmierung und Softwareentwicklung Wintersemester 2018/19 Begrüßung Prof. Dr. David Sabel und Dr. Philipp Wendler WS 2018/19 Personen Vorlesung: Prof. Dr. David Sabel
Einführung in die Programmierung. Organisatorisches. Skript zur Vorlesung Einführung in die Programmierung
LUDWIG- MAXIMILIANS- UNIVERSITY MUNICH DEPARTMENT INSTITUTE FOR INFORMATICS DATABASE Einführung in die Programmierung Organisatorisches Skript zur Vorlesung Einführung in die Programmierung im Wintersemester
Grundlagen der Betriebssysteme
Grundlagen der Betriebssysteme [CS2100] Sommersemester 2014 Heiko Falk Institut für Eingebettete Systeme/Echtzeitsysteme Ingenieurwissenschaften und Informatik Universität Ulm Folie 2/14 Personen Vorlesung
Grundlagen von Datenbanken. Wolfram Wingerath, Steffen Friedrich, Fabian Panse Informationssysteme (ISYS)
Grundlagen von Datenbanken Wolfram Wingerath, Steffen Friedrich, Fabian Panse Informationssysteme (ISYS) Organisatorisches Arbeitsmaterial: http://vsis-www.informatik.uni-hamburg.de/teaching/ws-15.16/gdb
PHYSIK I. - Mechanik, Akustik, Wärmelehre - Ablauf der Vorlesung. Übungen. Leistungsnachweis
PHYSIK I - Mechanik, Akustik, Wärmelehre - Ablauf der Vorlesung Übungen Leistungsnachweis Ablauf der Vorlesung Termine: Mo. und Mi. 10:15-12:00 Uhr, Gr. Hörsaal Physik Dozent: Prof. K. Jakobs Gustav-Mie
Einführung in die Informatik
Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard 1.1 Vorlesung Zeit und Ort: Mittwochs 16.00 18.00 Uhr Gebäude 101 HS 00-036 Informationen zur Vorlesung,
SS April Übungen zur Vorlesung Logik Blatt 1. Prof. Dr. Klaus Madlener Abgabe bis 27. April :00h
SS 2011 20. April 2011 Übungen zur Vorlesung Logik Blatt 1 Prof. Dr. Klaus Madlener Abgabe bis 27. April 2011 10:00h 1. Aufgabe: [strukturelle Induktion, Übung] Zeigen Sie mit struktureller Induktion über
Vorlesung Programmierung
- 1 - Vorlesung Programmierung Inhalt der Vorlesung Was ist ein Programm? Was sind grundlegende Programmierkonzepte? Wie konstruiert (entwickelt) man ein Programm? Welche Programmier-Paradigmen gibt es?
Es gibt drei verschiedene Veranstaltungen, die wir in dem Modul "Programmierung" anbieten
Programmierung Informationen für Kursteilnehmer Veranstaltungen Es gibt drei verschiedene Veranstaltungen, die wir in dem Modul "Programmierung" anbieten 1. Vorlesung Die Vorlesung findet zweimal pro Woche
Modul Algorithmik, T-Katalog
Modul Algorithmik, T-Katalog Sommersemester 2017 Steffen Lange 1/1, Folie 1 2017 Prof. Steffen Lange - HDa/FbI - Algorithmik Organisatorisches u Vorlesung Folien im Netz u Übung eine Übung alle 14 Tage
1 Σ endliches Terminalalphabet, 2 V endliche Menge von Variablen (mit V Σ = ), 3 P (V (Σ ΣV )) {(S, ε)} endliche Menge von Regeln,
Theorie der Informatik 8. März 25 8. Reguläre Sprachen I Theorie der Informatik 8. Reguläre Sprachen I 8. Reguläre Grammatiken Malte Helmert Gabriele Röger 8.2 DFAs Universität Basel 8. März 25 8.3 NFAs
Logik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 3 30.04.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Letztes Mal Aussagenlogik Syntax: welche Formeln? Semantik:
WS 2013/14. Diskrete Strukturen: Organisation
WS 2013/14 Diskrete Strukturen: Organisation Prof. Dr. Javier Esparza Dr. Michael Luttenberger Dr. Werner Meixner Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät
Dank. Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I. Kontakt. Teil I. Einführung.
Dank Vorlesung Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I Bernhard Beckert Diese Vorlesungsmaterialien basieren ganz wesentlich auf den Folien zu den Vorlesungen
Grundlagen von Datenbanken. Wolfram Wingerath, Steffen Friedrich Informationssysteme (ISYS)
Grundlagen von Datenbanken Wolfram Wingerath, Steffen Friedrich Informationssysteme (ISYS) Organisatorisches Arbeitsmaterial: http://vsis-www.informatik.uni-hamburg.de/teaching/ws-14.15/gdb Übungsgruppen:
Algorithmen und Datenstrukturen
Algorithmen und Datenstrukturen Steffen Börm Christian-Albrechts-Universität zu Kiel Sommersemester 2013 S. Börm (CAU Kiel) Algorithmen und Datenstrukturen Sommersemester 2013 1 / 9 Ansprechpartner Hauptverantwortlicher:
Grundlagen von Datenbanken
Grundlagen von Datenbanken Steffen Friedrich, Felix Gessert, Wolfram Wingerath Informationssysteme (ISYS) Organisatorisches Arbeitsmaterial: http://vsis-www.informatik.uni-hamburg.de/teaching/ws-13.14/gdb
Algorithmen und Datenstrukturen (AuD) Prof. Dr. Claudia Eckert und Dr. Thomas Stibor
Algorithmen und Datenstrukturen (AuD) Prof. Dr. Claudia Eckert und Dr. Thomas Stibor Organisatorisches: Vorlesung 4 SWS, Zentralübung 2 SWS: 6 Credit Points Mi 9:45 11:15 Raum 1200 (Vorlesung) Do 8:00
Vorlesung Logik Wintersemester 2015/16 Universität Duisburg-Essen
Vorlesung Logik Wintersemester 2015/16 Universität Duisburg-Essen Barbara König Übungsleitung: Dennis Nolte, Dr. Harsh Beohar Barbara König Logik 1 Barbara König Logik 2 Das heutige Programm: Organisatorisches
Diskrete Strukturen WS 2010/11. Ernst W. Mayr. Wintersemester 2010/11. Fakultät für Informatik TU München
WS 2010/11 Diskrete Strukturen Ernst W. Mayr Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2010ws/ds/ Wintersemester 2010/11 Diskrete Strukturen Kapitel 0 Organisatorisches Vorlesungen:
Algorithmische Mathematik und Programmieren
Algorithmische Mathematik und Programmieren Martin Lanser Universität zu Köln WS 2016/2017 Organisatorisches M. Lanser (UzK) Alg. Math. und Programmieren WS 2016/2017 1 Ablauf der Vorlesung und der Übungen
How To: Bachelor SWT. Heiko Geppert. Fachgruppe Informatik
How To: Bachelor SWT Heiko Geppert Fachgruppe Informatik 12.10.2015 Übersicht Das Studium Das erste Semester Scheine des 1. Semesters Prüfungen Deadlines und Prüfungsordnung LSF und Stundenplan Tipps &
Anträge auf Festlegung der Studienleistungen im Bachelor WS 2016
Anträge auf Festlegung der Studienleistungen im Bachelor WS 2016 Antragsteller/in: Prof. Kratsch Datum: 10.08.2016 Modul: BA-INF 011 - Logik und diskrete Strukturen Semester: Sommersemester Wintersemester
Logik und diskrete Strukturen
Prof. Dr. Institut für Informatik Abteilung I Wintersemester 2012/13 Organisatorisches Vorlesung Dienstag und Donnerstag 10:15 11:45 Uhr (HS 1) und 12:30 14:00 Uhr (HS 2) Vorlesung am Vormittag = Vorlesung
Statistik 2. Herbstsemester Universität Mannheim Abteilung Volkswirtschaftslehre Lehrstuhl für Statistik Toni Stocker
Statistik 2 Herbstsemester 2018 Universität Mannheim Abteilung Volkswirtschaftslehre Lehrstuhl für Statistik Toni Stocker Allgemeine Hinweise S&S (2017) für Stocker, T. C. und Steinke I. (2017): Statistik
Fortgeschrittene Programmiertechniken
FERNSTUDIUM INFORMATIK an Fachhochschulen Fortgeschrittene Programmiertechniken Studienplan SS 2016 Inhalt Der Modulablauf im Überblick... 1 Ihre Kursbetreuer... 1 Wo finde ich das Lehrmaterial?... 2 Zusatzaufgaben...
Mathematik für Informatiker 1 Wintersemester 2013/14 Übungsblatt 4
Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner Dr. Oliver Rüthing Dipl.Inf. Melanie Schmidt Dr. Hubert Wagner Übungen zur Vorlesung Mathematik für Informatiker 1 Wintersemester 2013/14 Übungsblatt
Einführung in die Programmierung
Einführung in die Programmierung Prof. Dr. Peer Kröger, Janina Bleicher, Florian Richter Ludwig-Maximilians-Universität München, Institut für Informatik, LFE Datenbanksysteme Wintersemester 2016/2017 Peer
Vorlesung Informatik II
Vorlesung Informatik II Universität Augsburg Wintersemester 2011/2012 Prof. Dr. Bernhard Bauer Folien von: Prof. Dr. Robert Lorenz Lehrprofessur für Informatik 00. Organisatorisches 1 Ziele Erstellen größerer
Auswertungsbericht "Effiziente Algorithmen II"
Technische Universität Ilmenau Akademisches Service Center (ASC), Evaluation EvaSys Administratorin Dipl.Inf. Martin Aumüller (PERSÖNLICH) Fakultät für Informatik und Automatisierung Institut für Theoretische