Fachgebiet. Theorie der Programmierung
|
|
- Henriette Roth
- vor 8 Jahren
- Abrufe
Transkript
1 Fachgebiet Theorie der Programmierung Ansprechpartner Prof. Franz Baader, Prof. Christel Baier, Prof. Heiko Vogler (Stand: Juli 2010) 1
2 Theorie der Programmierung In den Lehrveranstaltungen werden nicht nur die semantischen Grundlagen für Programmiersprachen und deren Implementierungen präsentiert, sondern auch die Grundlagen zur formalen Spezifikation von Datentypen, Prozesstypen, Programmen und Protokollen, zusammen mit Algorithmen und Methoden zur formalen Verifikation von Hard- und Software. Theorie der Programmierung ist Fachgebiet im Diplomstudiengang Informatik. Die Lehrveranstaltungen im Fachgebiet sind offen für Studenten, die im Nebenfach Informatik studieren und werden zum Teil auch im Fachgebiet Intelligente Systeme angeboten. 2
3 Struktur im Professur Automatentheorie (F. Baader, M. Sturm, A. Turhan, B. Morawska, H. Liu, D. Borchmann, F. Distel, M. Lippmann, J. Mendez, R. Penaloza) Professur Algebraische und Logische Grundlagen der Informatik (C. Baier, C. Dubslaff, F. Ciesinski, M. Größer, J. Klein, S. Klüppelholz, W. Nauber, M. Posegga) Professur Grundlagen der Programmierung (H. Vogler, I. Adamski, L. Rüdiger, T. Stüber, M. Büchse, R. Vater, D. Geisler, R. Müller) 3
4 Forschungsschwerpunkte Professur Automatentheorie Deduktion Termersetzungssysteme, Unifikation in Gleichungstheorien Kombination von Constraint-Lösern Wissensrepräsentation Wissensrepräsentation mit Beschreibungs- und Modallogiken Komplexitäts- und Entscheidbarkeitsresultate für Schließen praktikable Entscheidungsverfahren Anwendungen in Datenbanken und im semantischen Web Rechnen mit Molekülen Modellierung universeller biologischer Computer Simulation und Implementierung von DNA-Computern im Labor 4
5 Forschungsschwerpunkte Professur Algebraische und Logische Grundlagen der Informatik Modellierung, Spezifikation, Verifikation und quantitative Analyse verteilter Systeme temporale und modale Logik, Model Checking Koordinationssprachen, Prozesskalküle 5
6 Forschungsschwerpunkte Professur Grundlagen der Programmierung Verarbeitung natürlicher Sprache (Natural Language Processing) Applications of tree automata and transducers 6
7 Information zum Lehrangebot der Professur Automatentheorie Basisvorlesungen (mindestens aller zwei Jahre) Description Logic (4/2/-) Complexity and Logic (4/2/-) Term Rewriting Systems (4/2/-) Automata and Logic (4/2/-) Funktionale Programmierung und Typtheorie (2/2/-) Spezialvorlesungen z.b. Advanced topics of Description Logics (2/-/-) in jedem Semester: Komplexpraktikum und/oder Hauptseminar mit Themen aus den Forschungsschwerpunkten 7
8 Information zum Lehrangebot der Professur Automatentheorie Lehrveranstaltungsangebot WS 2010/11 Die Spezialvorlesungen der Professur im Hauptstudium werden im Sommersemester 2011 angeboten! Theoretische Informatik (Hauptseminar) -/2/- (Baader) Komplexpraktikum -/-/4 (Baader) 8
9 Information zum Lehrangebot der Professur Automatentheorie Lehrveranstaltungsangebot SS 2011 Automata and Logic 4/2/- (Baader) Advanced topics in Description Logics 2/-/- (Turhan) Funktionale Programmierung und Typtheorie 2/2/- (Sturm) Molekulares Rechnen (in vitro und in vivo) 2/2/- (Sturm) Selected Topics in Automata and Logic 2/2/- (Penaloza) Theoretische Informatik (Seminar) -/-/2 (Baader) Theoretische Informatik (Komplexpraktikum) -/-/4 (Baader) 9
10 Information zum Lehrangebot der Professur Automatentheorie Automata and Logic (in englischer Sprache), SS 2011 The course considers finite automata that work on finite or infinite words and trees. It concentrates on the connection between these automata and logics relevant to computer science such as: - first-order logic (FOL), - monadic second-order logic (MSO), and - propositional dynamic logic (PDL). In particular, decision problems for these logics are reduced to automata closure and decidability problems, for which solutions will be presented. 10
11 Information zum Lehrangebot der Professur Automatentheorie Advanced topics in Description Logics (in englischer Sprache), SS 2011 This lecture uses the notions from the lecture Description Logics as a basis to introduce reasoning problems for Description Logics that are strongly motivated by practical applications. For instance, it will cover explanation of inference results and query answering for ABoxes as well as the algorithms solving these reasoning problems and their complexity. 11
12 Information zum Lehrangebot der Professur Automatentheorie Funktionale Programmierung und Typtheorie, SS 2011 (in dtsch. Sprache) Die Lehrveranstaltung thematisiert die semantischen Grundkonzepte getypter funktionaler Programmiersprachen (z.b. Haskell). Das sind: der Lambda- Kalkül als Programmiersprache, der getypte Lambda-Kalkül (nach Church und Curry), der polymorphe Lambda-Kalkül zweiter Ordnung, der polymorphe Lambda-Kalkül dritter Ordnung, der Lambda-Würfel, polymorphe Datentypen und Funktionen, Typsysteme und Typklassen, verzögerte Auswertung, funktionale Parser, Verifikation und Programmtransformation und Monaden. 12
13 Information zum Lehrangebot der Professur Automatentheorie Molekulares Rechnen (in vitro und in vivo), SS 2011 Die Lehrveranstaltung umfasst zwei Zielstellungen: die Entwicklung unkonventioneller Rechenmodelle, die auf einer Abstraktion biologischer Prozesse basieren und für eine Anwendung in der Mathematik bzw. Informatik vorgesehen sind, sowie die Formalisierung von real ablaufenden Prozessen in lebenden Zellen bzw. Organismen zur Erkenntnisgewinnung in der Systembiologie bzw. Bioinformatik. Neben der Vermittlung der mathematischen und theoretischen Grundlagen zum Fachgebiet allgemein werden spezielle in-vitro- und in-vivo-modelle vorgestellt sowie Grenzen ihrer Komplexität und Realisierbarkeit diskutiert. Schwerpunkte: Automaten, formale Sprachen, Berechenbarkeit, Lambda-Kalkül, Adleman-Experiment, DNA-basierte Algorithmen, NP- 13
14 Probleme, Splicing-Modelle, Insertion-Deletion-Systeme, DNA-Haskell, Gene Assembly, Membrane-Computing. 14
15 Information zum Lehrangebot der Professur Algebraische und Logische Grundlagen der Informatik Lehrveranstaltungsangebot WS 2010/11 Model Checking 4/2/- (Baier) Interactive Theorem Proving 4/2/- (Posegga) Formale Semantik nebenläufiger und mobiler Systeme 2/2/- (Posegga) LP Engineering -/2/- (Nauber) Model Checking (Komplexpraktikum) -/-/4 (Baier) Selected Topics in Logics and Complexity -/2/- (Baier, Größer) 15
16 Information zum Lehrangebot der Professur Algebraische und Logische Grundlagen der Informatik Lehrveranstaltungsangebot SS 2011 Advanced Logics 4/2/- (Baier) - Model Checking II 2/-/- (Größer) Semantics of Dependent Type Theory 2/2/- (Posegga) Entwurf und Analyse von Petri Netzen 2/2/- (Nauber) Model Checking (Komplexpraktikum) -/-/4 (Baier) Symbolic and Compositional Verification (Seminar) -/2/- (Baier) 16
17 Information zum Lehrangebot der Professur Grundlagen der Programmierung Lehrveranstaltungen zur NLP Verarbeitung natürlicher Sprache - Sprachmodelle V2/Ü2 (jedes WS) Verarbeitung natürlicher Sprache - Übersetzungsmodelle V2/Ü2 (jedes SS) Selected Topics of NLP V2/Ü2 (jedes SS) Seminar zur Verarbeitung natürlicher Sprachen Ü2 (jedes WS) NLP Lab P4 (jedes WS) Lehrveranstaltungen zur Automatentheorie Weighted Tree Automata V2/Ü2 (jedes WS) Advanced Topics in Weighted Tree Automata V2/Ü2 (jedes SS) Seminar on NLP Ü2 (jedes SS) 17
18 Information zum Lehrangebot der Professur Grundlagen der Programmierung Lehrveranstaltungsangebot WS 2010/11 Verarbeitung natürlicher Sprache - Sprachmodelle 2/2/- (Vogler, Büchse) Weighted Tree Automata 2/2/- (Vogler) (ausnahmsweise kein Seminar und kein Praktikum) Lehrveranstaltungsangebot SS 2011 Verarbeitung natürlicher Sprache - Übersetzungsmodelle 2/2/- (Vogler, Büchse) Advanced Topics in Weighted Tree Automata 2/2/- (Vogler) Selected Topics of NLP V2/Ü2 (Vogler, Büchse) Seminar on NLP Ü2 (Vogler, Büchse) 18
19 Verarbeitung natürlicher Sprache (syntax-based machine translation) S S NP PRP RB1 VP VB RB2 translation NP PRP AUX VP RB VB il ne va pas he does not go parsing il ne va pas unparsing he does not go 19
20 Weichted Tree Automata Untersuchung von Modellen zur qualitativen und quantitativen Bewertung und Übersetzung von Bäumen Beispiel: gewichtete Logikformel zum Zählen der Blattknoten eines Baums x. y. child(x, y) Ziele Untersuchung von Eigenschaften dieser Modelle nutzbar für Anwendungen, z.b. Machine Translation: Kompositionsresultate: erlauben den Übersetzungsprozess in kleine, einfach beherrschbare Phasen zu trennen Determinisierungsresultate: erlauben eine effiziente Übersetzung 20
A Anhang zu den 5, 6, 11-14
Ordnung für die Prüfung im Masterstudiengang naturwissenschaftliche Informatik 25 A Anhang zu den 5, 6, 11-14 Das Studium gliedert sich wie folgt: Zwei bzw. drei Angleichungmodule mit insgesamt 27 LP.
MehrStudieninformationsveranstaltung. Informatik. Institut für Informatik IV Universität Bonn. Tel.: 0228/73-4118 e-mail
Studieninformationsveranstaltung Informatik Vortrag am Dies Academicus (1.12.99) Prof. Dr.. Peter Martini Institut für Informatik IV Universität Bonn Tel.: 0228/73-4118 e-mail mail: martini@informatik
MehrStudienrichtung Eingebettete Systeme
Qualifikationsziel Eingebettete Systeme stellen ein äußerst wichtiges Anwendungsfeld der Methoden der Informatik dar. Unter einem eingebetteten System versteht man dabei ein (Mikro-) Computersystem, das
MehrDiplomstudiengang Betriebswirtschaftslehre Pflichtwahlfach Informatik
Diplomstudiengang Betriebswirtschaftslehre Pflichtwahlfach Informatik Lehrveranstaltungen: Pflichtveranstaltungen Wahlveranstaltungen 3) Weitere Lehrveranstaltungen aus Gebieten des InformatikHauptstudiums,
MehrModulbeschreibung: Master of Education Informatik
Modulbeschreibung: Master of Education Informatik Die Gewichtung der Einzelnoten bezieht sich im Folgenden auf eine Gesamtpunktzahl von 34 zu erbringenden Leistungspunkten. Nichtbenotete Leistungspunkte
MehrKommunikation, Information und mobile verteilte Systeme (KIS)
Qualifikationsziele Heutzutage sind nahezu alle wichtigen Informationssysteme verteilt, d.h., fast immer erbringt nicht nur ein Computer alleine eine bestimmte Dienstleistung, sondern es sind mehrere Rechner,
MehrOrganisatorisches. Zeit und Ort: Mo 12-14 MZH 1450 Mi 16-18 MZH 1460. Prof. Carsten Lutz Raum Cartesium 2.59 Tel. (218)-64431 clu@uni-bremen.
Logik Organisatorisches Zeit und Ort: Mo 12-14 MZH 1450 Mi 16-18 MZH 1460 Prof. Carsten Lutz Raum Cartesium 2.59 Tel. (218)-64431 clu@uni-bremen.de Position im Curriculum: Wahlbereich Bachelor-Basis, Theoretische
MehrRekonstruktion biologischer Netzwerke (mit probabilistischen Methoden) Einführung 11.10.2010
Rekonstruktion biologischer Netzwerke (mit probabilistischen Methoden) Einführung 11.10.2010 Prof. Dr. Sven Rahmann 1 Team Prof. Dr. Sven Rahmann Zeit Mo 10-12; Do 8:30-10 Ort OH14, R104 Alle Informationen
MehrThemen der Informationsveranstaltung
Themen der Informationsveranstaltung Neuigkeiten der Fakultät / der Universität Studienanfängerzahlen Neuberufungen. Folgen für den Lehrbetrieb. Änderungen der Studiengänge ab WS 14/15 Bachelor Informatik
MehrÜbergang vom Diplom zum Bachelor
Übergang vom Diplom zum Bachelor Da die Fächer des Bachelorstudienganges größtenteils aus Fächern des Diplomstudiengangs hervorgegangen sind, können sich die Studierenden diese Fächer aus dem Diplom für
MehrOrganisatorisches. Informatik II Informationen und Daten. Organisatorisches. Organisatorisches. Rainer Schrader. 13. Oktober 2008
Dozent: Prof. Dr. Rainer Schrader Informatik II Informationen und Daten Rainer Schrader Zentrum für Angewandte Informatik Köln 13. Oktober 2008 Tel.: 470-6030 email: schrader@zpr.uni-koeln.de Sprechstunde:
MehrDie Naturwissenschaftlich-Technische Fakultät 6 der Universität des Saarlandes Fachrichtung Informatik
Die Naturwissenschaftlich-Technische Fakultät 6 der Universität des Saarlandes Fachrichtung Informatik Modulkatalog: Kernbereich des Schwerpunktfachs Informatik Fassung vom 17. September 2015 auf Grundlage
MehrSeminar Timed Automata
Einführungsveranstaltung Thomas Noll Henrik Bohnenkamp Software Modeling and Verification Group 17. Juli 2008 Zielsetzung Einführung Termine Themen Inhalt des Seminars Methoden zur Gewährleistung der Korrektheit
Mehr32 Bachelorstudiengang Allgemeine Informatik
32 Bachelorstudiengang Allgemeine Informatik (1) Im Studiengang Allgemeine Informatik umfasst das Grundstudium zwei Lehrplansemester, das Hauptstudium fünf Lehrplansemester. (2) Der Gesamtumfang der für
MehrDie Informatik als junge Wissenschaft
Die Informatik als junge Wissenschaft Die Informatik ist die Wissenschaft von der automatischen Informationsverarbeitung. Die Informatik befasst sich mit den Gesetzmäßigkeiten und Prinzipien informationsverarbeitender
Mehr32 Bachelorstudiengang Allgemeine Informatik
32 Bachelorstudiengang Allgemeine Informatik (1) Im Studiengang Allgemeine Informatik umfasst das Grundstudium zwei. (2) Der Gesamtumfang der für den erfolgreichen Abschluss des Studiums erforderlichen
Mehr35 Masterstudiengang Smart Systems
35 Masterstudiengang Smart Systems (1) Das Master-Aufbaustudium Smart Systems umfasst drei Lehrplansemester. (2) Die Zulassung zum Masterstudiengang Smart Systems setzt einen Hochschulabschluss oder einen
MehrReaktive Programmierung Vorlesung 16 vom 14.07.2015: Theorie der Nebenläufigkeit
18:13:55 2015-07-14 1 [16] Reaktive Programmierung Vorlesung 16 vom 14.07.2015: Theorie der Nebenläufigkeit Christoph Lüth & Martin Ring Universität Bremen Sommersemester 2015 2 [16] Organisatorisches
MehrI. Allgemeine Bestimmungen
0.11.200 7.3.07 Nr. 3 S. 1 Nebenfachordnung Inhaltsverzeichnis I. Allgemeine Bestimmungen... 1 II. Bestimmungen für die einzelnen Fächer... 1 Chemie.... 1 Informatik.... 2 Philosophie.... 4 Theoretische
MehrFAQs zum Bachelorstudiengang Software Engineering PO-Version 2010. Allgemeine Informationen zum Bachelorstudiengang Software Engineering
FAQs zum Bachelorstudiengang Software Engineering PO-Version 2010 Allgemeine Informationen zum Bachelorstudiengang Software Engineering Wann kann das Studium begonnen werden? Im Winter- und Sommersemester
MehrAmtliche Bekanntmachung
Amtliche Bekanntmachung Nr. 41/2012 Veröffentlicht am: 21.09.12 Satzung zur Änderung der Prüfungsordnung für die Bachelorstudiengänge Computervisualistik,, Ingenieurinformatik, Wirtschaftsinformatik vom
MehrInformatik an der LMU
Tag der offenen Tür 2013 Informatik an der LMU Dr. Studiengangskoordinator Themen des Vortrages Was ist Informatik? Sollte ich Informatik studieren? Informatik-Studiengänge an der LMU Warum Informatik
MehrModellierung verteilter Systeme Grundlagen der Programm und Systementwicklung
Modellierung verteilter Systeme Grundlagen der Programm und Systementwicklung Wintersemester 2009/10 Prof. Dr. Dr. h.c. Manfred Broy Unter Mitarbeit von Dr. K. Spies, Dr. M. Spichkova, L. Heinemann, P.
MehrInformatik und Computervisualistik
Informatik und Computervisualistik Dietrich Paulus Patrick Sturm Institut für Computervisualistik, Koblenz 1 paulus@uni-koblenz.de sturm@uni-koblenz.de 2 Der Fachbereich 4: Informatik Der Fachbereich 4
MehrInformatik an der LMU
2009 Informatik an der LMU Priv.-Doz. Dr. Studiengangskoordinator Themen des Vortrages Was ist Informatik? Sollte ich Informatik studieren? Informatik-Studiengänge an der LMU Warum Informatik an der LMU
MehrIndividuelles Bachelorstudium. Software Engineering for Physics
Individuelles Bachelorstudium Software Engineering for Physics 1 Qualifikationsprofil Das individuelle Bachelorstudium Software Engineering for Physics vermittelt eine breite, praktische und theoretische
MehrMaschinelle Analyse und Übersetzung natürlicher Sprachen
Maschinelle Analyse und Übersetzung natürlicher Sprachen Lehrstuhl Grundlagen der Programmierung Forschungslinie Einführung in die Forschung SS 2016 NLP = natural language processing Lehrstuhl Grundlagen
MehrAuswertung zu 5510P MES-Praktikum
Auswertung zu 5510P MES-Praktikum Liebe Dozentin, lieber Dozent, anbei erhalten Sie die Ergebnisse der Evaluation Ihrer Lehrveranstaltung. Zu dieser Veranstaltung wurden 10 Bewertungen abgegeben. Erläuterungen
MehrModulübersichtstabelle des Studienganges Bachelor of Science Informatik
Bachelor of Science (Seite 1 von 8) Modulübersichtstabelle des Studienganges Bachelor of Science Modul/zugehörige Lehrveranstaltungen Prüfungsleistung Art/Dauer (Modulabschlussprüfung und/oder semesterbegleitende
MehrB.SC. INFORMATIK TIM JUNGNICKEL
ABOUT ME (21) 5. SEMESTER B.SC. INFORMATIK TU-BERLIN SEIT 2008 2 AGENDA Was ist Informatik? Wie geht es weiter? Was kann ich an der Uni machen? 1 2 3 4 Struktur des Studiums Was lernt man an der Universität?
MehrMaschinelle Analyse und Übersetzung natürlicher Sprachen
Maschinelle Analyse und Übersetzung natürlicher Sprachen Lehrstuhl Grundlagen der Programmierung Forschungslinie Einführung in die Forschung SS 2018 NLP = natural language processing Lehrstuhl Grundlagen
MehrÜberblick über das Institut für Telematik
Überblick über das Institut für Telematik Professoren Prof. Dr. Sebastian Abeck (seit 16) Prof. Dr. Michael Beigl (seit 2010) Prof. Dr. Hannes Hartenstein (seit 2003) Prof. Dr. Wilfried Juling (seit 18)
MehrPrüfungsordnung für den Studiengang Master of Science (M.Sc.)
Vom 9. August 005 (Amtliche Bekanntmachungen Jg., Nr., S. 9 9), in der Fassung vom. September 0 (Amtliche Bekanntmachungen Jg., Nr. 8, S. 58 58) Prüfungsordnung für den Studiengang Master of Science (M.Sc.)
MehrKapitel 1: Einführung. Was ist Informatik? Begriff und Grundprobleme der Informatik. Abschnitt 1.1 in Küchlin/Weber: Einführung in die Informatik
Was ist Informatik? Begriff und Grundprobleme der Informatik Abschnitt 1.1 in Küchlin/Weber: Einführung in die Informatik Was ist Informatik? Informatik = computer science? Nach R. Manthey, Vorlesung Informatik
MehrInstitut für Informatik
Institut für Informatik Peter Forbrig Institutsdirektor 22. 5. 2013 UNIVERSITÄT ROSTOCK INSTITUTE FÜR INFORMATIK FACHTAGUNG-DATENSCHUTZ 2013 1 Herzlich willkommen zur Datenschutz-Fachtagung 2013 Professuren
MehrInformatik und Informationstechnik (IT)
Informatik und Informationstechnik (IT) Abgrenzung Zusammenspiel Übersicht Informatik als akademische Disziplin Informations- und Softwaretechnik Das Berufsbild des Informatikers in der Bibliothekswelt
MehrFormale Methoden: Ein Überblick
Formale Methoden, Heinrich Rust, Lehrstuhl für Software-Systemtechnik, BTU Cottbus, 2004-09-16, p. 1 Formale Methoden: Ein Überblick Heinrich Rust Lehrstuhl für Software-Systemtechnik BTU Cottbus 2004-09-16
MehrMasterstudiengang Computational Science. Institut für Informatik und Computational Science Universität Potsdam
Masterstudiengang Computational Science Institut für Informatik und Computational Science Universität Potsdam 1 Studienverlaufsplan Leistungspunkte (LP) werden durch bestandene Modulprüfungen erbracht
MehrStudienplan für den Diplomstudiengang Mathematik
Universität Stuttgart Fakultät Mathematik und Physik Studienplan für den Diplomstudiengang Mathematik Februar 2005 Der Diplomstudiengang Mathematik gliedert sich in den ersten und den zweiten Studienabschnitt
MehrModulhandbuch. Master of Arts - Englische Linguistik - ab WS05/06
Modulhandbuch Master of Arts - Englische Linguistik - ab WS05/06 gültig ab Wintersemester 2005/2006 Inhaltsverzeichnis Module M31: Kernmodul Englische Sprachwissenschaft: Issues in Advanced Linguistics
MehrKompositionen von Baumreihen-Transformationen
Kompositionen von Baumreihen-Transformationen Andreas Maletti 1 Lehrstuhl: Grundlagen der Programmierung Institut für Theoretische Informatik Technische Universität Dresden 4. November 2005 1 Finanziell
MehrMaster-Info-Tag. Master of Science im Studienfach Informatik
Master-Info-Tag Master of Science im Studienfach Informatik Prof. Dr. Alexander Wolff Lehrstuhl für Informatik I Effiziente Algorithmen Universität Würzburg Diese Folien finden Sie unter www1.informatik.uni-wuerzburg.de/pub/masterinfotag.pdf
Mehr35 Bachelorstudiengang Computer Networking
35 Bachelorstudiengang Computer Networking () Im Studiengang Computer Networking umfasst das Grundstudium zwei. (2) Der Gesamtumfang der für den erfolgreichen Abschluss des Studiums erforderlichen Module
MehrIngenieurinformatik. Einführung in die Programmiersprache C
Ingenieurinformatik Einführung in die Programmiersprache C 1 Bachelorstudiengänge Maschinenbau, Fahrzeugtechnik, Luft- und Raumfahrt (Studienplan ab WS2013/14) Teil 1: Einführung in die Programmiersprache
MehrPraktikum Einführung
Praktikum Einführung Praktikum im Rahmen der Veranstaltung Sicherheit in Netzen im WS 08/09 Praktikumsleiter: Holger Plett Agenda Motivation AVISPA Einleitung Aufbau des Frameworks Elemente des Frameworks
MehrStudien- und Prüfungsordnung für Bachelor-Studiengänge der Hochschule Aalen - Technik und Wirtschaft vom 15. Dezember 2005
Studien- und Prüfungsordnung für Bachelor-Studiengänge der Hochschule Aalen - Technik und Wirtschaft vom 15. Dezember 2005 Auf Grund von 8 Abs. 5 in Verbindung mit 34 Abs. 1 des Gesetzes über die Hochschulen
Mehr33 Diplom-Studiengang Allgemeine Informatik
33 Diplom-Studiengang Allgemeine (1) Im Studiengang Allgemeine umfasst das Grundstudium drei Semester. () Der Gesamtumfang der den erfolgreichen Abschluss des Studiums erforderlichen Lehrveranstaltungen
MehrLehrangebot am Institut für Marketing für Bachelor of Science
Univ.-Prof. Dr. Anton Meyer Institut für Marketing Lehrangebot am Institut für Marketing für Bachelor of Science - Informationen, Vorgehen, Richtlinien Stand: Februar 2013 www.marketingworld.de Semester
MehrHÖRERVERSAMMLUNG 2014! SOFTWAREENTWICKLUNG - WIRTSCHAFT! INFORMATIK! COMPUTER SCIENCE
HÖRERVERSAMMLUNG 2014! SOFTWAREENTWICKLUNG - WIRTSCHAFT! INFORMATIK! COMPUTER SCIENCE!! Peter Pranter, Michael Krisper! Basisgruppe Informatik & Softwareentwicklung! INHALT HEUTE Studienplan Bachelor Softwareentwicklung
Mehr41 Diplom-Studiengang OnlineMedien
4 Diplom-Studiengang OnlineMedien () Der Gesamtumfang der den erfolgreichen Abschluss des Studiums erforderlichen Lehrveranstaltungen im Pflicht- und Wahlpflichtbereich beträgt 60 Semesterwochenstunden.
MehrFAQs zum Bachelorstudiengang Informatik PO-Version 2010. Allgemeine Informationen zum Bachelorstudiengang Informatik
FAQs zum Bachelorstudiengang Informatik PO-Version 2010 Allgemeine Informationen zum Bachelorstudiengang Informatik Wann kann das Studium begonnen werden? Im Winter- und Sommersemester Ist das Studium
MehrTag der Bekanntmachung im NBl. HS MSGWG Schl.-H.: 30.12.2014, S. 77 Tag der Bekanntmachung auf der Homepage der UL: 20.11.2014
Erste Satzung zur Änderung der Studiengangsordnung (Satzung) für Studierende des Bachelorstudiengangs Medieninformatik an der Universität zu Lübeck mit dem Abschluss Bachelor of Science vom 20. November
Mehr32 Bachelorstudiengang Allgemeine Informatik
3 Bachelorstudiengang Allgemeine Informatik () Im Studiengang Allgemeine Informatik umfasst das Grundstudium zwei Semester. () Der Gesamtumfang der für den erfolgreichen Abschluss des Studiums erforderlichen
MehrStudien- und Prüfungsordnung für Bachelor-Studiengänge der Hochschule Aalen - Technik und Wirtschaft vom 6. Juli 2009
- 1 - Studien- und Prüfungsordnung für Bachelor-Studiengänge der Hochschule Aalen - Technik und Wirtschaft vom 6. Juli 2009 Lesefassung vom 28. April 2014 Auf Grund von 8 Abs. 5 in Verbindung mit 34 Abs.
MehrModulangebot für das Sommersemester 2015 aus dem Institut für Informatik
MARTIN-LUTHER-UNIVERSITÄT HALLE-WITTENBERG Modulangebot für das Sommersemester 2015 aus dem Institut für Informatik Algorithm Engineering (INF.02602.04) Alle Studienleistungen im Modul Prof. Dr.Matthias
MehrMarkus Krötzsch DIAMOND. Data Integration and Access. by Merging. Ontologies and Databases. 13. Juni 2013
Data Integration and Access by Merging Ontologies and Databases 13. Juni 2013 Zielstellung Verbesserter Zugriff auf große, heterogene und dynamische Datenmengen Seite 2 Seite 3 Seite 4 Wikidata Offizielle
MehrLehrveranstaltungsverzeichnis für den Studienplan 921 Masterstudium Informatik (03W) 15W
erstellt am 05.01.2016 um 02.31 Seite 1 von 7 Masterstudium Informatik Version: 03W SKZ: 921 Fach: Pflichtfächer PF Stunden: 8.0 ECTS: 14.0 510.606 Seminar in Natural Language Processing Typ: SE Stunden:
Mehr(Wirtschafts-)Informatik. Info-Veranstaltung zum Hauptstudium
(Wirtschafts-)Informatik Info-Veranstaltung zum Hauptstudium Prüfungsgebiete Informatik I Praktische/Angewandte Informatik Informatik II Theoretische/Technische Informatik Vertiefungsgebiet (z.b. Verteilte
MehrDaten haben wir reichlich! 25.04.14 The unbelievable Machine Company 1
Daten haben wir reichlich! 25.04.14 The unbelievable Machine Company 1 2.800.000.000.000.000.000.000 Bytes Daten im Jahr 2012* * Wenn jedes Byte einem Buchstaben entspricht und wir 1000 Buchstaben auf
MehrOtto-Friedrich-Universität Bamberg Fakultät Wirtschaftsinformatik und Angewandte Informatik Bachelorstudiengang Angewandte Informatik
Module und Teilprüfungen der Bachelorprüfung im Bachelorstudiengang Angewandte Informatik gemäß Anhang 1 der Fachprüfungsordnung (FPO B AI) gültig ab WS 2007 Die Modulkürzel in der 1. Spalte sowie die
MehrMai 2006. Hauptseminar: Nichtrelationale Datenbanken Historisch-Kulturwissenschaftliche Informationsverarbeitung Universität zu Köln
Hauptseminar: Nichtrelationale Historisch-Kulturwissenschaftliche Informationsverarbeitung Universität zu Köln Mai 2006 Was ist eine Datenbank? Erweiterung relationaler um eine Deduktionskomponente Diese
MehrEinführung in die Theoretische Informatik. Woche 1. Harald Zankl. Institut für UIBK Wintersemester 2014/2015.
Einführung in die Woche 1 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 Einleitung Einleitung HZ (IFI) ETI - Woche 1 8/210 Die beschäftigt sich mit der Abstraktion, Modellbildung
Mehr35 Bachelorstudiengang Computer Networking
35 Bachelorstudiengang Computer Networking (1) Im Studiengang Computer Networking umfasst das Grundstudium zwei Semester. (2) Der Gesamtumfang der für den erfolgreichen Abschluss des Studiums erforderlichen
MehrAusführungsbestimmungen des. des Bachelor of Science Studienganges
Aufgrund der Genehmigung des Präsidiums der TU Darmstadt vom 8. Juli 2011 (Az.: 652-7-1) werden die Ausführungsbestimmungen des Fachbereichs Informatik vom 30.06.2011 zu den Allgemeinen Prüfungsbestimmungen
MehrEinführung in die Theoretische Informatik
Einführung in die Theoretische Informatik Woche 1 Harald Zankl Institut für Informatik @ UIBK Wintersemester 2014/2015 Einleitung Einleitung HZ (IFI) ETI - Woche 1 8/210 Theoretische Informatik Theoretische
MehrArbeitsgruppe LS6-ISSI: Informationssysteme und Sicherheit Joachim Biskup
Arbeitsgruppe LS6-ISSI: Informationssysteme und Sicherheit Joachim Biskup Joachim Biskup, ISSI, Department of Computer Science, University of Dortmund, Germany, 28 June 2006 1 / 17 ISSI - Informationssysteme
MehrEinführung in die Informatik
Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard 1.1 Vorlesung Zeit und Ort: Dienstags 10:00-12:00 Uhr Donnerstags 10:00-12:00 Uhr Gebäude 101 HS
MehrEntwicklung eines korrekten Übersetzers
Entwicklung eines korrekten Übersetzers für eine funktionale Programmiersprache im Theorembeweiser Coq Thomas Strathmann 14.01.2011 Gliederung 1 Einleitung
MehrAutomatisierte Logik und Programmierung II
Automatisierte Logik und Programmierung II Sommersemester 2009 Christoph Kreitz Theoretische Informatik, Raum 1.18, Telephon 3060 kreitz@cs.uni-potsdam.de http://www.cs.uni-potsdam.de/ti/lehre/alupii.htm
MehrSchulcurriculum Informationstechnische Grundkenntnisse und Informatik Stand: 18.09.2011
Bezug zu den Leitideen der Bildungsstandards und den Kompetenzen, Inhalte Bemerkungen welche die Schülerinnen und Schüler erwerben Klasse 11 Informatik 4-stündig Einführung in die objektorientierte Modellierung
MehrURL: http://www.swt.tu-berlin.de/menue/studium_und_lehre/aktuelles_semester/ Modulbeschreibung
Titel des Moduls: Softwarequalität - Praxis Engl.: Applied Software Quality Verantwortlich für das Modul: Jähnichen, Stefan E-Mail: stefan.jaehnichen@tu-berlin.de Modulbeschreibung LP (nach ): 3 URL: http://www.swt.tu-berlin.de/menue/studium_und_lehre/aktuelles_semester/
MehrModellierung biologischer. Christian Maidorfer Thomas Zwifl (Seminar aus Informatik)
Modellierung biologischer Prozesse Christian Maidorfer Thomas Zwifl (Seminar aus Informatik) Überblick Einführung Arten von Modellen Die stochastische Pi-Maschine Warum Modelle Die Biologie konzentriert
MehrInformatik studieren an der Universität zu Lübeck
Informatik studieren an der Universität zu Lübeck Prof. Dr. Till Tantau Studiengangsleiter MINT Lübecker Schnuppertag 2011 Das Informatik-Studium an der Uni Lübeck...... ist angewandter. Ein Studium an
MehrStudium der Informatik an der Ruprecht-Karls-Universität Heidelberg
Studium der Informatik an der Ruprecht-Karls-Universität Heidelberg http://www.informatik.uni-heidelberg.de/ Oktober 2015 Heidelberg Heidelberg ist eine der am häufigsten besuchten Städte Deutschlands
MehrBeschreibungslogiken. Daniel Schradick 1schradi@informatik.uni-hamburg.de
Beschreibungslogiken Daniel Schradick 1schradi@informatik.uni-hamburg.de Was sind Beschreibungslogiken? Definition: Formalisms that represent knowledge of some problem domain (the world ) by first defining
MehrSemantic Web Technologies I! Lehrveranstaltung im WS10/11! Dr. Andreas Harth! Dr. Sebastian Rudolph!
Semantic Web Technologies I! Lehrveranstaltung im WS10/11! Dr. Andreas Harth! Dr. Sebastian Rudolph! www.semantic-web-grundlagen.de Ontology Engineering! Dr. Sebastian Rudolph! Semantic Web Architecture
MehrÄquivalenztabelle der Studienleistungen
Äquivalenztabelle der Studienleistungen Bachelorstudium Angewandte Informatik 2008 Bakkalaureatsstudium alt (14.5.2003) Fachgebiet Lehrveranstaltung LV Lehrveranstaltung LV SSt Art ECTS SSt Art ECTS (1)
MehrSoftware Engineering & Internet Computing
Übergangsbestimmungen für das Masterstudium Software Engineering & Internet Computing an der Technischen Universität Wien von der Studienkommission Informatik beschlossen am 20.9.2006 (1) Sofern nicht
MehrModulhandbuch für das BA Kombinationsfach Angewandte Informatik Multimedia
Modulhandbuch für das BA Kombinationsfach Angewandte Informatik Multimedia Kenntnisse im Programmieren für das World Wide Web mit der Programmiersprache JAVA werden vermittelt, ebenso das Erstellen von
MehrWintersemester 2010/2011 Rüdiger Westermann Institut für Informatik Technische Universität München
Informatik 1 Wintersemester 2010/2011 Rüdiger Westermann Institut für Informatik Technische Universität München 1 0 Allgemeines Zielgruppen Siehe Modulbeschreibung Studierende anderer (nicht Informatik)
Mehr47 Bachelorstudiengang WirtschaftsNetze (ebusiness)
7 Bachelorstudiengang WirtschaftsNetze () () Im Studiengang WirtschaftsNetze () umfasst das Grundstudium zwei Lehrplansemester, das Hauptstudium fünf Lehrplansemester. () Der Gesamtumfang der für den erfolgreichen
MehrInformatik studieren an der Universität zu Lübeck
Informatik studieren an der Universität zu Lübeck Prof. Dr. Till Tantau Studiendekan Technisch-Naturwissenschaftliche Fakultät Universität zu Lübeck Das Informatik-Studium an der Uni Lübeck...... ist angewandter.
MehrInformatik (G9) Sek I - Differenzierung 8/9/10
Schulinternes Curriculum für das Fach Informatik (G9) Sek I - Differenzierung 8/9/10 am Gymnasium Lohmar Das Fach Informatik wird am Gymnasium Lohmar im Rahmen der Differenzierung in Form eines 2-stündigen
MehrModulhandbuch für den Studiengang Informationswissenschaft (Ergänzungsfach)
Modulhandbuch für den Studiengang Informationswissenschaft (Ergänzungsfach) im Bachelorstudium der Philosophischen Fakultät der Heinrich-Heine-Universität Düsseldorf Stand: 10/2011 Inhaltsübersicht I1
MehrErgänzungsmodul. Modulnummer. Wirtschaft, Marketing und Medienrecht (A) Modulverantwortlich
V.a Wirtschaft, Marketing und Medienrecht (A) Professur BWL V - Organisation und Arbeitswissenschaft Professur BWL II - Marketing und Handelsbetriebslehre Professur Jura I - Öffentliches Recht und Öffentliches
MehrInformatik als zweites Hauptfach im Magisterstudiengang an der Johannes Gutenberg-Universität Mainz
Informatik als zweites Hauptfach im Magisterstudiengang Seite 1 Informatik als zweites Hauptfach im Magisterstudiengang an der Johannes Gutenberg-Universität Mainz 1 Allgemeine Vorbemerkungen (1) Diese
MehrAngewandte Informatik
Informatik Angewandte Informatik Theorie und Praxis im Gleichklang Das Studium der Angewandten Informatik ist im Gegensatz zu zum Beispiel Geo-Informatik oder Wirtschafts-Informatik keine Bindestrich-Informatik,
MehrTheoretische Grundlagen des Software Engineering
Theoretische Grundlagen des Software Engineering 11: Abstrakte Reduktionssysteme schulz@eprover.org Reduktionssysteme Definition: Reduktionssystem Ein Reduktionssystem ist ein Tupel (A, ) Dabei gilt: A
MehrProgrammieren Formulierung eines Algorithmus in einer Programmiersprache
Zum Titel der Vorlesung: Programmieren Formulierung eines in einer Programmiersprache Beschreibung einer Vorgehensweise, wie man zu jedem aus einer Klasse gleichartiger Probleme eine Lösung findet Beispiel:
MehrAnlage 1: Modularisierung des Bachelor-Studiengangs Theoretische und Angewandte Computerlinguistik
Anlage : Modularisierung des Bachelor-Studiengangs Theoretische und Angewandte Legende: PM = Pflichtmodul; WPM = Wahlpflichtmodul; WM = Wahlmodul VL = Vorlesung; PS = Proseminar; HS = Hauptseminar; Ü =
MehrWirtschaftsinformatik an der Universität Trier. Intelligente Technologien für das Management der Zukunft! 26.10.2015
Wirtschaftsinformatik an der Universität Trier Intelligente Technologien für das Management der Zukunft! 26.10.2015 Professuren der Wirtschaftsinformatik Wirtschaftsinformatik I: Verteilte Künstliche Intelligenz
MehrStudienplan TECHNIKPÄDAGOGIK AUFBAUSTUDIENGANG Anhang C. Universitätsstr. 38 Tel. 7816-392 e-mail: ulrich.hertrampf@informatik.uni-stuttgart.
Seite C1 Wahlpflichtfach: Informatik Entwurf, VC, 24.9.03 Studienberatung: Prof. Hertrampf Universitätsstr. 38 Tel. 7816-392 e-mail: ulrich.hertrampf@informatik.uni-stuttgart.de lfd. Nr. Sem. Lehrveranstaltungen
MehrSemantik von Formeln und Sequenzen
Semantik von Formeln und Sequenzen 33 Grundidee der Verwendung von Logik im Software Entwurf Syntax: Menge von Formeln = Axiome Ax K ist beweisbar Formel ϕ beschreiben Korrektkeit Vollständigkeit beschreibt
Mehr58 Bachelorstudiengang Elektronik und Technische Informatik
58 Bachelorstudiengang Elektronik und Technische Informatik () Im Studiengang Elektronik und Technische Informatik umfasst das Grundstudium zwei, das Hauptstudium fünf. (2) Für den erfolgreichen Abschluss
Mehr40 Diplom-Studiengang Medieninformatik
40 Diplom-Studiengang Medieninformatik () Der Gesamtumfang der den erfolgreichen Abschluss des Studiums erforderlichen Lehrveranstaltungen im Pflicht- und Wahlpflichtbereich beträgt 60 Semesterwochenstunden.
MehrMasterstudiengang Computational Science
Masterstudiengang Computational Science Institut für Informatik und Computational Science Universität Potsdam Studienverlaufsplan Leistungspunkte (LP) werden durch bestandene Modulprüfungen erbracht Module
MehrBochum, den. geb. am: in Matr. Nr.:
Anmeldung zur Betr.: Diplomvorprüfung in Mathematik Ich beantrage die Zulassung zur Diplomvorprüfung im Fach Mathematik. Ich studiere das Fach Mathematik seit dem SS/WS und bin im Diplomstudiengang Mathematik
MehrSpezialisierung Business Intelligence
Spezialisierung Business Intelligence Peter Becker Fachbereich Informatik Hochschule Bonn-Rhein-Sieg peter.becker@h-brs.de 10. Juni 2015 Was ist Business Intelligence? Allgemein umfasst der Begriff Business
Mehr