Tree-width is … Master / Master. Exemplary flashcards for Logik in der Informatik at the Humboldt-Universität zu Berlin on StudySmarter: NP-Vollständig In der Informatik bezeichnet man ein Problem als NP-vollständig (vollständig für die Klasse der Probleme, die sich nichtdeterministisch in Polynomialzeit lösen lassen), wenn es zu den schwierigsten Problemen in der Klasse NP gehört, also sowohl in NP liegt als auch … A Transdisciplinary Workshop (10.-12.04.2008. Available on the Web, Android & iOS. Ob das Studium nur zum Wintersemester oder auch zum Sommersemester beginnt und ob es einem Numerus clausus (hu.berlin… Studierst du 32270 Logik in der Informatik an der Humboldt-Universität zu Berlin? Unsere Schwerpunkte liegen hierbei in der endlichen Modelltheorie, der Datenbanktheorie und der Komplexitätstheorie. entlang der „temporalen Logik“ oder der „nicht-monotonen Logiken“ John McCarthys u.a. Besonderes Augenmerk richten wir auf die … In dieser Arbeit sollen Endlichkeitsbedingungen für die … Studierst du 32270 Logik in der Informatik an der Humboldt-Universität zu Berlin? Teilnehmer; Mo. Ich war Mitglied im Editorial Board der Zeitschrift Logical Methods in Computer Science (LMCS) (2010-2020), im Fachbeirat des Max-Planck-Institut für Informatik in Saarbrücken (2013-2018), im 2018 PODS Test-of-Time Award Committee (2018) und im 2017 LICS Test-of-Time Award Committee (2017), Mitglied im Council der International Conference on Database Theory (ICDT-Council, 2007-2017), Mitglied im Wissenschaftlichen Direktorium von Schloss Dagstuhl (2010-2016), Mitglied im Vorstand der Deutschen Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) (2010-2016), Beiratsvorsitzende des Bundeswettbewerb Informatik (2008-2013), Publicity Co-Chair für IEEE Symposium on Logic in Computer Science (LICS) (2005-2010), Publicity Co-Chair der 4th Federated Logic Conference (FLoC 2006) und Publicity Chair der 5th Federated Logic Conference (FLoC 2010). Gruppe 1 Tag Zeit Rhythmus Dauer Raum Raum-plan Lehrperson Status Bemerkung fällt aus am Max. 09:00 bis 11:00 wöch Erwin Schrödinger-Zentrum /Modul 1 - 1306 Rudower Chaussee 26 (RUD26) - (Unterrichtsraum) Aktuelles: Die Arbeit "Fine-Grained Complexity of Regular Path Queries" von Katrin Casel und Markus Schmid wurde für ICDT 2021 akzeptiert. Parameterized Counting Complexity aims at describing Counting Problems via methods from Parameterized Complexity Theory. Wissenschaftliche Mitarbeiter Sebastian Paasch E-Mail: sebastian.paasch@staff.hu-berlin.de Unter den Linden 6, Raum 3013 Tel. Teilnehmer; Mo. Logik in der Informatik (9 CP) Modulabschlussprüfung Logik in der Informatik (1 CP) ÜB Logik in der Informatik (3 CP) VL Logik in der Informatik (5 CP) Software Engineering (8 CP) Modulabschlussprüfung Software Engineering (1 CP) ÜB Software Engineering (3 CP) VL Software Engineering (4 CP) 4. ICC'08: Information, Control and Communication. 15:00 bis 17:00 wöch Popova-Zeugmann Aufbauend auf den Grundlagen der Theoretischen Informatik I werden in dieser Vorlesung auch tiefliegendere Ergebnisse und Zusammenhänge aus der Logik … ; Der Übungsbetrieb startete in der zweiten Woche der Vorlesungszeit, also am 11. Daraufhin sollte folgende … Logik in der Informatik (9 CP) Modulabschlussprüfung Logik in der Informatik (1 CP) ÜB Logik in der Informatik (3 CP) ... HU Berlin › Studienangebot. Angewandte Mathematik für die Informatik (6 CP) … Jahrhunderts herausgebildet hat. Jahrhunderts herausgebildet hat. Abschluss. Institut für Informatik Logik spielt eine grundlegende Rolle in vielen verschiedenen Bereichen der Informatik, etwa dem Schaltkreisentwurf, dem Software-Engineering, der künstlichen Intelligenz, der Datenbanken und der theoretischen Informatik. erfolgen, die Ansätze können sich aber auch völlig von den bislang beschrittenen Wegen der Formalen Logik lösen, wie z.B. Promotion zum Dr. rer. : +49 30 2093 7907 Sprechzeiten: Mi., 16–17 Uhr, UL 6, … Bachelor of Science / B.Sc. Die Logik in der Informatik baut auf der mathematischen Logik auf, die sich etwa seit Ende des 19. Afrikawissenschaften. D-10099 Berlin, Johann-von-Neumann-Haus 09:00 bis 11:00 wöch Erwin Schrödinger-Zentrum /Modul 1 - 1306 Rudower Chaussee 26 (RUD26) - (Unterrichtsraum) Deshalb ist jede adäquate Reduktiion des Graphen interessant. Falls Sie an der Veranstaltung teilnehmen wollen, melden Sie sich bitte über AGNES für die Übungen an. Ein Preprint ist bei arXiv erhältlich. In den letzten 30 Jahren hat … Herausgeber: Der Präsident der Humboldt-Universität zu Berlin Unter den Linden 6, 10099 Berlin Nr. Rudower Chaussee 25, Raum III.401 In dieser Vorlesung werden klassische Resultate der mathematischen Logik und deren Anwendungen in verschiedenen Bereichen der Informatik … Anwendungen der Logik finden sich in unterschiedlichen Bereichen der Informatik, beispielsweise Rechnerarchitektur, Softwaretechnik, Programmiersprachen, Datenbanken, künstliche Intelligenz, Komplexitäts- und Berechenbarkeitstheorie. Dezember 2005, 11:15 Uhr RUD 25, Raum 4.410 DAG-Width and Parity Games Stephan Kreutzer Humboldt-Universität zu Berlin. GI-Fachtagung Informatik und Schule (INFOS'15), Highlights of Logic, Games and Automata (Highlights 2014), 21st Workshop on Logic, Language, Information and Computation (WoLLIC'14), 9th International Computer Science Symposium in Russia (CSR'14), 17th International Conference on Database Theory (ICDT'14) - PC chair, Highlights of Logic, Games and Automata (Highlights 2013), 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'13), 16th International Conference on Database Theory (ICDT'13), 21st EACSL Annual Conference on Computer Science and Logic (CSL'12), 39th International Colloquium on Automata, Languages and Programming (ICALP'12), Track B, 4th International Workshop on Logic in Databases (LID'11), 14th International Conference on Database Theory (ICDT'11), 24th Annual IEEE Symposium on Logic in Computer Science (LICS'09), 28th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'09), 12th International Conference on Database Theory (ICDT'09), 16th Annual European Symposium on Algorithms (ESA'08), 10th Workshop on Descriptional Complexity of Formal Systems (DCFS'08), 25th International Symposium on Theoretical Aspects of Computer Science (STACS'08), 16th EACSL Annual Conference on Computer Science and Logic (CSL'07), 22nd Annual IEEE Symposium on Logic in Computer Science (LICS'07), 12. Übungsaufgaben: Blatt 5 ausgeteilt. Willkommen auf den Webseiten der Arbeitsgruppen "Theoretische Informatik" und "Logik und Komplexität"! Darüber hinaus wird … Die Logik in der Informatik baut auf der mathematischen Logik auf, die sich etwa seit Ende des 19. Die Logik in der Informatik baut auf der mathematischen Logik auf, die sich etwa seit Ende des 19. auch den Kombinationsbachelor Informatik mit Lehramtsbezug sowie "Bachelor- und Masterstudiengänge an der HU" (hu.berlin/abschluesse). aus: On the unusual e ectiveness of logic in computer science, Bulletin of Symbolic Logic 7(2): 213-236 (2001) Folie 18 Anwendungsbereiche der Logik in der Informatik … Jahrhunderts herausgebildet hat. Sitz: Johann-von-Neumann-Haus Rudower Chausse 25, Haus III / 4. Für die Lösung der Übungsaufgaben verwenden Sie bitte die in der Vorlesung eingeführten Notationen. Aktuelles. Die Eröffnungsvorlesung fand am Dienstag, den 3.11.20 ab 15:15 Uhr statt. Etage, Raum … Die Vorlesung ist eine Einführung in die Logik und ihre Anwendungen in der Informatik. ist SWI-Prolog in der Version 5.10.2 installiert. Humboldt-Universität zu Berlin Auf StuDocu findest du alle Zusammenfassungen, Klausuren und Mitschriften für den Kurs Einen Überblick über die Rolle der Logik in der Informatik gibt der Artikel "On the unusual effectiveness of logic in computer science" von Halpern, Harper, Immerman, Kolaitis, Vardi und Vianu (Bulletin of Symbolic Logic 7(2):213-236 (2001)), den Sie hier finden. Logik in der Informatik Prof. Dr. Martin Grohe Einstieg in SWI-Prolog SWI-Prolog starten. in Marvin Minskys „Society of Mind“ oder in sogenannten „Belief Systems“. GI-Fachtagung für Datenbanksysteme in Business, Technologie und Web (BTW'07), 33rd International Colloquium on Automata, Languages and Programming (ICALP'06), Track B, 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'06), 4th International Symposium on the Foundations of Information and Knowledge Systems (FoIKS'06), 10th International Symposium on Database Programming Languages (DBPL'05), Dagstuhl-Seminar "Enumeration in Data Management", Algorithmic Model Theory Meeting 2018 (AlMoTh 2018), Dagstuhl-Seminar "Advances and Applications of Automata on Words and Trees", GI-Dagstuhl-Seminar "Data Exchange, Data Integration, and Data Streams" (DEIS'10), Algorithmic Model Theory Meeting 2010 (AlMoTh 2010), 16th annual meeting of the "GI Fachgruppe Logik in der Informatik" (LogInf 2009), Professorin für Logik in der Informatik am Institut für Informatik der Humboldt-Universität zu Berlin, Professorin (zunächst W2, seit 2008 W3) für Theorie komplexer Systeme am Institut für Informatik der Goethe-Universität Frankfurt am Main, Juniorprofessorin für Logik und Datenbanktheorie am Institut für Informatik der Humboldt-Universität zu Berlin, wissenschaftliche Assistentin am Institut für Informatik der Humboldt-Universität zu Berlin, Postdoc am Laboratory for Foundations of Computer Science der University of Edinburg. Darüber hinaus wird … Unter den Linden 6 Auf StuDocu findest du alle Zusammenfassungen, Klausuren und Mitschriften für den Kurs Was zeichnet das Studium des Fachs Informatik an der HU aus? Der Zustandsraum eines Intervall-Petrinetzes wird durch einen (Erreichbarkeits-)Graphen ausreichend gut sowohl für eine qualitative als auch für eine quantitative Analyse beschrieben. auch den Kombinationsbachelor Informatik mit Lehramtsbezug sowie "Bachelor- und Masterstudiengänge an der HU" (hu.berlin/abschluesse).. Regelstudienzeit. Termine bitte per Email mit Gesine Pergl vereinbaren. In den letzten 30 Jahren hat sich die Logik in der Informatik aber in eine eigenständige, von den Anwendungen bestimmte Richtung entwickelt. Die wissenschaftlichen Grundlagen der Informatik werden in mehreren aufeinander aufbauenden Kursen vermittelt. Tree-width is a well-known metric on undirected graphs that measures how tree-like a graph is and gives a notion of graph decomposition that proves useful in algorithm development. Auch in den eher praktisch orientierten Fächern betonen wir immer die … Die Größe dieses Graphen ist exponential zu der Größe des Petrinetzes. Logik spielt ein grundlegende Rolle in vielen verschiedenen Bereichen der Informatik, etwa dem Schaltkreisentwurf, dem Software-Engineering, der künstlichen Intelligenz, der Datenbanken, und der theoretischen Informatik. Studienbeginn und NC. § 2 Beginn des Studiums ... - A3 Logik in der Informatik (9 LP) It’s completely free. Juni 2006, 11:15 Uhr RUD 25, Raum 4.410 Counting Small Things is Sometimes Hard Marc Thurley Humboldt-Universität zu Berlin. Diese beginnen schon im ersten Semester, um gleich den richtigen Einstieg in ein Hochschulstudium zu gewährleisten. 6 Semester. In den letzten 30 Jahren hat sich die Logik in der Informatik aber in eine eigenständige, von den Anwendungen bestimmte Richtung entwickelt. Mitarbeiterseminar Logik in der Informatik Freitag, 23. Dies kann auf der Basis der Formalen Logik, z.B. In den letzten 30 Jahren hat sich die Logik in der Informatik aber in eine eigenst ndige, von den Anwendungen bestimmte Richtung entwickelt. Hundreds of thousands of students use StudySmarter to efficiently prepare for their exams. Habilitationsvortrag: Frau Dr. Thea Radüntz, Mathematisch-Naturwissenschaftliche Fakultät. Monobachelor, Bachelor of Science (B.Sc.) - Bitte beachten Sie ggf. Vorlesung Logik in der Informatik Prof. Dr. Nicole Schweikardt Vorlesung: dienstags 11-13, Schrödinger-Zentrum (RUD26), Raum 0'115 donnerstags 11-13, Schrödinger-Zentrum (RUD26), Raum 0'115 Übungen zur Vorlesung: montags 15-17, Schrödinger-Zentrum (RUD26), Raum 1'303, bei Jens Keppeler montags 15-17, Schrödinger-Zentrum (RUD26), Raum 1'306, bei PD Dr. … Humboldt-Universität zu Berlin | Mathematisch-Naturwissenschaftliche Fakultät | Institut für Informatik | Logik in der Informatik | AG Theoretische Informatik | Dr. André Frochaux Dr. André Frochaux Adresse: Institut für Informatik Humboldt-Universität zu Berlin Unter den Linden 6 D-10099 Berlin. Bachelor of Education, Master of Education / … Juniorprofessur für Logik und Komplexität. Die Vorlesung ist eine Einführung in die Logik und ihre Anwendungen in der Informatik. D-12489 Berlin-Adlershof. Logik, Datenbanktheorie, Komplexitätstheorie, endliche Modelltheorie, Grundlagen der Verarbeitung von großen Datenmengen und Datenströmen, 39th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'20), Habilitationsvortrag: Frau Dr. Thea Radüntz, Mathematisch-Naturwissenschaftliche Fakultät, Lehre im aktuellen Semester (inkl. for Logik in der Informatik at the Humboldt-Universität zu Berlin or access thousands of learning materials created by your fellow students. Die Logik in der Informatik baut auf der mathematischen Logik auf, die sich etwa seit Ende des 19. Die Arbeit "Fine-Grained Complexity of Regular Path Queries" von Katrin Casel und Markus Schmid wurde für ICDT 2021 akzeptiert. Intuitively, this means in most cases that certain structures … Auf den Computern im Berlin-Pool (Raum III.212, Rechnernamen mitte, kudamm usw.) - Bitte beachten Sie ggf. Herausgeber: Der Präsident der Humboldt-Universität zu Berlin Unter den Linden 6, 10099 Berlin Nr. Archiv vergangener Semester an der HU Berlin) Archiv vergangener Semester an der Goethe-Universität Frankfurt am Main (2007-2014) CV. Die Arbeit "Learning Concepts Described by Weight Aggregation Logic" von Steffen van Bergerem und Nicole Schweikardt wurde für CSL 2021 akzeptiert. Jahrhunderts herausgebildet hat. Gruppe 1 Tag Zeit Rhythmus Dauer Raum Raum-plan Lehrperson Status Bemerkung fällt aus am Max. § 2 Beginn des Studiums Das Studium kann zum Wintersemester aufge- nommen werden. Ein Preprint ist bei arXiv erhältlich: Die Arbeit "Answering (Unions of) Conjunctive Queries using Random Access and Random-Order Enumeration" von Nofar Carmeli, Shai Zeevi, Christoph Berkholz, Benny Kimelfeld und Nicole Schweikardt wurde für PODS 2020 akzeptiert. Wir decken ein breites Spektrum von Themen aus dem Bereich Logik in der Informatik und angrenzenden Gebieten der Theoretischen Informatik, der mathematischen Logik und der Diskreten Mathematik ab. Um swi-prolog zu starten, loggen Sie sich in einen der Rechner ein, starten eine Befehlskonsole und geben swipl ein. 13/2015 ... (ZSP-HU) in der jeweils geltenden Fassung. Zur Zeit bin ich Mitglied im Nominierungsausschuss zum GI-Dissertationspreis (seit 2013) und im Editorial Board der Zeitschrift Acta Informatica (seit 2015), im Editorial Board der Reihe Perspectives in Logic der Association for Symbolic Logic (seit 2018), und im ACM SIGLOG Education Committee (seit 2014). Gruppe 1 Tag Zeit Rhythmus Dauer Raum Raum-plan Lehrperson Status Bemerkung fällt aus am Max. Monobachelor, Bachelor of Science (B.Sc.) Die Logik in der Informatik baut auf der mathematischen Logik auf, die sich etwa seit Ende des 19. Archiv vergangener Semester an der HU Berlin), Archiv vergangener Semester an der Goethe-Universität Frankfurt am Main (2007-2014), Logical Methods in Computer Science (LMCS), Fachbeirat des Max-Planck-Institut für Informatik in Saarbrücken, Council der International Conference on Database Theory, Wissenschaftlichen Direktorium von Schloss Dagstuhl, Deutschen Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG), IEEE Symposium on Logic in Computer Science (LICS), 4th Federated Logic Conference (FLoC 2006), 5th Federated Logic Conference (FLoC 2010), Highlights of Logic, Games and Automata (Highlights 2019), Highlights of Logic, Games and Automata (Highlights 2018), 33rd Annual IEEE Symposium on Logic in Computer Science (LICS'18), Alberto Mendelzon International Workshop on Foundations of Data Management 2016 (AMW'16), Informatik allgemeinbildend begreifen - 16. nat. am Fachbereich Mathematik und Informatik der Johannes Gutenberg-Universität Mainz (bei Prof. Dr. Diplom in Mathematik mit Nebenfach Informatik an der Johannes Gutenberg-Universität Mainz. Mitarbeiterseminar Logik in der Informatik Freitag, 2. Teilnehmer; Mo. Wichtige Themen der Logik in der Informatik sind die Ausdrucksstärke formaler Sprachen und die Grenzen und Möglichkeiten des automatischen Schließens. Die Logik in der Informatik baut auf der mathematischen Logik auf, die sich etwa seit Ende des 19. Semester. Whether at your own university or at other universities. Anwendungen der Logik finden sich in so unterschiedlichen Bereichen der Informatik wie Rechnerarchitektur, Softwaretechnik, Programmiersprachen, Datenbanken, künstliche Intelligenz, Komplexitäts- und Berechenbarkeitstheorie. Create your own flashcards e.g. In den letzten 30 Jahren hat … Ein Preprint ist bei arXiv erhältlich: Die Arbeit "A Purely Regular Approach to Non-Regular Core Spanners " von Markus Schmid und Nicole Schweikardt wurde für ICDT 2021 akzeptiert. Willkommen auf den Webseiten der Arbeitsgruppen "Theoretische Informatik" und "Logik und Komplexität"! Mi, 28.11.2007: Abschluss von Kapitel 3: Logik (Teil I) – Aussagenlogik (heute: ein Algorithmus zur effizienten Lösung des Erfüllbarkeitsproblems für DNF-Formeln). Die Vorlesung ist eine Einf hrung in die Logik und ihre Anwendungen in der Informatik. § 3 Ziele des Studiums (1) Das Bachelorstudium der Informatik vermittelt Studierenden die erforderlichen Kenntnisse und … Logik spielt eine grundlegende Rolle in vielen verschiedenen Bereichen der Informatik, etwa dem Schaltkreisentwurf, dem Software-Engineering, der künstlichen Intelligenz, der Datenbanken und der theoretischen Informatik. Pandemiebedingt findet die Veranstaltung in diesem Semester in rein digitaler Form statt. Die Arbeit "Conjunctive Regular Path Queries with String Variables" von Markus Schmid wurde für PODS 2020 akzeptiert. Logik in der Informatik - Detailseite Funktionen: Online Belegung noch nicht möglich oder bereits abgeschlossen Seiteninhalt: Grunddaten; Termine; Studiengänge; Einrichtungen; Inhalt; Strukturbaum; Grunddaten; Veranstaltungsart: Übung: Veranstaltungsnummer: 3313010: Semester: WiSe 2016/17: SWS: 2: Rhythmus: Moodle-Link Veranstaltungsstatus: Freigegeben … Agrar- und Gartenbauwissenschaften. 13/2015 ... (ZSP-HU) in der jeweils geltenden Fassung. Jahrhunderts herausgebildet hat. Nicole Schweikardt HU Berlin Vorlesung Logik in der Informatik Concepts and methods of logic occupy a central place in computer science, insomuch that logic has been called \the calculus of computer science".