WS 2013/14. Diskrete Strukturen: Organisation

Größe: px
Ab Seite anzeigen:

Download "WS 2013/14. Diskrete Strukturen: Organisation"

Transkript

1 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 für Informatik Technische Universität München

2 Vorlesung Diskrete Strukturen im WS 13/ SWS Organisation des Übungsbetriebs Michael Luttenberger, Werner Meixner (freiwillige Zentralübung), Anlaufstelle Luttenberger: Boltzmannstraße 3, Finger 11, 3ter Stock Meixner: Boltzmannstraße 3, Finger 09, 3ter Stock

3 Vorlesungszeiten Dienstag: 13:45-15:15, MI HS 1, Interim 1 Donnerstag: 10:15-11:45, MI HS 1, Interim 1 Zentralübung (Zusatzangebot!) Mittwoch: 17:45-19:15, MW001 Gruppenübungen nach Anmeldung Anmeldung über TUMOnline 46 Übungsgruppen, termine von Montag bis Donnerstag Die Anmeldung wird zu folgenden Zeitpunkten freigeschaltet: ab 20:00: alle Montagsgruppen ab 22:00: alle Dienstagsgruppen ab 20:00: alle Mittwochsgruppen ab 23:00: alle Donnerstagsgruppen

4 Webseite zur Vorlesung: www7.in.tum.de/um/courses/ds/ws1314/ Neuigkeiten Folien Literaturreferenzen Zugriff auf die Webseiten zur Übung und Zentralübung

5 Evaluierung: Am findet die Endterm-Klausur statt Die Anmeldung erfolgt über TUMOnline (Anmeldungstermin wird rechtzeitig bekanntgegeben) In der Klausur können maximal 40 Punkte erreicht werden. Die Klausurnote wird laut Tabelle (WWW-Seite, Notenvergabe) berechnet Im Rahmen der Übungen kann ein Notenbonus von 0,3 erlangt werden (sieghe später). Der Notenbonus wird nur im Falle des Bestehens der Klausur (Klausurnote < 4,0) eingerechnet..

6 Klausuren An den Klausuren kann nur teilnehmen, wer sich bis zum Stichtag (wird noch bekannt gegeben) anmeldet. Die Anmeldung erfolgt in November über das TUMonline-Portal. Eine Abmeldung (ohne Angaben von schwerwiegenden Gründen) wird als nicht bestanden gewertet. Eine bestandene Prüfung kann nicht wiederholt werden!

7 Übung und Bonuspunkte Ausgabe der Übungsblätter dienstags auf der Webseite der Vorlesung. Übungsblätter enthalten Tutor- und Hausaufgaben. Tutoraufgaben beziehen sich auf Stoff der aktuellen und Vergangenen Woche. Hausaufgaben werden in Teams bestehend aus 3-4 Studierenden gelöst Mit Hilfe der Hausaufgaben kann der Notenbonus erlangt werden

8 Übung und Bonuspunkte Mit Hilfe der Hausaufgaben kann dernotenbonus erlangt werden. Hausaufgaben rechtzeitig lösen und im richtigen Briefkasten abgeben (Abgabetermin auf dem Übungsblatt) Aufgaben werden nach Ampelsystem (rot, gelb, grün) bewertet. Zum erreichen des Notenbonus muss in mindetstens 2/3 der Aufgaben die Bewertung gelb oder grün erreicht werden.

9 Literatur A. Steger: Diskrete Strukturen, Band 1: Kombinatorik, Graphentheorie, Algebra, (Zweite Auflage) Springer, 2007 M. Aigner: Diskrete Mathematik, Vieweg+Teubner, 2004 (5. Auflage) U. Schöning: Logik für Informatiker. 5. Auflage, Spektrum, K.H. Rosen: Discrete Mathematics And Its Applications, (Several Editions) R.L. Graham, D.E. Knuth, O. Patashnik: Concrete Mathematics: a Foundation for Computer Science, Addison-Wesley, 1994 D. Gries, F.B. Schneider: A Logical Approach to Discrete Math, Springer, 1993 S. Pemmaraju, S. Skiena: Computational Discrete Mathematics: Combinatorics and Graph Theory with Mathematica, Cambridge University Press,

WS 2015/16 Diskrete Strukturen Organisatorisches

WS 2015/16 Diskrete Strukturen Organisatorisches WS 2015/16 Diskrete Strukturen Organisatorisches Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_15

Mehr

