Theoretische Informatik: Logik
|
|
- Hajo Bayer
- vor 6 Jahren
- Abrufe
Transkript
1 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 FB Elektrotechnik/Informatik Universität Kassel 24. Oktober 2011
2 Organisatorisches
3 Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 1.0 Organisatorisches 3 Inhalt 1 Kurze Einleitung Woher kommt die Logik, wofür ist sie gut und wozu braucht man sie in der Informatik? 2 Aussagenlogik 3 Prädikatenlogik erster Stufe ohne Gleichheit 4 Prädikatenlogik erster Stufe mit Gleichheit 5 Logikprogrammierung
4 Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 1.0 Organisatorisches 4 Termine Vorlesung 3std., montags 9:00 9:45 (WA 0425) und 14:15 15:45 (WA 0446) 4 Übungsgruppen, jeweils 1std., Beginn ab G1 Dienstag 10 11, WA G2 Dienstag 15 16, WA-Neubau G3 Mittwoch, 12 13, WA G4 Donnerstag, 10 11, WA 1114 Homepage der Vorlesung:
5 Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 1.0 Organisatorisches 5 Literatur Vorlesungsfolien Skripten: Vorlesung Logik für Informatiker, LMU München, SS 2008, Prof. Hofmann Vorlesung Mathematische Logik, RWTH Aachen, SS 2008, Prof. Grädel Lehrbücher: andere: Uwe Schöning, Logik für Informatiker, SpektrumVerlag Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas, Einführung in die mathematische Logik, SpektrumVerlag Uli Furbach, Logic for Computer Scientists, Wikibook auf for Computer Scientists
6 Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 1.0 Organisatorisches 6 Übungsblätter wöchentliches Übungsblatt; Ausgabe montags nachmittags online Bearbeitung als Hausaufgabe Bearbeitung in Gruppen zulässig (und empfohlen) Aufschreiben der Lösungen einzeln! Abgabe 1 Woche später über Postkasten oder in der Vorlesung Korrektur: Feedback über Kommentare und Notensystem (1 6) Besprechung des Übungsblatts und Rückgabe der Hausaufgaben wiederum 1 Woche später in Übungsgruppen
7 Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 1.0 Organisatorisches 7 Prüfung Modul wird durch Klausur am Ende des Semesters geprüft Zulassungsvoraussetzung: 75% der Übungsaufgaben sinnvoll bearbeitet (= 1 5) Nachholklausur im nächsten Semester Klausur wird so gestellt, dass Erreichen der hier definierten Lernziele abgeprüft wird!
8 Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 1.0 Organisatorisches 8 Lernziele Zielgruppe: Pflichtmodul im Bachelor-Studiengang Informatik nach erfolgreicher Teilnahme an dieser Veranstaltung soll man wichtige logische Begriffe wie Beweis, Erfüllbarkeit und Allgemeingültigkeit kennen und damit umgehen können, in der Lage sein, formal die Richtigkeit einer Aussage mit Bezug auf die Informatik darlegen zu können, Aussagen- und Prädikatenlogik erster Stufe, etc. kennen und verstehen, Entscheidungsverfahren und Beweiskalküle für solche Logiken kennen und anwenden können.
9 Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 1.0 Organisatorisches 9 Logik Lernen Vorlesung dient der Präsentation des zu erlernenden Stoffs Übung dient zur Überprüfung der Aneigung des zu vermittelnden Wissens Aneignung des zu vermittelnden Wissens geschieht durch aufmerksame (mindestens passive, gerne auch aktive) Teilnahme an der Vorlesung aktive Teilnahme an der Übung ganz wichtig: rigoroses Bearbeiten der Übungsblätter ergänzendes Tutorium: jeweils 1std. im Anschluss an Übungsgruppen
10 Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 1.0 Organisatorisches 10 Richtlinien für die Übungsblätter Aneignung wichtiger Qualifikationen, die von einem Informatiker mit Hochschulabschluss erwartet werden intensive und dauerhafte Auseinandersetzung mit dem Lernstoff vollen Zeitraum einer Woche ausschöpfen Bearbeitung in Gruppenarbeit (Faustregel: 3 4), Aufschreiben alleine, Abgabe bitte zusammenhängend (geheftet, gebunden, etc.) Lösungen immer begründen (nicht in Romanform)
11 Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 1.0 Organisatorisches 11 Schwarzbuch Übungsblatt runterladen, 30min anstarren, zu schwer, weg damit nach Musterlösungen fragen nur passiv an Übungsgruppen teilnehmen Hausaufgaben während Vorlesungszeit abschreiben, dann vor Klausur 1 Woche intensiv lernen anhand von Lösungen statt von Aufgaben lernen Vorlesungsfolien mit einem Skript verwechseln in der Vorlesung keine Notizen machen
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,
MehrLogik 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
MehrLogik 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
MehrLogik. Vorlesung im Wintersemester 2010
Logik Vorlesung im Wintersemester 2010 Organisatorisches Zeit und Ort: Di 14-16 MZH 5210 Do 16-18 MZH 5210 Prof. Carsten Lutz Raum MZH 3090 Tel. (218)-64431 clu@uni-bremen.de Position im Curriculum: Modulbereich
MehrTheoretische 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
MehrMathematische 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
MehrStatistik 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
MehrTheorie 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:
MehrTheoretische 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
MehrStatistik 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
MehrTheoretische 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
MehrPioniere der Informatik
Pioniere der Informatik Seminar im Wintersemester 2009/10 Martin Lange Institut für Informatik, LMU München 20. Oktober 2009 Pioniere der Informatik, M. Lange, IFI/LMU: Organisatorisches 1 Termine Seminar
MehrAlgorithmen & Datenstrukturen
Algorithmen & Datenstrukturen Prof. Dr. Gerd Stumme Universität Kassel FB Elektrotechnik/Informatik FG Wissensverarbeitung Sommersemester 2009 Ziele der Veranstaltung 1 Kennenlernen grundlegender Algorithmen
MehrGrundlagen 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
MehrKapitel -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
MehrFormale Systeme. Prof. P.H. Schmitt. Winter 2007/2008. Fakultät für Informatik Universität Karlsruhe (TH) Voraussetzungen
Formale Systeme Prof. P.H. Schmitt Fakultät für Informatik Universität Karlsruhe (TH) Winter 2007/2008 Prof. P.H. Schmitt Formale Systeme Winter 2007/2008 1 / 12 Übungen und Tutorien Es gibt wöchentliche
MehrRechnerstrukturen. 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
MehrVorlesung 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
MehrFormale Systeme. Organisatorisches. Prof. Dr. Bernhard Beckert, WS 2016/ KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft
Formale Systeme Prof. Dr. Bernhard Beckert, WS 2016/2017 Organisatorisches KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK www.kit.edu KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft Personen
MehrFormale Systeme. Organisatorisches. Prof. Dr. Bernhard Beckert, WS 2016/ KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft
Formale Systeme Prof. Dr. Bernhard Beckert, WS 2016/2017 Organisatorisches KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK www.kit.edu KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft Personen
MehrTheorie 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:
MehrOrganisatorisches. 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
MehrGrundlagen 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
MehrMathematische 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,
MehrSondertermin 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
MehrMathematik 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
MehrDiskrete 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:
MehrEinfü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
MehrTheoretische 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.
MehrAlgorithmen 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
MehrEs 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
MehrVorlesung 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
MehrVorlesung 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?
MehrVorlesung 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:
MehrMein 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
MehrEinfü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
MehrUnternehmen und Märkte
Einführungsveranstaltung Wintersemester 2011-12 Dr. Kirsten Farmanara Gliederung des Vortrags Zielgruppe Lernziele Mitwirkende Vortragsreihe Termine Ablauf Tutorien Termine Ablauf Prüfungsmodalitäten Organisatorisches
MehrEinfü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
MehrGrundlagen 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
MehrADS. 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
MehrÜ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,
MehrLogik für Informatiker
Logik für Informatiker Organisatorisches Markus Bender Themen Allgemeines Klausurzulassung Aufgabenblätter Abgabegruppen Punkte SVN Allgemeines Markus Bender mbender@uni-koblenz.de Raum B 224 http://userp.uni-koblenz.de/~mbender/ss16logic.html
MehrPhysik 1: Mechanik, Thermodynamik und Schwingungen (Pk 1)
Physik 1: Mechanik, Thermodynamik und Schwingungen (Pk 1) Vorlesung Kombibachelor Physik Humboldt-Universität zu Berlin Wintersemester 2014/2015 Martin zur Nedden, Stefan Kowarik Humboldt-Universität zu
MehrTheoretische 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
MehrStudiengang der meisten Studenten: Bachelor Physik Fachsemester: Die meisten Studenten kamen aus dem 6. Semester, Mittelwert: 4.9
ausgewertete Bögen: 18 Auswertung der Evaluation von Übungen im SS 11 Vorlesung: Einführung in Quantenfeldtheorien Veranst.-Nr.: 5-23-2311 Dozent: PD Dr. Buballa, Michael Studiengang der meisten Studenten:
MehrAutomatentheorie, 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...
MehrMathematik 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/
MehrTheoretische 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
MehrMathematik für Biologen und Biotechnologen (240109)
Mathematik für Biologen und Biotechnologen (240109) Dr. Matthieu Felsinger Sommersemester 2014 Kontakt Matthieu Felsinger m.felsinger@math.uni-bielefeld.de Homepage: www.math.uni-bielefeld.de/~matthieu
MehrÜ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
MehrVorlesung 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
MehrFormale Systeme, Automaten, Prozesse
Formale Systeme, Automaten, Prozesse Peter Rossmanith Theoretische Informatik, RWTH Aachen 28. April 2009 Organisatorisches Termine (Folie 1, Seite 1 im Skript) Vorlesung Dienstags, 8:15-9:00 Uhr, Grüner
MehrEinfü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
MehrEinfü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
MehrTheoretische 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:
MehrAlgorithmen 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
MehrAllgemeine 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,
MehrAlgorithmen 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
MehrAdvanced Topics of Software Engineering. Organisatorische Hinweise
Advanced Topics of Software Engineering Organisatorische Hinweise Prof. Dr. Dr. h.c. Manfred Broy Lehrstuhl Software & Systems Engineering Institut für Informatik Software & Systems Engineering Technische
MehrWissenschaftliche Grundlagen des Mathematischen Schulstoffs III III. Die erste Stunde. Die erste Stunde
Wissenschaftliche Grundlagen des Mathematischen Schulstoffs III III Was ist ist Mathematik? Der Inhalt Geometrie (seit (seit Euklid, ca. ca. 300 300 v. v. Chr.) Chr.) Die Die Lehre vom vom uns uns umgebenden
MehrBemerkung: Termine und Orte für die einzelnen Lehrveranstaltungen sind dem Stundenplan zu entnehmen.
Allgemeine Modulbeschreibungen für das erste Semester Bachelor Informatik 1. Objektorientierte Programmierung Bestehend aus - Vorlesung Objektorientierte Programmierung (Prof. Zimmermann) - Übung zu obiger
MehrLogik und Beweisbarkeit
Logik und Beweisbarkeit Einleitung Martin Mundhenk Univ. Jena, Institut für Informatik. Februar 0 Einleitung: U ber Sinn und Form Symbolisches Addieren Al-Chwarizmi (etwa 8 80) Problem: Was ist MMMDCCCXCIX
MehrAngewandte Mathematik: Stochastik Prof. Dr. Reinhard Klein
Angewandte Mathematik: Stochastik Prof. Dr. Reinhard Klein Veranstaltungsbewertung der Fachschaft Informatik 4. September 2015 Abgegebene Fragebögen: 38 1 Bewertung der Vorlesung 1.1 Bitte beurteile die
MehrMathematisch-algorithmische Grundlagen für Big Data
Mathematisch-algorithmische Grundlagen für Big Data Numerische Algorithmen für Datenanalyse und Optimierung Prof. Dr. Peter Becker Fachbereich Informatik Hochschule Bonn-Rhein-Sieg Sommersemester 2017
MehrInformatik Lehre von der Darstellung und Verarbeitung von Information durch Algorithmen Teilgebiete der Informatik: theoretisch
Logik Prof. Dr. Sibylle Schwarz Westsächsische Hochschule Zwickau Dr. Friedrichs-Ring 2a, RII 263 http://www.fh-zwickau.de/~sibsc/ sibylle.schwarz@fh-zwickau.de WS 2012/2013 1 Informatik Informatik Lehre
MehrInformatik 1. für Studiengänge Nachrichten-/Multimediatechnik und Mechatroniksysteme/Fahrzeugmechatronik. Wintersemester 2014/15
Informatik 1 für Studiengänge Nachrichten-/Multimediatechnik und Mechatroniksysteme/Fahrzeugmechatronik Wintersemester 2014/15 Prof. Dr.-Ing. habil. Peter Sobe Fakultät Informatik / Mathematik Informatik-Ausbildung
MehrMathematische 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
MehrVorlesung 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
MehrMehr Mitarbeit durch Arbeitsgruppenwettbewerbe
Mehr Mitarbeit durch Volkswirtschaftliche Fakultät Ludwig-Maximilians-Universität München winter@lmu.de Die Lehrveranstaltung Vorlesung Empirische Ökonomie Pflichtveranstaltung im 3. Semester der Diplomund
MehrVorlesung 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?
MehrMotivation und Geschichte. Geschichte der Logik Logik und Informatik
Motivation und Geschichte Geschichte der Logik Logik und Informatik Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 2.1 Motivation und Geschichte Geschichte der Logik 13 Aufgaben der Logik
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 1 Good to Know Informatiker Forum http://www.die-informatiker.net/ Mimuc Twitter
MehrInformationen zum Studium der Mathematik in den Studiengängen
Dr. Daniela Götze Informationen zum Studium der Mathematik in den Studiengängen Lehramt für Grundschulen (G) Lernbereich Math. Grundbildung Lehramt für sonderpädagogische Förderung (SF) Lernbereich Math.
MehrPrüfungsleistungen (Voraussetzungen für die Vergabe von Leistungspunkten)
Modulbeschreibung Code IV.3. Modulbezeichnung Operations Research (WiSe 2015/2016) Beitrag des Moduls zu den Studienzielen Qualifikationsziele (vgl. Leitfaden Punkt 3) Übergeordnetes Ziel des Moduls besteht
MehrThomas 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
MehrVorlesung 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
MehrLehrstuhl für Produktionswirtschaft Prof. Dr. Marion Steven PRODUKTIONSTHEORIE. Wintersemester 2017/18
Lehrstuhl für Produktionswirtschaft Prof. Dr. Marion Steven PRODUKTIONSTHEORIE Wintersemester 2017/18 Vorstellung Prof. Dr. Marion Steven GC 4/60 Tel.: 0234/32-28010 Sprechstunde: mittwochs 9:00 10:00
MehrLogik für Informatiker Logic for computer scientists
Logik für Informatiker Logic for computer scientists Till Mossakowski Wintersemester 2014/15 Till Mossakowski Logik 1/ 28 Überblick Motivation Motivation Formale Beweise in Fitch Die Booleschen Junktoren
MehrBachelor Angewandte Informatik Ingenieur- und Medieninformatik (BAI) Einführungsveranstaltung SS 2017 Dr. Werner Otten
Bachelor Angewandte Informatik Ingenieur- und Medieninformatik (BAI) Einführungsveranstaltung SS 2017 Dr. Werner Otten Übersicht BAI was ist das? Wichtige Unterlagen & wo sie zu finden sind Module, Credits
MehrStatistik 2 SS 2014 Universität Hamburg
Statistik 2 SS 2014 Universität Hamburg Dozent: J. Heberle Lehrstuhl für Betriebswirtschaftslehre, insbesondere Mathematik und Statistik in den Wirtschaftswissenschaften Lehrstuhlinhaber: Prof. Dr. Michael
MehrHerzlich Willkommen zur Vorlesung Einführung in die Logik I (*)
Herzlich Willkommen zur Vorlesung Einführung in die Logik I (*) Vorlesung: Professor Marcus Spies (Department Psychologie) www.psy.lmu.de/ffp/persons/prof--marcus-spies.html Tutorium : Philipp Etti (Institut
MehrAutomatentheorie, formale Sprachen und Berechenbarkeit
FERNSTUDIUM INFORMATIK an Fachhochschulen Automatentheorie, formale Sprachen und Berechenbarkeit Studienplan WS 2017/18 Inhalt Der Modulablauf im Überblick... 1 Ihre Kursbetreuerin... 1 Semesterplan...
MehrInformatik 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
MehrAlgorithmen 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
MehrMathematik 1. Studiengang Bachelor Informatik WS 2016/2017. Prof. Dr. Ulrich Tipp
Mathematik 1 Studiengang Bachelor Informatik WS 2016/2017 Prof. Dr. Ulrich Tipp Organisatorisches 4 h Vorlesung Di 8:00 9:30 AM Mi 8:00 9:30 AM 2 h Übung in 4 Gruppen Di 10:00 11:30 BE08 (Gruppe L) Di
MehrInformatik 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:
MehrGrundlagen der Programmierung II (GP 2)
Grundlagen der Programmierung II (GP 2) stb@upb.de SS 2008 Wesentliche Teile des Materials dieser Vorlesung wurden mir freundlicherweise von meinen Kollegen Prof. Dr. Uwe Kastens, Prof. Dr. Gerd Szwillus
MehrModulbeschreibung. Seite 1 von 5. Allgemeine Daten: Modulnummer: EI0310 Modulbezeichnung (dt.):
Modulbezeichnung (dt.): Diskrete Mathematik für Ingenieure Modulbezeichnung (en.): Discrete Mathematics for Engineers Modulniveau: BSc Kürzel: Untertitel: Semesterdauer: 1 Semester Häufigkeit: SS Sprache:
MehrBiometrie und Methodik - Vorlesung Statistik
Biometrie und Methodik - Vorlesung Statistik Andreas Eberle Institut für angewandte Mathematik Oktober 2008 I Dienstag 8.30 st - 10.00, Mittwoch 10.00 ct-12.00, Hörsaal I I Dienstag 8.30 st - 10.00, Mittwoch
MehrTheoretische Grundlagen des Software Engineering
Theoretische Grundlagen des Software Engineering 6: Formale Logik Einführung schulz@eprover.org Formale Logik Ziel Formalisierung und Automatisierung rationalen Denkens Rational richtige Ableitung von
MehrHow 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 &
MehrFortgeschrittene 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...
MehrÜbungen zu Datenbanken
zu WS 2014/2015 Dipl.-Inform. 16. Oktober 2014 Kommunikation &, LF 139, vtran@is.inf.uni-due.de Regelmäßig Webseite besuchen! http://www.is.inf.uni-due.de/courses/db_ws14/ Kommunikation Korrektur der Übungsabgaben
MehrPHYSIK 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
MehrInformatik. Kap 0 Organisation
Informatik Kap 0 Organisation von Vorlesung und Praktikum Dr. Norbert Spangler Sprechstunde : nach Vereinbarung E-Mail norbert.spangler@h-da.de n.spangler@t-online.de http://www.fbi.h-da.de/organisation/personen/spangler-norbert.html
MehrProgrammieren Tutorium Wintersemester 2008/2009
Micha Bruns, Philipp Tölle, Markus Roth 1 Programmieren Tutorium Wintersemester 2008/2009 Markus Roth Tutorium Nr. 10 28.10.2008 Micha Bruns, Philipp Tölle, Markus Roth 2 Übersicht Organisatorisches Über
MehrPraxis der Forschung im Sommersemester 2017
Praxis der Forschung im Sommersemester 2017 Prof. Dr.-Ing. Tamim Asfour, Prof. Dr. Bernhard Beckert, Prof. Dr. Ralf Reussner, Prof. Dr.-Ing. Michael Beigl, Prof. Dr.-Ing. Rainer Stiefelhagen Fakultät für
MehrÜbungen zu Datenbanken
zu WS 2013/2014 Dipl.-Inform. 23./24. Oktober 2013 Kommunikation, LF 136, mjordan@is.inf.uni-due.de, LF 136, mjordan@is.inf.uni-due.de Thomas Beckers, LF 138, tbeckers@is.inf.uni-due.de Regelmäßig Webseite
MehrControlling SS 2012 Syllabus 1
Controlling SS 2012 Syllabus 1 (20.03.2012) Dozent: Prof. Dr. Christian Hofmann Raum: 612 Tel.: 089 2180 72035 Email: iuc@bwl.lmu.de Übungsleiter: Moritz Krebs Raum: 615 Tel.: 089 2180 72029 Email: krebs@bwl.lmu.de
Mehr