Fakultät für Mathematik und Informatik

Course summary

Mathematik 1 für Studierende der Physik, Nanostrukturtechnik, Funktionswerkstoffe sowie Luft- und Raumfahrtinformatik

Course summary

Beschreiben Sie kurz und prägnant, worum es in diesem Kurs geht.

Course summary

Beschreiben Sie kurz und prägnant, worum es in diesem Kurs geht.

Course summary

Beschreiben Sie kurz und prägnant, worum es in diesem Kurs geht.

Course summary

Beschreiben Sie kurz und prägnant, worum es in diesem Kurs geht.

Course summary

Beschreiben Sie kurz und prägnant, worum es in diesem Kurs geht.

Course summary

Die Vorlesung *Datenbanken* vermittelt die Grundlagen relationaler Datenbanken und ihres Entwurfs. Ausgehend von der Datenmodellierung mit Hilfe graphischer Entity-Relationship-Diagramme werden theoretische Grundlagen und Algorithmen zur Ableitung funktionaler Abhängigkeiten und zur Normalisierung des Datenmodells eingeführt. Der praktische Schwerpunkt zielt auf die Vermittlung von Grundkenntnissen im Umfang mit der Datenbanksprache SQL. Hierbei werden die erzeugten Relationenstrukturen selbst in ein Datenbankschema umgesetzt und verschiedene Anfragen erstellt. Die Vorlesung bildet die Grundlage für weitergehende Lehrveranstaltungen wie *Advanced Databases (Datenbanken II)* und *Deduktive Datenbanken* sowie studentische Arbeiten im Bereich Datenbanken. Im Einzelnen werden folgende Themen behandelt: Relationenalgebra und komplexe SQL-Statements, Datenbankentwurf und Normalformen, funktionale Abhängikeiten, ER-Diagramme, Synchronisation und Transaktionsverwaltung.

Course summary

Die formale Logik ist für die Informatik von fundamentaler Bedeutung und besitzt zahlreiche Anwendungen in Theorie und Praxis. Sie ist Grundlage für die Theoretische Informatik (Berechenbarkeit, Komplexität, Beweise, ...) und Anwendungen u.a. in relationalen und deduktiven Datenbanken, in der Künstlichen Intelligenz und zur Verifikation komplexer Systeme. Die Lehrveranstaltung *Logik für Informatiker* vermittelt die wesentlichen Konzepte und Techniken der Aussagen- und Prädikatenlogik. Im Einzelnen werden folgende Themen behandelt: Syntax und Semantik der Aussagenlogik, Äquivalenzen und Normalformen, Hornformeln, SAT, Resolution, unendliche Formelmengen, Syntax und Semantik der Prädikatenlogik. Vorlesungsbegleitend wird die Programmiersprache DATALOG vorgestellt.

Course summary

Beschreiben Sie kurz und prägnant, worum es in diesem Kurs geht.

Course summary

### Inhalt Es werden fortgeschrittene Forschungsaspekte auf dem Gebiet der Datenbank- und Logischen Programmierung in praktischen Arbeiten umgesetzt und evaluiert. Die vorschlagenen Themen werden als Individualpraktikum eigenständig bearbeitet und durch Mitarbeiter betreut. Große Aufgabenstellungen können in einer Gruppenarbeit zu zweit umgesetzt werden. Eigene Themenvorschläge können bei den Mitarbeitern eingebracht werden. ### Themenvorschläge Die folgenden Themen werden angeboten. Eine Kurzbeschreibung jedes Themas findet sich im WueCampus-Kurs. - OpenRuleBench Revised - XPCE Compatibility for SWISH - Distributed Logic Programming on Raspberry Pi's - Alexa, talk Prolog to me! - XPath and XQuery in SWI-Prolog - Benchmarking CHR Systems - Remember your Faults - An Extension to Prolog's Tabling - Testing different Prolog Systems using JPGateway - Prolog Saved States for Process Duplication - Optimising Definite Clause Grammars - Prolog Interpreter for JavaScript - Interactive SLD Tree Exploration with Leaflet - Bisecting Debugger for SWI-Prolog ### Organisation Am 19. Oktober findet um 14:15 Uhr eine Einführungsveranstaltung in Übungsraum I statt, wo Form und Themen des Praktikum vorgestellt werden. Eine Themen-Vorabreservierung erfolgt nicht, da die Themenauswahl erst nach der Vorstellung sinnvoll ist. Das unbenotete Praktikum findet über einen Zeitraum von sechs Monaten statt und ist als Pflichtmodul im Master (10 ECTS, 6 SWS) zu absolvieren. Am Ende ist ein Bericht (5 bis 15 Seiten, Deutsch oder Englisch) anzufertigen, die Ergebnisse sollen in einem kurzen Vortrag präsentiert werden. Abhängig vom Thema ist eine Anrechnung im Schwerpunkt Intelligente Systeme, Internet Technologie, Algorithmik und Theorie, Software Engineering oder Human-Computer-Interaction möglich.