Diskrete Strukturen WS 2010/11. Ernst W. Mayr. Wintersemester 2010/11. Fakultät für Informatik TU München

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:

Mehr

Diskrete Strukturen WS Ernst W. Mayr. Wintersemester Fakultät für Informatik TU München

Diskrete Strukturen WS Ernst W. Mayr. Wintersemester Fakultät für Informatik TU München WS 2011 Diskrete Strukturen Ernst W. Mayr Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2011ws/ds/ Wintersemester 2011 Diskrete Strukturen Kapitel 0 Organisatorisches Vorlesung: Di 13:45

Mehr

Diskrete Strukturen WS 2012/13. Ernst W. Mayr. Wintersemester Fakultät für Informatik TU München

Diskrete Strukturen WS 2012/13. Ernst W. Mayr. Wintersemester Fakultät für Informatik TU München WS 2012/13 Diskrete Strukturen Ernst W. Mayr Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2012ws/ds/ Wintersemester 2012 Diskrete Strukturen Kapitel 0 Organisatorisches Vorlesung: Di

Mehr

Übungsbetrieb zu Grundlagen: Datenbanken

Übungsbetrieb zu Grundlagen: Datenbanken Übungsbetrieb zu Grundlagen: Datenbanken Moritz Sichert, Lukas Vogel Technische Universität München Fakultät für Informatik Lehrstuhl III Datenbanksysteme 17. Oktober 2018 Übungen Allgemein Wöchentliches

Mehr

Vorlesung Modellierung Modellierungsmethoden der Informatik. Wintersemester 2011/12

Vorlesung Modellierung Modellierungsmethoden der Informatik. Wintersemester 2011/12 Vorlesung Modellierung Modellierungsmethoden der Informatik Wintersemester 2011/12 Prof. Barbara König Übungsleitung: Dr. Sander Bruggink Barbara König Modellierung 1 Das heutige Programm Organisatorisches

Mehr

Vorlesung Modellierung Modellierungsmethoden der Informatik. Wintersemester 2011/12. Lernplattform Moodle. Wer sind wir?

Vorlesung Modellierung Modellierungsmethoden der Informatik. Wintersemester 2011/12. Lernplattform Moodle. Wer sind wir? Vorlesung Modellierung Modellierungsmethoden der Informatik Wintersemester 2011/12 Prof. Barbara König Übungsleitung: Dr. Sander Bruggink Das heutige Programm Organisatorisches Vorstellung Ablauf der Vorlesung

Mehr

Einführung in die Numerische Lineare Algebra (MA 1304)

Einführung in die Numerische Lineare Algebra (MA 1304) Einführung in die Numerische Lineare Algebra (MA 1304) Vorlesung Montags, 16:15-17:45 Uhr Rudolf-Mößbauer - HS (Physik) Homepage zur Vorlesung http://www-m2.ma.tum.de/bin/view/allgemeines/numlinalgws1516

Mehr

Vorlesung Automaten und Formale Sprachen Sommersemester 2018

Vorlesung Automaten und Formale Sprachen Sommersemester 2018 Vorlesung Automaten und Formale Sprachen Sommersemester 2018 Prof. Barbara König Übungsleitung: Christina Mika-Michalski Barbara König Automaten und Formale Sprachen 1 Das heutige Programm: Organisatorisches

Mehr

Zentralübung zur Vorlesung Diskrete Strukturen (Prof. Esparza)

Zentralübung zur Vorlesung Diskrete Strukturen (Prof. Esparza) WS 2009/10 Zentralübung zur Vorlesung Diskrete Strukturen (Prof. Esparza) Dr. Werner Meixner Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2009ws/ds/uebung/ 22. Oktober 2009 ZÜ DS ZÜ

Mehr

Vorlesung Berechenbarkeit und Komplexität Wintersemester 2016/17. Wer sind wir? Willkommen zu

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

Mehr

Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: Komplexitätstheorie und effiziente Algorithmen. Wintersemester 2011/12

Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: Komplexitätstheorie und effiziente Algorithmen. Wintersemester 2011/12 Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: und effiziente Algorithmen Wintersemester 2011/12 Prof. Barbara König Übungsleitung: Jan Stückrath Barbara König BeKo/TI 1 Willkommen

Mehr

Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: Komplexitätstheorie und effiziente Algorithmen. Wintersemester 2013/14

Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: Komplexitätstheorie und effiziente Algorithmen. Wintersemester 2013/14 Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: und effiziente Algorithmen Wintersemester 2013/14 Prof. Barbara König Übungsleitung: Henning Kerstan & Sebastian Küpper Barbara

