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

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