Du befindest dich hier: FSI Informatik » Studieninteressierte » Formale Sprachen im Informatik-Studium (Übersicht)
Dies ist eine alte Version des Dokuments!
Inhaltsverzeichnis
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 all diese Fächer im Informatikstudium anerkannt werden. Bei Fragen zu Anerkennungen in Ihrem Studienfach wenden Sie sich 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
- Grundlagen der Rechnerarchitektur und –organisation
- Elektronikpraktikum für Physiker
- Computational Engineering 1
- Übersetzerbau 1-3
- Virtuelle Maschinen
- Hackerpraktikum
C / C++
- (Grundlagen der) Systemprogrammierung 1+2
- (Grundlagen der) Systemnahe(n) Programmierung in C
- Advanced Programming Techniques
- Advanced C++ Programming (Seminar)
- Implementierung von Datenbanksystemen
- Betriebssysteme
- 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 CE
- Rechnerarchitektur
- Virtuelle Maschinen
- Konfigurierbare Systemsoftware
- Verlässliche Echtzeitsysteme
- Computer Vision
- Computergraphik
- Computational Optics
- High End Simulation in Practice
- Echtzeitsysteme
- Betriebssysteme
Dafny
- Formale Methoden der Softwareentwicklung
Haskell
- Funktionale Programmierung in Haskell
- Grundlagen der Logik in der Informatik
- Ontologien im Semantic Web
- Theorie der Programmierung
HTML / CSS
- Informatik für Nebenfach-Studierende
- Webmasterkurs (RRZE)
Java
- Algorithmen und Datenstrukturen (sequentiell)
- Parallele und funktionale Programmierung (parallel)
- Grundlagen der Informatik
- Rechnerkommunikation
- Verteilte Systeme
- Middleware - Cloud Computing
- Übersetzerbau 1-3
- Parallele Algorithmen
- Geometrische Modellierung
- Android-Apps für Sensor-Netzwerke
LabView
- Elektronikpraktikum für Physiker
MATLAB
- Medizintechnik I (früher NF Medizin, nicht mehr anrechenbar)
- Diagnostic Medical Image Processing
- Interventional Medical Image Processing
- (Introduction to) Pattern Recognition
- Pattern Analysis
- Biomedizinische Signalanalyse
- Wavelet-Transformationen in der Bildverarbeitung
- Image processing in optical nanoscopy
OpenGL
- Computergraphik
- Mobile Computergraphik
- Interaktive Computergraphik
Python
- Applied Visualization
- Hackerpraktikum
- Introduction to Parallel Mesh Refinement Techniques for the Solution of Partial Differential Equations
Scala
- Parallele und funktionale Programmierung
SQL
- Konzeptionelle Modellierung
- Implementierung von Datenbanksystemen
- Logische Grundlagen der Datenbanktheorie
UML
- Algorithmen und Datenstrukturen
- Konzeptionelle Modellierung
- Softwareentwicklung in Großprojekten
- Grundlagen der Technischen Informatik
- Grundlagen des Software Engineering
- Software Design
VHDL
- Grundlagen der Technischen Informatik
- CPU-Design
- FPGA-Online Basic Course with VHDL
- Digitaler Schaltungsentwurf mit VHDL
- Reconfigurable Computing
XML / DTD / XQuery / XPath
- Konzeptionelle Modellierung
- Implementierung von Datenbanksystemen
- Logische Grundlagen der Datenbanktheorie
Programmieren an sich
- Systemprogrammierung 1+2
- Algorithmen und Datenstrukturen
- Parallele und funktionale Programmierung
- Principles of Programming Languages
- Geschichte der Programmiersprachen
- Advanced Programming Techniques
- IT-Modernisierung
- Praktische Semantik von Programmiersprachen (Coq)