Mehr

Logik und diskrete Strukturen

Logik und diskrete Strukturen Logik und diskrete Strukturen Prof. Dr. Stefan Kratsch Institut f ur Informatik Abteilung I kratsch@cs.uni-bonn.de Wintersemester 2016/17 S. Kratsch (kratsch@cs.uni-bonn.de) Logik und diskrete Strukturen

Mehr

Informatik III. 1. Motivation und Organisation. Christian Schindelhauer

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

Mehr

PHYSIK I. - Mechanik, Akustik, Wärmelehre - Ablauf der Vorlesung. Übungen. Leistungsnachweis

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

Mehr

Vorlesung Automaten und Formale Sprachen alias Theoretische Informatik Sommersemester 2015

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:

Mehr

Grundlagen der Rechnerarchitektur

Grundlagen der Rechnerarchitektur Grundlagen der Rechnerarchitektur [CS3100.010] Wintersemester 2014/15 Heiko Falk Institut für Eingebettete Systeme/Echtzeitsysteme Ingenieurwissenschaften und Informatik Universität Ulm Folie 2/12 Personen

Mehr

Vorlesung Logik Wintersemester 2016/17 Universität Duisburg-Essen

Vorlesung Logik Wintersemester 2016/17 Universität Duisburg-Essen Vorlesung Logik Wintersemester 2016/17 Universität Duisburg-Essen Barbara König Übungsleitung: Dennis Nolte, Harsh Beohar Barbara König Logik 1 Das heutige Programm: Organisatorisches Vorstellung Ablauf

Mehr

Logik für Informatiker

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

Mehr

Vorlesung Logik Wintersemester 2015/16 Universität Duisburg-Essen

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

Mehr

Diskrete Strukturen. Chair for Foundations of Software Reliability and Theoretical Computer Science Technische Universität München

Diskrete Strukturen. Chair for Foundations of Software Reliability and Theoretical Computer Science Technische Universität München Diskrete Strukturen c Javier Esparza und Michael Luttenberger Chair for Foundations of Software Reliability and Theoretical Computer Science Technische Universität München Montag 16 Oktober, 2017 p.2 Was

Mehr

Einführung in die Programmierung

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

Mehr

Vorlesung Modellierung Wintersemester 2014/15. Organisatorisches (Folien teilw. von Prof. B. König) Wer sind wir? Wer sind wir? Das heutige Programm

Vorlesung Modellierung Wintersemester 2014/15. Organisatorisches (Folien teilw. von Prof. B. König) Wer sind wir? Wer sind wir? Das heutige Programm Vorlesung Modellierung Wintersemester 2014/15 Organisatorisches (Folien teilw. von Prof. B. König) Prof. Norbert Fuhr Übungsleitung: Thomas Beckers Das heutige Programm Organisatorisches Vorstellung Ablauf

Mehr

Vorlesung Modellierung Wintersemester 2014/15. Organisatorisches (Folien teilw. von Prof. B. König)

Vorlesung Modellierung Wintersemester 2014/15. Organisatorisches (Folien teilw. von Prof. B. König) Vorlesung Modellierung Wintersemester 2014/15 Organisatorisches (Folien teilw. von Prof. B. König) Prof. Norbert Fuhr Übungsleitung: Thomas Beckers 1 / 23 Das heutige Programm Organisatorisches Vorstellung

Mehr

Maß- und Integrationstheorie (MA2003)

Maß- und Integrationstheorie (MA2003) Maß- und Integrationstheorie (MA2003) Elisabeth Ullmann Zentrum Mathematik Elisabeth Ullmann (TUM) MA2003 1 / 12 Allgemeines Vorlesung: Montag, 14:00 15:30 Uhr im Interimshörsaal 2 Übungsgruppen: Gruppe

Mehr

Einführung in die Programmierung. Organisatorisches. Skript zur Vorlesung Einführung in die Programmierung

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

Mehr

Vorlesung Programmierung

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?

Mehr

Einführung in die Programmierung Wintersemester 2008/09

Einführung in die Programmierung Wintersemester 2008/09 Einführung in die Programmierung Wintersemester 2008/09 Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering (LS 11) Fakultät für Informatik TU Dortmund Gliederung Organisatorisches Technisches

Mehr

Logik für Informatiker

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

Mehr

Einführung in die Programmierung

