====== Formale Sprachen im Informatik-Studium ======
Im Studium der Informatik an der Universität Erlangen-Nürnberg lernt man die ein oder andere formale Sprache kennen. Der Zweck des Studiums ist zwar nicht, möglichst viele formale Sprachen zu lernen, aber diese Werkzeuge werden gerade bei Bewerbungen und Vorstellungsgesprächen gerne abgefragt.

Diese Übersicht dient der Orientierung, falls man in einem Studium an der Uni Erlangen mit einer speziellen Sprache arbeiten möchte. Insbesondere richtet sich diese Übersicht an Informatikstudierende, allerdings können nicht alle unten genannten Veranstaltungen im Informatikstudium anerkannt werden. Bei Fragen zu Anerkennungen in deinem Studienfach wende dich bitte an die modulverantwortlichen Dozenten und an die Studienberater.

**Fett** markierte Lehrveranstaltungen bieten eine umfassende Einführung in die jeweilige Sprache, durch die man diese grundlegend erlernen kann.

==== Assembler ====
  * **Computational Engineering 1**
  * Elektronikpraktikum für Physiker
  * **Grundlagen der Rechnerarchitektur und –organisation**
  * Hackerpraktikum
  * Übersetzerbau 1-3
  * Virtuelle Maschinen

==== C / C++ ====
  * Advanced C++ Programming (Seminar)
  * **Advanced Programming Techniques**
  * Betriebssysteme
  * Betriebssystemtechnik
  * **C++ for numerical projects in optics**
  * C++ for CE
  * Computer Architecture for Medical Applications
  * Computer Vision
  * Computational Optics
  * Computergraphik
  * Computerphysik 1+2
  * 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 ====
  * Formale Methoden der Softwareentwicklung
==== Haskell ====
  * Funktionale Programmierung in Haskell
  * Grundlagen der Logik in der Informatik
  * Monad-Based Programming (MoBBing)
  * Ontologien im Semantic Web
  * Theorie der Programmierung
==== HTML / CSS ====
  * Informatik für Nebenfach-Studierende
  * **Webmasterkurs** (RRZE)
==== Java ==== 
  * **Algorithmen und Datenstrukturen** (sequentiell)
  * Android-Apps für Sensor-Netzwerke
  * Geometrische Modellierung
  * **Grundlagen der Informatik**
  * Middleware - Cloud Computing
  * Parallele Algorithmen
  * Parallele und funktionale Programmierung (parallel)
  * Rechnerkommunikation
  * Übersetzerbau 1-3
  * Verteilte Systeme

==== LabView ====
  * Elektronikpraktikum für Physiker

====  MATLAB==== 
  * **Biomedizinische Signalanalyse**
  * Diagnostic Medical Image Processing
  * Image processing in optical nanoscopy
  * Interventional Medical Image Processing
  * **Medizintechnik I** (früher NF Medizin, nicht mehr anrechenbar)
  * Pattern Analysis
  * (Introduction to) Pattern Recognition
  * Wavelet-Transformationen in der Bildverarbeitung

==== OpenGL ====
  * Computergraphik
  * Interaktive Computergraphik
  * Mobile Computergraphik

==== Python ====
  * **Algorithmik kontinuierlicher Systeme**
  * Applied Visualization
  * Hackerpraktikum
  * Introduction to Parallel Mesh Refinement Techniques for the Solution of Partial Differential Equations

==== Scala==== 
  * **Parallele und funktionale Programmierung**

==== SQL==== 
  * Implementierung von Datenbanksystemen
  * **Konzeptionelle Modellierung**
  * Logische Grundlagen der Datenbanktheorie

==== UML==== 
  * Algorithmen und Datenstrukturen
  * Grundlagen des Software Engineering
  * Grundlagen der Technischen Informatik
  * **Konzeptionelle Modellierung**
  * Software Design
  * Softwareentwicklung in Großprojekten

==== VHDL==== 
  * CPU-Design
  * ** Digitaler Schaltungsentwurf mit VHDL**
  * FPGA-Online Basic Course with VHDL
  * **Grundlagen der Technischen Informatik**
  * Reconfigurable Computing

==== XML / DTD / XQuery / XPath==== 
  * Implementierung von Datenbanksystemen
  * **Konzeptionelle Modellierung**
  * Logische Grundlagen der Datenbanktheorie
  * Multimedia-Technik (MMT)

===== Programmieren an sich =====
  * Advanced Programming Techniques
  * **Algorithmen und Datenstrukturen**
  * Geschichte der Programmiersprachen
  * IT-Modernisierung
  * Parallele und funktionale Programmierung
  * Praktische Semantik von Programmiersprachen (Coq) 
  * Principles of Programming Languages
  * **Systemprogrammierung 1+2**