Theorie der Informatik
|
|
|
- Clemens Jaeger
- vor 6 Jahren
- Abrufe
Transkript
1 Theorie der Informatik 0. Organisatorisches Malte Helmert Gabriele Röger Universität Basel 17. Februar 2014
2 Organisatorisches
3 Personen Dozenten Prof. Malte Helmert Büro: Raum 305, Bernoullistrasse 16 Gabriele Röger Büro: Raum 511, Bernoullistrasse 16 Tutoren Manuel Heusner, Florian Pommerening, Jendrik Seipp, Silvan Sievers Büro: Raum 404, Bernoullistrasse 16
4 Zeit & Ort 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
5 Theorie-Vorlesung im Web Vorlesungsseite Kursbeschreibung Folien Übungsblätter und -materialien Anmeldung:
6 Vorlesungsmaterialien 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.
7 Zielgruppe Zielgruppe: Bachelor Informatik, 2. Semester andere Studiengänge herzlich willkommen Voraussetzungen: Grundlegende Beweistechniken (vollständige Induktion, Beweis durch Widerspruch,... ) Programmierkenntnisse
8 Prüfung Schriftliche Prüfung am ECTS-Punkte Zulassung: 50% der Übungspunkte Vorlesungsnote ergibt sich ausschliesslich aus schriftlicher Prüfung
9 Übungen Ü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
10 Übungen Aufgaben werden mittwochs auf die Vorlesungsseite gestellt Bearbeitung alleine Abgabe mittwochs in Folgewoche (in Postfach oder im Courses) Besprechung in Übungsgruppe
11 Plagiate 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!
12 Fragen zur Organisation Fragen?
13 Classroom Response System SMILE
14 Was ist ein Classroom Response System? 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
15 SMILE Smartphones in der Lehre Entwickelt an der Albert-Ludwigs-Universität Freiburg Noch in der Testphase Mehr Informationen unter Feedback und Verbesserungsvorschläge willkommen!
16 Fragen zu SMILE Fragen?
17 Über diese Vorlesung
18 Inhalte 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?
19 Lernziele 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
20 Warnhinweis Wer s nicht gewohnt ist, für den ist es ungewohnt. (Prof. Dr. Th. Ottmann) Immer dranbleiben Übungsaufgaben bearbeiten Auf Details achten Fragen stellen!
21 Warnhinweis 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!
22 Warnhinweis 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!
23 Vorbereitung für nächstes Mal Worin besteht das Geheimnis Ihres langen Lebens? Aufgabe aus U. Schöning: Logik für Informatiker Foto mit freundlicher Genehmigung von graur razvan ionut / FreeDigitalPhotos.net
24 Vorbereitung für nächstes Mal Worin besteht das Geheimnis Ihres langen Lebens? 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
25 Vorbereitung für nächstes Mal 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
26 Fragen zur Vorlesung Fragen?
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:
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
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
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
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,
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
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)
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
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
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.
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
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
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
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
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
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 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
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
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
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 Ü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
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
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
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
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
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
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,
Ü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,
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. 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
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
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,
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
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
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?
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
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
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
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
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:
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
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
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
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, 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
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,
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
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
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
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
EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK 0. ORGANISATORISCHES UND ÜBERBLICK
EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK Prof. Dr. Klaus Ambos-Spies Sommersemester 2014 0. ORGANISATORISCHES UND ÜBERBLICK Theoretische Informatik (SoSe 2014) 0. Organisatorisches und Überblick 1 / 16
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
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 &
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:
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
Thomas Markwig. 23. Oktober 2013
Thomas Markwig http://www.mathematik.uni-kl.de/ keilen 23. Oktober 2013 Jede Woche ein Übungsblatt. Aufgaben zu Hause bearbeiten und zur Lösung einreichen. Diskutiert über Lösungsansätze und Lösungen mit
How To: Bachelor SWT. Heiko Geppert Matthias Hoppe. Fachgruppe Informatik
How To: Bachelor SWT Heiko Geppert Matthias Hoppe Fachgruppe Informatik 17.10.2016 Übersicht Das Studium Das erste Semester Scheine des 1. Semesters Prüfungen Deadlines und Prüfungsordnung LSF und C@mpus
Kapitel 0: Organisatorisches
Einführung in die Praktische Informatik Wintersemester 2009 / 2010 Kapitel 0: Organisatorisches Prof. Dr. Manfred Reichert Andreas Lanz, Rüdiger Pryss Universität Ulm Institut für Datenbanken und Informationssysteme
Berechenbarkeit und Komplexität
Berechenbarkeit und Komplexität Prof. Dr. Dietrich Kuske FG Theoretische Informatik, TU Ilmenau Wintersemester 2010/11 1 Organisatorisches zur Vorlesung Informationen, aktuelle Version der Folien und Übungsblätter
Mathematik für Wirtschaftswissenschaftler
für Wirtschaftswissenschaftler Sommersemester 2014 für Wirtschaftswissenschaftler Dr. Ingolf Terveer MAWIWI-sveranstaltung O-Woche Tutorien 0-1 der Realität Theorie Problemstellung Abbild! math. Modell
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:
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
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
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.
Vorlesung Programmieren
Vorlesung Programmieren Organisation Dr. Dennis Pfisterer Institut für Telematik, Universität zu Lübeck http://www.itm.uni-luebeck.de/people/pfisterer Ziele dieser Veranstaltung Ziel: Wissen, wie man Computerprogramme
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
! Modellierung und Simulation 1 (SIM1)
! Modellierung und Simulation 1 (SIM1) 1. Veranstaltung: Einführung 18.10.16 Andreas Vogel andreas.vogel@gcsc.uni-frankfurt.de!!! Organisatorisches Modellierung und Simulation 1 (M-SIM1c; evtl. M-SIM1a,
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
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...
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
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
Automatentheorie, formale Sprachen und Berechenbarkeit
FERNSTUDIUM INFORMATIK an Fachhochschulen Automatentheorie, formale Sprachen und Berechenbarkeit Studienplan WS 2016/17 Inhalt Der Modulablauf im Überblick... 1 Ihre Kursbetreuerin... 1 Semesterplan...
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,
Erstsemesterbegrüßung
Erstsemesterbegrüßung Wirtschaftsinformatik (WINF) Informationsmanagement und Informationstechnologie (IMIT) B.Sc. Universität Hildesheim 08.04.2013, A09 Spl, 10:15h Prof. Dr. Klaus Ambrosi Studiengangsbeauftragter
Herzlich Willkommen! Prof. Dr. Heiko Röglin Institut für Informatik Abteilung I. Wintersemester 2012/13
! Prof. Dr. Institut für Informatik Abteilung I Wintersemester 2012/13 Das Institut für Informatik heißt Sie herzlich willkommen! Abteilung I: Theoretische Informatik und formale Methoden Prof. Rolf Klein
Theoretische Informatik
Theoretische Informatik Wintersemester 2016/2017 2V, Mittwoch, 12:00-13:30 Uhr, F303 2Ü, Dienstag, 12:00-13:30 Uhr, BE08 2Ü, Dienstag, 15:00-16:30 Uhr, B212 2Ü, Mittwoch, 8:30-10:00 Uhr, B312 Fachprüfung:
Praktische Informatik I
Praktische Informatik I WS 2005/2005 Prof. Dr. Wolfgang Effelsberg Lehrstuhl für Praktische Informatik IV Universität Mannheim 1. Einführung 1-1 Inhaltsverzeichnis (1) 1. Einführung 1.1 Was ist Informatik?
Algorithmen und Datenstrukturen
Lehrstuhl für Informatik I Algorithmen und Datenstrukturen Wintersemester 2013/14 Organisatorisches Vorlesung: Übungsbetreuung: Übungen: Programmiertutorium: Alexander Wolff (E29) Krzysztof Fleszar (E13)
Algorithmisches Denken und imperative Programmierung Prof. Dr. Andreas Weber
Algorithmisches Denken und imperative Programmierung Prof. Dr. Andreas Weber Veranstaltungsbewertung der Fachschaft Informatik 23. März 2017 Abgegebene Fragebögen: 43 1 Bewertung der Vorlesung 1.1 Bitte
Herzlich Willkommen. Grundbegriffe der Informatik
Herzlich Willkommen zum Modul Grundbegriffe der Informatik Tutorien: viele viele Tutoren große Übung: M. Janke, M. Schulz Vorlesung: T. Worsch http://gbi.ira.uka.de 1/14 Organisatorisches Wenn Sie Hilfe
Algorithmen und Datenstrukturen. PD Ma&hias Thimm
Algorithmen und Datenstrukturen PD Ma&hias Thimm Modulnummer, Addressaten und Voraussetzungen Modulnummer: 04IN1014 Adressaten: Bachelor Informa:k, 2. Jahr Bachelor Computervisualis:k, 2. Jahr Bachelor
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
Datenstrukturen und Algorithmen
Datenstrukturen und Algorithmen Sommersemester 2013 1 1 O. Einführung 0.1 Organisatorisches 0.2 Überblick 2 0.1 Organisatorisches DSAL Team Veranstaltungen & Termine Kommunikation Materialien Übungsbetrieb
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
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
Mathematische Grundlagen II Lineare Algebra und Differential- und Integralrechnung
Lineare Algebra und Differential- und Integralrechnung Dr. Tim Haga 04. April 2017 1 Persönliches 2 Zur Veranstaltung 3 Organisatorisches 4 Scheinverhandlung Dr. Tim Haga 1 / 10 Zu meiner Person Tim Haga
Grundlagen der Mathematik 1
Grundlagen der Mathematik 1 Thomas Markwig http://www.mathematik.uni-kl.de/ keilen 21. April 2015 (3 x 90 min / Woche) Übung (1 x 90 min / Woche) Tutorium (1 x 90 min / Woche) (Lernzentrum) Yue Ren (AG
Übung Algorithmen und Datenstrukturen
Übung Algorithmen und Datenstrukturen Sommersemester 2016 Patrick Schäfer, Humboldt-Universität zu Berlin Organisation Vorlesung: Montag 11 13 Uhr Marius Kloft RUD 26, 0 115 Mittwoch 11 13 Uhr Marius Kloft
A Organisatorisches A.1 A.4
1 Dozent A Organisatorisches Prof. Dr.-Ing. Franz J. Hauck Institut für Verteilte Systeme (Prof. Dr. P. Schulthess) E-mail: franz.hauck@uni-ulm.de Web: http://www-vs.informatik.uni-ulm.de/~hauck/ Sprechstunde:
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
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
Übungen zu Datenbanken
zu WS 2016/2017 Darina Benikova M.A. Michael Rist M.Sc. 26.+27. Oktober 2016 Kommunikation & Darina Benikova, LE 426, benikova@is.inf.uni-due.de Michael Rist, LE 423, rist@is.inf.uni-due.de Regelmäßig
Informatik I. Einführung in Java. Begrüßung. Zusatzveranstaltung
Begrüßung Informatik I Vorlesung: Montag 14:15-16:00 Donnerstag 14:15-16:00 Hörsaal: M 1 M 1 Übung: diverse Gruppen Anmeldung ab 18.10.2005, 00:00 Uhr Link auf der WWW-Vorlesungsseite! Beginn der Übungen: