Du befindest dich hier: FSI Informatik » Studieninteressierte » Formale Sprachen im Informatik-Studium

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung
Nächste ÜberarbeitungBeide Seiten, nächste Überarbeitung
studieninteressierte:formale_sprachen [25.08.2014 12:05] hromstudieninteressierte: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** +  * Advanced C++ Programming (Seminar)
-  * **(Grundlagen derSystemnahe(n) Programmierung in C**+
   * **Advanced Programming Techniques**   * **Advanced Programming Techniques**
-  * Advanced C++ Programming (Seminar) +  * Algorithmik kontinuierlicher Systeme
-  * Implementierung von Datenbanksystemen+
   * Betriebssysteme   * Betriebssysteme
   * Betriebssystemtechnik   * Betriebssystemtechnik
-  * Konfigurierbare Systemsoftware 
-  * 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 +
-  * Verlässliche Echtzeitsysteme+
   * Computer Vision   * Computer Vision
-  * Computergraphik 
   * Computational Optics   * Computational Optics
-  * High End Simulation in Practice+  * Computergraphik 
 +  * Computerphysik 1+2
   * Echtzeitsysteme   * Echtzeitsysteme
 +  * High End Simulation in Practice
 +  * Implementierung von Datenbanksystemen
 +  * 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 50: 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-
 +  * 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 toPattern Recognition+  * **Medizintechnik I** (früher NF Medizin, nicht mehr anrechenbar)
   * 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   * 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** 
-  * ** Digitaler Schaltungsentwurf mit VHDL** 
   * CPU-Design   * CPU-Design
 +  * ** Digitaler Schaltungsentwurf mit VHDL**
   * FPGA-Online Basic Course with VHDL   * FPGA-Online Basic Course with 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**