Du befindest dich hier: FSI Informatik » 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 im Informatik-Studium oder einem verwandten Studiengang mit einer speziellen Sprache arbeiten möchte.

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++

  • Systemprogrammierung 1+2
  • Systemnahe Programmierung in C
  • 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

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
  • Übersetzerbau 1-3
  • Parallele Algorithmen
  • Geometrische Modellierung

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)