Course summary

Beschreiben Sie kurz und prägnant, worum es in diesem Kurs geht.

Course summary

Beschreiben Sie kurz und prägnant, worum es in diesem Kurs geht.

Course summary

Beschreiben Sie kurz und prägnant, worum es in diesem Kurs geht.

Course summary

Um Zugang zum Kurs zu erhalten, melden Sie sich bitte innerhalb der gesetzten Fristen (18.10.) auf SB@Home zu den Übungen zur Linearen Algebra 2 an. Achten Sie darauf, dass bei Ihrer Anmeldung "zugelassen" steht. Nach Ablauf der Anmeldefrist werden Sie dann automatisch in diesen Kurs eingeschrieben. Erste Vorlesung: Montag 16.10., 12:15 Uhr, Zuse-Hörsaal (Informatik) Beginn der Übungen: Montag/Dienstag 23.10./24.10. Erstes Übungsblatt: Freitag, 20.10., in der Vorlesung und dann auch unter https://www.mathematik.uni-wuerzburg.de/~barth/lehre.html.

Course summary

Anmeldung ab 30.06.2017 per Email an joakim.kistowski@uni-wuerzburg.de
bei der Anmeldung bitte Wunschthema mit angeben.

Endgültige Themenvergabe im Rahmen der Einführungsveranstaltung 18.10.2017 um 14:00 im Raum A109. Am Einführungstermin wird auch der Zeitslot für die Vorträge festgelegt. Weitere Informationen zum Ablauf sind in unseren Wiki verfügbar.

Themenliste:

• Power Consumption of CPU Events, Status: vergeben
• Comparison of Java Application Servers, Status: vergeben
  
• Full system power modeling, approaches and problems, Status: vergeben
• Inaccuracies and Problems of Performance Counter in Modern CPUs, Status: vergeben
  
• Comparison of Failure Prediction Methods, Status: vergeben
  
• Failure Prediction for Hard Disk Drives, Status: vergeben
  
• Challenges of modern Auto-Scalers: energy-, cost-awareness and beyond, Status: vergeben
  
• Internet of Things: Challenges and Opportunities for Enterprise Integration, Status: vergeben
  
• How to benchmark forecasting methods, Status: vergeben
  
• Bitcoin - Opportunities and Challenges, Status: vergeben
• Emerging Trends in Data Center Architectures, Status: vergeben
  
• Self-aware Traffic Engineering in Data Center Networks, Status: vergeben
  
• Recent Developments in Realtime Networking, Status: vergeben
  
• Containerization using Docker, Status: vergeben
  
• Predicting probability distributions using Machine Learning, Status: vergeben
  
• Universal Description, Discovery and Integration (UDDI), Status: vergeben
  
• Comparison of Network Based Intrusion Detection Systems, Status: vergeben
  
• DDoS and how to Fight it, Status: vergeben
  
• Oppurtunities and limitation of recent platforms, Status: vergeben
  
• Onion Security: Overview over common attack scenarios on the Tor network, Status: vergeben