Sie befinden sich hier: Termine » Studieninteressierte » Formale Sprachen im Informatik-Studium   (Übersicht)

Dies ist eine alte Version des Dokuments!


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
  • 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 CE
  • Rechnerarchitektur
  • Virtuelle Maschinen
  • Verlässliche Echtzeitsysteme
  • Computer Vision
  • Computergraphik
  • Computational Optics
  • High End Simulation in Practice
  • Echtzeitsysteme

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)