Du befindest dich hier: FSI Informatik » Studieninteressierte » Formale Sprachen im Informatik-Studium
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Beide Seiten, vorherige ÜberarbeitungVorherige ÜberarbeitungNächste Überarbeitung | Vorherige ÜberarbeitungNächste ÜberarbeitungBeide Seiten, nächste Überarbeitung | ||
studieninteressierte:formale_sprachen [24.08.2014 18:41] – Chayyam | studieninteressierte:formale_sprachen [25.08.2014 16:03] – LV-Listen sortiert *Ralf | ||
---|---|---|---|
Zeile 7: | Zeile 7: | ||
==== Assembler ==== | ==== Assembler ==== | ||
+ | * **Computational Engineering 1** | ||
+ | * Elektronikpraktikum für Physiker | ||
* **Grundlagen der Rechnerarchitektur und –organisation** | * **Grundlagen der Rechnerarchitektur und –organisation** | ||
- | * Elektronikpraktikum für Physiker | + | * Hackerpraktikum |
- | * **Computational Engineering 1** | + | |
* Übersetzerbau 1-3 | * Übersetzerbau 1-3 | ||
* Virtuelle Maschinen | * Virtuelle Maschinen | ||
- | * Hackerpraktikum | + | |
==== C / C++ ==== | ==== C / C++ ==== | ||
- | * **(Grundlagen der) Systemprogrammierung 1+2** | ||
- | * **(Grundlagen der) Systemnahe(n) Programmierung in C** | ||
- | * Advanced Programming Techniques | ||
* Advanced C++ Programming (Seminar) | * Advanced C++ Programming (Seminar) | ||
- | * Implementierung von Datenbanksystemen | + | * **Advanced Programming Techniques** |
+ | * Algorithmik kontinuierlicher Systeme | ||
* Betriebssysteme | * Betriebssysteme | ||
* Betriebssystemtechnik | * Betriebssystemtechnik | ||
- | * Computer Architecture for Medical Applications | ||
- | * **Algorithmik kontinuierlicher Systeme** | ||
- | * Simulation und Wissenschaftliches Rechnen 1+2 | ||
- | * Numerical Simulation of Fluids | ||
- | * Computerphysik 1+2 | ||
* **C++ for numerical projects in optics** | * **C++ for numerical projects in optics** | ||
* C++ for CE | * C++ for CE | ||
- | * Rechnerarchitektur | + | * Computer Architecture for Medical Applications |
- | * Virtuelle Maschinen | + | |
- | * Konfigurierbare Systemsoftware | + | |
- | * Verlässliche Echtzeitsysteme | + | |
* Computer Vision | * Computer Vision | ||
- | * Computergraphik | ||
* Computational Optics | * Computational Optics | ||
+ | * Computergraphik | ||
+ | * Computerphysik 1+2 | ||
+ | * Echtzeitsysteme | ||
* High End Simulation in Practice | * High End Simulation in Practice | ||
- | * Echtzeitsysteme | + | * Implementierung von Datenbanksystemen |
- | * Betriebssysteme | + | * Konfigurierbare Systemsoftware |
+ | * Numerical Simulation of Fluids | ||
+ | * Rechnerarchitektur | ||
+ | * Simulation und Wissenschaftliches Rechnen 1+2 | ||
+ | * **(Grundlagen der) Systemprogrammierung 1+2** | ||
+ | * **(Grundlagen der) Systemnahe(n) Programmierung in C** | ||
+ | * Verlässliche Echtzeitsysteme | ||
+ | * Virtuelle Maschinen | ||
==== Dafny ==== | ==== Dafny ==== | ||
Zeile 52: | Zeile 51: | ||
==== Java ==== | ==== Java ==== | ||
* **Algorithmen und Datenstrukturen** (sequentiell) | * **Algorithmen und Datenstrukturen** (sequentiell) | ||
- | * Parallele und funktionale Programmierung (parallel) | + | * Android-Apps für Sensor-Netzwerke |
+ | * Geometrische Modellierung | ||
* **Grundlagen der Informatik** | * **Grundlagen der Informatik** | ||
- | * Rechnerkommunikation | ||
- | * Verteilte Systeme | ||
* Middleware - Cloud Computing | * Middleware - Cloud Computing | ||
- | * Übersetzerbau 1-3 | ||
* Parallele Algorithmen | * Parallele Algorithmen | ||
- | * Geometrische Modellierung | + | * Parallele und funktionale Programmierung (parallel) |
- | * Android-Apps für Sensor-Netzwerke | + | * Rechnerkommunikation |
+ | * Übersetzerbau 1-3 | ||
+ | * Verteilte Systeme | ||
==== LabView ==== | ==== LabView ==== | ||
* Elektronikpraktikum für Physiker | * Elektronikpraktikum für Physiker | ||
+ | |||
==== MATLAB==== | ==== MATLAB==== | ||
- | * **Medizintechnik I** (früher NF Medizin, nicht mehr anrechenbar) | + | * **Biomedizinische Signalanalyse** |
* Diagnostic Medical Image Processing | * Diagnostic Medical Image Processing | ||
+ | * Image processing in optical nanoscopy | ||
* Interventional Medical Image Processing | * Interventional Medical Image Processing | ||
- | * (Introduction to) Pattern Recognition | + | |
* Pattern Analysis | * Pattern Analysis | ||
- | * **Biomedizinische Signalanalyse** | + | * (Introduction to) Pattern Recognition |
* Wavelet-Transformationen in der Bildverarbeitung | * Wavelet-Transformationen in der Bildverarbeitung | ||
- | * Image processing in optical nanoscopy | + | |
==== OpenGL ==== | ==== OpenGL ==== | ||
* Computergraphik | * Computergraphik | ||
- | * Mobile Computergraphik | ||
* Interaktive Computergraphik | * Interaktive Computergraphik | ||
+ | * Mobile Computergraphik | ||
+ | |||
==== Python ==== | ==== Python ==== | ||
- | | + | * Applied Visualization |
* Hackerpraktikum | * Hackerpraktikum | ||
* Introduction to Parallel Mesh Refinement Techniques for the Solution of Partial Differential Equations | * Introduction to Parallel Mesh Refinement Techniques for the Solution of Partial Differential Equations | ||
+ | |||
==== Scala==== | ==== Scala==== | ||
* **Parallele und funktionale Programmierung** | * **Parallele und funktionale Programmierung** | ||
+ | |||
==== SQL==== | ==== SQL==== | ||
- | * **Konzeptionelle Modellierung** | ||
* Implementierung von Datenbanksystemen | * Implementierung von Datenbanksystemen | ||
+ | * **Konzeptionelle Modellierung** | ||
* Logische Grundlagen der Datenbanktheorie | * Logische Grundlagen der Datenbanktheorie | ||
+ | |||
==== UML==== | ==== UML==== | ||
* Algorithmen und Datenstrukturen | * Algorithmen und Datenstrukturen | ||
- | * **Konzeptionelle Modellierung** | ||
- | * Softwareentwicklung in Großprojekten | ||
- | * Grundlagen der Technischen Informatik | ||
* Grundlagen des Software Engineering | * Grundlagen des Software Engineering | ||
+ | * Grundlagen der Technischen Informatik | ||
+ | * **Konzeptionelle Modellierung** | ||
* Software Design | * Software Design | ||
+ | * Softwareentwicklung in Großprojekten | ||
+ | |||
==== VHDL==== | ==== VHDL==== | ||
- | * **Grundlagen der Technischen Informatik** | ||
* CPU-Design | * CPU-Design | ||
+ | * ** Digitaler Schaltungsentwurf mit VHDL** | ||
* FPGA-Online Basic Course with VHDL | * FPGA-Online Basic Course with VHDL | ||
- | * Digitaler Schaltungsentwurf mit VHDL | + | * **Grundlagen der Technischen Informatik** |
* Reconfigurable Computing | * Reconfigurable Computing | ||
+ | |||
==== XML / DTD / XQuery / XPath==== | ==== XML / DTD / XQuery / XPath==== | ||
- | * **Konzeptionelle Modellierung** | ||
* Implementierung von Datenbanksystemen | * Implementierung von Datenbanksystemen | ||
+ | * **Konzeptionelle Modellierung** | ||
* Logische Grundlagen der Datenbanktheorie | * Logische Grundlagen der Datenbanktheorie | ||
===== Programmieren an sich ===== | ===== Programmieren an sich ===== | ||
- | * **Systemprogrammierung 1+2** | + | * Advanced Programming Techniques |
* **Algorithmen und Datenstrukturen** | * **Algorithmen und Datenstrukturen** | ||
- | * Parallele und funktionale Programmierung | ||
- | * Principles of Programming Languages | ||
* Geschichte der Programmiersprachen | * Geschichte der Programmiersprachen | ||
- | * Advanced Programming Techniques | ||
* IT-Modernisierung | * IT-Modernisierung | ||
+ | * Parallele und funktionale Programmierung | ||
* Praktische Semantik von Programmiersprachen (Coq) | * Praktische Semantik von Programmiersprachen (Coq) | ||
+ | * Principles of Programming Languages | ||
+ | * **Systemprogrammierung 1+2** | ||