Einführung in die Programmierung Einführung in die Programmierung Organisatorisches Prof. Dr. Peer Kröger, Florian Richter, Michael Fromm Wintersemester 2018/2019 Allgemeine Informationen zum Studium Studiengangskoordinator (Hauptfach

Mehr

Gliederung: Hinweis: Schira, Josef (2012)

Gliederung: Hinweis: Schira, Josef (2012) Gliederung: 0. Einführung 1. Mathematische Grundlagen: Summen, Produkte, Ableitungen, Integrale 2. Statistische Merkmale und Variablen (S 1) 3. Maßzahlen zur Beschreibung statistischer Verteilungen (S

Mehr

I.1. Organisatorisches - 1 -

I.1. Organisatorisches - 1 - - 1 - Vorlesung "Programmierung" Inhalt der Vorlesung Was ist ein Programm? Was sind grundlegende Programmierkonzepte? Wie konstruiert (entwickelt) man ein Programm? Welche Programmier-Paradigmen gibt

Mehr

Vorlesung Formale Aspekte der Software-Sicherheit und Kryptographie Sommersemester 2015 Universität Duisburg-Essen

Vorlesung Formale Aspekte der Software-Sicherheit und Kryptographie Sommersemester 2015 Universität Duisburg-Essen Vorlesung Formale Aspekte der Software-Sicherheit und Kryptographie Sommersemester 2015 Universität Duisburg-Essen Prof. Barbara König Übungsleitung: Sebastian Küpper Barbara König Form. Asp. der Software-Sicherheit

Mehr

Vorlesung Programmierung

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?

Mehr

Übungen Grundlagen Betriebssysteme WS 08 / 09

Übungen Grundlagen Betriebssysteme WS 08 / 09 Personen Vivian Prinz (prinzv@in.tum.de) Dr. Nils Kammenhuber (kammenhuber@net.in.tum.de ) Jan Herrmann (herrmanj@in.tum.de) Robert Schmohl (schmohl@in.tum.de) Robert Eigner (eigner@in.tum.de) Yang Guo

Mehr

Vorlesung Programmierung

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

Mehr

A1.1 Organisatorisches

A1.1 Organisatorisches Algorithmen und Datenstrukturen 28. Februar 2018 A1. Organisatorisches Algorithmen und Datenstrukturen A1. Organisatorisches A1.1 Organisatorisches Marcel Lüthi and Gabriele Röger Universität Basel A1.2

Mehr

Mathematik 1 Organisatorisches und Übungssystem

Mathematik 1 Organisatorisches und Übungssystem Mathematik 1 Organisatorisches und Übungssystem oder: Wie bestehe ich die Klausur Prof. Dr. Anusch Taraz, Dr. Michael Ritter Technische Universität München 22. Oktober 2009 Um was geht es heute Wie geht

Mehr

Diskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier

Diskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier Diskrete Strukturen und Logik WiSe 2007/08 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 1 Diskrete Strukturen und Logik Gesamtübersicht Organisatorisches Einführung Logik & Mengenlehre

Mehr

Algorithmen und Datenstrukturen

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

Mehr

Vorlesung Programmierung

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?

Mehr

Kapitel -1 Organisatorisches

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

Mehr

Physik I Dynamik der Teilchen und Teilchensysteme

Physik I Dynamik der Teilchen und Teilchensysteme Westfälische Wilhelms-Universität Münster Wintersemester 2016/17 Physik I Dynamik der Teilchen und Teilchensysteme Peter Krüger, Alexander Kappes http://www.uni-muenster.de/physik.ft/studium/ aktuellessemester/physik1-116116.html

Mehr

Einführung in die Informatik: Programmierung und Softwareentwicklung

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

Mehr

Theoretische Informatik: Berechenbarkeit und Formale Sprachen

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

Mehr

Beauty is our Business

Beauty is our Business Beauty is our Business Prof. Dr. W. Reisig Sommersemester 2003 1. Übersicht und Organisatorisches 1 Beauty is our Business... so heißt ein bekannter Klassiker des Informatikers Edsger W. Dijkstra. Wissenschaft

Mehr

Mathematik I für Maschinenbau etc.

Mathematik I für Maschinenbau etc. Mathematik I für Maschinenbau etc. Michael Joswig Assistenz: 1 Organisation 2 Klausur 3 Mathematik Katja Kulas Dr. Sören Kraußhar WS 2010/2011 Joswig 1 Persönliche Vorstellung Prof. Dr. Michael Joswig

Mehr

Diskrete Mathematik I

Diskrete Mathematik I Diskrete Mathematik I Alexander May Fakultät für Mathematik Ruhr-Universität Bochum Wintersemester 08/09 DiMa I - Vorlesung 01-13.10.2008 Mengen, Relationen, Funktionen, Indirekter Beweis 1 / 59 Organisatorisches

Mehr

Informatik I Tutorium WS 07/08

Informatik I Tutorium WS 07/08 Informatik I Tutorium WS 07/08 Vorlesung: Prof. Dr. F. Bellosa Übungsleitung: Dipl.-Inform. A. Merkel Tutorium: 12 Tutor: Jens Kehne Tutorium 1: Dienstag 30. Oktober 2007 Übersicht Tutorium Einführung:

Mehr

Hardwarearchitekturen und Rechensysteme

Hardwarearchitekturen und Rechensysteme Lehrstuhl für Eingebettete Systeme Hardwarearchitekturen und Rechensysteme Sommersemester 2009 Folien zur Vorlesung Hardwarearchitekturen und Rechensysteme von Prof. Dr. rer. nat. U. Brinkschulte Prof.

Mehr

Vorlesung Programmierung

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?

Mehr

Theoretische Informatik: Logik

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

Mehr

Einführung in die theoretische Informatik

Einführung in die theoretische Informatik SS 2015 Einführung in die theoretische Informatik Ernst W. Mayr Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2015ss/theo/ Sommersemester 2015 THEO Kapitel 0 Organisatorisches Vorlesungen:

Mehr

Algorithmen und Datenstrukturen (AuD) Prof. Dr. Claudia Eckert und Dr. Thomas Stibor

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

Mehr

Einführung in die empirische Wirtschaftsforschung. Wintersemester 2017/2018 Syllabus und organisatorische Informationen

Einführung in die empirische Wirtschaftsforschung. Wintersemester 2017/2018 Syllabus und organisatorische Informationen Einführung in die empirische Wirtschaftsforschung Wintersemester 2017/2018 Syllabus und organisatorische Informationen Prof. Dr. Almut Balleer Lehr- und Forschungsgebiet Empirische Wirtschaftsforschung

Mehr

Mathematik für Informatiker: Diskrete Strukturen getting started

Mathematik für Informatiker: Diskrete Strukturen getting started Mathematik für Informatiker: Diskrete Strukturen getting started Jens Zumbrägel Institut für Algebra Fachbereich Mathematik TU Dresden WiSe 2016/17 12. Okt. 2016 Jens Zumbrägel (TU Dresden) Diskrete Strukturen

Mehr

Informatik. Willkommen. Ablauf. Team. Vorlesung für Rechnergestützte Wissenschaften am D-MATH der ETH Zürich. zur Vorlesung Informatik.

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.

Mehr

Einsatz und Realisierung von Datenbanken. Prof. Alfons Kemper Lehrstuhl für Informatik III: Datenbanksysteme

Einsatz und Realisierung von Datenbanken. Prof. Alfons Kemper Lehrstuhl für Informatik III: Datenbanksysteme Einsatz und Realisierung von Datenbanken Prof. Alfons Kemper Lehrstuhl für Informatik III: Datenbanksysteme kemper@in.tum.de Primärliteratur: Datenbanksysteme: Eine Einführung Alfons Kemper und Andre

Mehr

Mathematische Grundlagen

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

Mehr

Logik für Informatiker

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,

Mehr

Algorithmen und Datenstrukturen (AuD) Prof. Dr. Claudia Eckert

Algorithmen und Datenstrukturen (AuD) Prof. Dr. Claudia Eckert Algorithmen und Datenstrukturen (AuD) Prof. Dr. Claudia Eckert Organisatorisches: Vorlesung 4 SWS, Zentralübung 2 SWS: 6 Credit Points Mi 10:30-12:00 Raum 1200 (Vorlesung) Do 8:15-9:45 Raum 1200 (Vorlesung)

Mehr

Graphentheorie. für Wiederholer Bachelor Informatik und Wirtschaftsinformatik. Prof. Dr. Peter Becker

Graphentheorie. für Wiederholer Bachelor Informatik und Wirtschaftsinformatik. Prof. Dr. Peter Becker Graphentheorie für Wiederholer Bachelor Informatik und Wirtschaftsinformatik Prof. Dr. Peter Becker Fachbereich Informatik Hochschule Bonn-Rhein-Sieg Wintersemester 2018/19 Peter Becker (H-BRS) Graphentheorie

Mehr

Antragsteller/in: Dr. Thoralf Räsch Datum:

Antragsteller/in: Dr. Thoralf Räsch Datum: Antragsteller/in: Dr. Thoralf Räsch Datum: 14.03.16 Modul: BA-INF 021, Lineare Algebra Zwei Wochen vor dem Termin der ersten Klausur müssen 50 Prozent der Punkte der wöchentlichen Übungsaufgaben erreicht

Mehr

Einführung in die Programmierung

Einführung in die Programmierung Gliederung Einführung in die Programmierung Wintersemester 2009/10 Organisatorisches Technisches Vorlesung Übungen Praktikum Tutorium Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering (LS 11)

Mehr

Organisatorische Hinweise zur Vorlesung. von Prof. Dr. Vladimir Shikhman im Wintersemester 2017/2018

Organisatorische Hinweise zur Vorlesung. von Prof. Dr. Vladimir Shikhman im Wintersemester 2017/2018 Organisatorische Hinweise zur Vorlesung Mathematik I für Wirtschaftswissenschaftler und -informatiker von Prof. Dr. Vladimir Shikhman im Wintersemester 2017/2018 URL: http://www.tu-chemnitz.de/mathematik/wima

Mehr

Vorlesung Algorithmen und Datenstrukturen (Wintersemester 2017/2018)

Vorlesung Algorithmen und Datenstrukturen (Wintersemester 2017/2018) Lehrstuhl für Informatik I Algorithmen, Komplexität und wissensbasierte Systeme Universität Würzburg Würzburg, den 31. Januar 2018 Prof. Dr. Alexander Wolff Fabian Lipp, M. Sc. Andre Löffler, M. Sc. Johannes

Mehr

Einführung in die Informatik: Programmierung und Software-Entwicklung

Einführung in die Informatik: Programmierung und Software-Entwicklung 1 Einführung in die Informatik: Programmierung und Software-Entwicklung Prof. Dr. Rolf Hennicker in Zusammenarbeit mit Philipp Wendler https://www.sosy-lab.org/teaching/2017-ws-infoeinf/ Die Lehrenden

Mehr

Die probabilistische Methode

Die probabilistische Methode Seminar Die probabilistische Methode C. Löh (clara.loeh@mathematik.uni-regensburg.de) S. Beier, M. Blank Februar 2012 Viele Probleme in der Kombinatorik und Graphentheorie können elegant mit Hilfe der

Mehr

Theoretische Informatik: Berechenbarkeit und Formale Sprachen

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

Mehr

Algorithmen und Datenstrukturen CS1017

Algorithmen und Datenstrukturen CS1017 Algorithmen und Datenstrukturen CS1017 Th. Letschert TH Mittelhessen Gießen University of Applied Sciences Organisatorisches und Einführung Lehrpersonal Dozent Dr. Letschert Tutoren Alissia Sauer Jonas

Mehr

Übungen zu Grundlagen der Logik in der Informatik - WS15/16

Ü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,

Mehr

Vorlesung Modellierung nebenläufiger Systeme Sommersemester 2014 Universität Duisburg-Essen

Vorlesung Modellierung nebenläufiger Systeme Sommersemester 2014 Universität Duisburg-Essen Vorlesung Modellierung nebenläufiger Systeme Sommersemester 2014 Universität Duisburg-Essen Barbara König Übungsleitung: Sebastian Küpper Barbara König Vorlesung Modellierung nebenläufiger Systeme 1 Das

Mehr

Informationen zur Klausur

Informationen zur Klausur Einführung in die Rechnerarchitektur Informationen zur Klausur Tilman Küstner Marcel Meyer Arndt Bode, Michael Gerndt, Einführung in die Rechnerarchitektur Lehrstuhl für Rechnertechnik und Rechnerorganisation

Mehr

Übungen Grundlagen Betriebssysteme WS 07 / 08

Übungen Grundlagen Betriebssysteme WS 07 / 08 Personen Übungsleitung: Georg Groh (grohg@in.tum.de) Tutoren: Vivian Prinz (prinzv@in.tum.de) Georg Groh (grohg@in.tum.de) Jörg Preissinger (preissin@in.tum.de) Robert Schmohl (schmohl@in.tum.de) Alexander

Mehr

Kombinatorik. Dr. Lucia Draque Penso. Universität Ulm. Dr. Lucia Draque Penso (Universität Ulm) Kombinatorik 1 / 26

Kombinatorik. Dr. Lucia Draque Penso. Universität Ulm. Dr. Lucia Draque Penso (Universität Ulm) Kombinatorik 1 / 26 Kombinatorik Dr. Lucia Draque Penso Universität Ulm Dr. Lucia Draque Penso (Universität Ulm) Kombinatorik 1 / 26 Erste Vorlesung Dr. Lucia Draque Penso (Universität Ulm) Kombinatorik 2 / 26 Formales Vorlesung:

Mehr

Datenstrukturen und Algorithmen

Datenstrukturen und Algorithmen Datenstrukturen und Algorithmen Peter Rossmanith Theoretische Informatik, RWTH Aachen 19. April 2011 (Folie 1, Seite v im Skript) Vorwort Organisatorisches Vorlesung: Peter Rossmanith (Raum 6113) Sprechstunde:

Mehr

Einführung in die Theoretische Informatik

Einführung in die Theoretische Informatik Einführung in die Theoretische Informatik Stefan Rass System Security Research Group (syssec), Institute of Applied Informatics Alpen-Adria Universität Klagenfurt {stefan.rass}@aau.at 2017 WS 2017-09-29

Mehr

Einführung in die Informatik für Naturwissenschaftler und Ingenieure (alias Einführung in die Programmierung)

Einführung in die Informatik für Naturwissenschaftler und Ingenieure (alias Einführung in die Programmierung) Wintersemester 2007/08 Einführung in die Informatik für Naturwissenschaftler und Ingenieure (alias Einführung in die Programmierung) (Vorlesung) EINI Prof. Dr. Günter Rudolph Fachbereich Informatik Lehrstuhl

Mehr

Gliederung. Organisatorisches Technisches Vorlesung

Gliederung. Organisatorisches Technisches Vorlesung Gliederung Wintersemester 2007/08 Einführung in die Informatik für Naturwissenschaftler und Ingenieure (alias Einführung in die Programmierung) (Vorlesung) EINI Organisatorisches Technisches Vorlesung

Mehr

Grundlagen der Informationsverarbeitung:

Grundlagen der Informationsverarbeitung: Grundlagen der Informationsverarbeitung: Einleitung Prof. Dr.-Ing. habil. Ulrike Lucke Durchgeführt von Prof. Dr. rer. nat. habil. Mario Schölzel Maximaler Raum für Titelbild (wenn kleiner dann linksbündig

Mehr

Übung zur Vorlesung Digitale Medien. Dr. Alexander De Luca Ludwig-Maximilians-Universität München Wintersemester 2013/2014

Übung zur Vorlesung Digitale Medien. Dr. Alexander De Luca Ludwig-Maximilians-Universität München Wintersemester 2013/2014 Übung zur Vorlesung Digitale Medien Dr. Alexander De Luca Ludwig-Maximilians-Universität München Wintersemester 2013/2014 1 Good to Know Informatiker Forum http://www.die-informatiker.net/ Mimuc Twitter

Mehr

Algebra/Geometrie I und Analysis I Mein Name: Prof. Vladimir Matveev

Algebra/Geometrie I und Analysis I Mein Name: Prof. Vladimir Matveev Algebra/Geometrie I und Analysis I Mein Name: Prof. Vladimir Matveev Algebra/Geometrie I und Analysis I Mein Name: Prof. Vladimir Matveev Ich bin für Algebra/Geometrie I zuständig, Algebra/Geometrie I

Mehr

Einsatz und Realisierung von Datenbanken. Prof. Alfons Kemper Lehrstuhl für Informatik III: Datenbanksysteme

Einsatz und Realisierung von Datenbanken. Prof. Alfons Kemper Lehrstuhl für Informatik III: Datenbanksysteme Einsatz und Realisierung von Datenbanken Prof. Alfons Kemper Lehrstuhl für Informatik III: Datenbanksysteme kemper@in.tum.de Primärliteratur: Datenbanksysteme: Eine Einführung Alfons Kemper und Andre

Mehr

Statistik 1. Frühjahrssemester Universität Mannheim Abteilung Volkswirtschaftslehre Lehrstuhl für Statistik Toni Stocker

Statistik 1. Frühjahrssemester Universität Mannheim Abteilung Volkswirtschaftslehre Lehrstuhl für Statistik Toni Stocker Statistik 1 Frühjahrssemester 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

Mehr

Vorlesung Berechenbarkeit und Komplexität. Motivation, Übersicht und Organisatorisches

Vorlesung Berechenbarkeit und Komplexität. Motivation, Übersicht und Organisatorisches Berechenbarkeit und Komplexität: Motivation, Übersicht und Organisatorisches Prof. Dr. Berthold Vöcking Lehrstuhl Informatik 1 Algorithmen und Komplexität RWTH Aachen Berechenbarkeit die absoluten Grenzen

Mehr

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 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

Mehr

Dozenten. Konzepte und Methoden der Systemsoftware Organisation & Allgemeines. Holger Karl. Einordnung KMS. Bedeutung ESS (globale Aussagen)

Dozenten. Konzepte und Methoden der Systemsoftware Organisation & Allgemeines. Holger Karl. Einordnung KMS. Bedeutung ESS (globale Aussagen) Dozenten Konzepte und Methoden der Systemsoftware Organisation & Allgemeines Holger Karl Computer Networks Group Universität Paderborn Prof. Dr. Holger Karl AG Rechnernetze Pohlweg 47-49, P 1. 7.01.5 holger.karl@upb.de

Mehr

Organisatorisches. Gilbert Beyer und Annabelle Klarl. Einführung in die Informatik. Zentralübung zur Vorlesung Einführung in die Informatik

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

Mehr

Herzlich Willkommen zum Mathematikstudium an der RWTH Aachen!

Herzlich Willkommen zum Mathematikstudium an der RWTH Aachen! Herzlich Willkommen zum Mathematikstudium an der RWTH Aachen! Begrüßung der Erstsemester Wintersemester 2016/17 Bachelorstudiengang Mathematik Prof. Dr. Holger Rauhut Prof. Dr. Erhard Cramer Herr Haeger/Frau

Mehr

Mein Stundenplan Einführungsvortrag für BSc-StudienanfängerInnen 2007/08

Mein Stundenplan Einführungsvortrag für BSc-StudienanfängerInnen 2007/08 Mein Stundenplan Einführungsvortrag für BSc-StudienanfängerInnen 2007/08 Dr. Ute Vogel Abteilung Umweltinformatik Studienberaterin Schwerpunkt Umweltinformatik vogel@informatik.uni-oldenburg.de Fragen

Mehr

Einführung in die Programmierung Wintersemester 2010/11

Einführung in die Programmierung Wintersemester 2010/11 Einführung in die Programmierung Wintersemester 2010/11 Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering (LS 11) Fakultät für Informatik TU Dortmund Gliederung Organisatorisches Technisches

Mehr

Statistik 2. Herbstsemester Universität Mannheim Abteilung Volkswirtschaftslehre Lehrstuhl für Statistik Toni Stocker

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

Mehr

Diskrete Strukturen WiSe 2012/13 in Trier

Diskrete Strukturen WiSe 2012/13 in Trier Diskrete Strukturen WiSe 2012/13 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 19. Oktober 2012 1 Organisatorisches Vorlesung FR 10.15-11.45 im K 101 Verschiebungsangebot: FR 10.10-11.40

Mehr

Vorlesung Künstliche Intelligenz Wintersemester 2009/10

Vorlesung Künstliche Intelligenz Wintersemester 2009/10 Vorlesung Künstliche Intelligenz Wintersemester 2009/10 Prof. Dr. Gerd Stumme Dipl.-Inform. Björn-Elmar Macek Vorlesung Dienstag, 10:15 11:45 Uhr, Raum 0443 Beginn: 20.10.2009 Vorlesung Mittwoch 14:00

Mehr

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 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

Mehr

Algorithmen und Datenstrukturen

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

Mehr

Informationen zur Veranstaltung Datenbanken

Informationen zur Veranstaltung Datenbanken Informationen zur Veranstaltung WS 2018/2019 Ioannis Karatassis M.Sc. Dipl.-Inform. Vu Tran 11. Oktober 2018 Kommunikation Übung Ioannis Karatassis, LF 138, karatassis@is.inf.uni-due.de Vu Tran, LF 140,

Mehr

Mathematik für Ingenieure Teil A: CE, EEI, ET, IuK, ME. Information zur Vorlesung und Übung. PD Dr. Markus Bause

Mathematik für Ingenieure Teil A: CE, EEI, ET, IuK, ME. Information zur Vorlesung und Übung. PD Dr. Markus Bause Mathematik für Ingenieure Teil A: CE, EEI, ET, IuK, ME Information zur Vorlesung und Übung PD Dr. Markus Bause Universität Erlangen-Nürnberg Department Mathematik bause@am.uni-erlangen.de http://www1.am.uni-erlangen.de/

Mehr