Du befindest dich hier: FSI Informatik » Studieninteressierte » Formale Sprachen im Informatik-Studium   (Übersicht)

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Nächste Überarbeitung
Vorherige Überarbeitung
studieninteressierte:formale_sprachen [24.08.2014 12:37] – angelegt *Ralfstudieninteressierte:formale_sprachen [03.10.2018 11:10] (aktuell) Clubfan
Zeile 2: Zeile 2:
 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. 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.+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. **Fett** markierte Lehrveranstaltungen bieten eine umfassende Einführung in die jeweilige Sprache, durch die man diese grundlegend erlernen kann.
  
 ==== Assembler ==== ==== Assembler ====
 +  * **Computational Engineering 1**
 +  * Elektronikpraktikum für Physiker
   * **Grundlagen der Rechnerarchitektur und –organisation**   * **Grundlagen der Rechnerarchitektur und –organisation**
-  * Elektronikpraktikum für Physiker +  * Hackerpraktikum
-  * Computational Engineering 1+
   * Übersetzerbau 1-3   * Übersetzerbau 1-3
   * Virtuelle Maschinen   * Virtuelle Maschinen
-  * Hackerpraktikum+
 ==== C / C++ ==== ==== C / C++ ====
-  * **Systemprogrammierung 1+2** +  * Advanced C++ Programming (Seminar) 
-  * **Systemnahe Programmierung in C** +  * **Advanced Programming Techniques**
-  * Implementierung von Datenbanksystemen+
   * Betriebssysteme   * Betriebssysteme
   * Betriebssystemtechnik   * Betriebssystemtechnik
-  * Computer Architecture for Medical Applications +  * **C++ for numerical projects in optics**
-  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   * C++ for CE
-  * Rechnerarchitektur +  * Computer Architecture for Medical Applications
-  * Virtuelle Maschinen +
-  * Konfigurierbare Systemsoftware +
-  * Verlässliche Echtzeitsysteme+
   * Computer Vision   * Computer Vision
-  * Computergraphik 
   * Computational Optics   * Computational Optics
 +  * Computergraphik
 +  * Computerphysik 1+2
 +  * Echtzeitsysteme
   * High End Simulation in Practice   * 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 ==== ==== Dafny ====
   * Formale Methoden der Softwareentwicklung   * Formale Methoden der Softwareentwicklung
Zeile 39: Zeile 43:
   * Funktionale Programmierung in Haskell   * Funktionale Programmierung in Haskell
   * Grundlagen der Logik in der Informatik   * Grundlagen der Logik in der Informatik
 +  * Monad-Based Programming (MoBBing)
   * Ontologien im Semantic Web   * Ontologien im Semantic Web
   * Theorie der Programmierung   * Theorie der Programmierung
Zeile 46: Zeile 51:
 ==== Java ====  ==== Java ==== 
   * **Algorithmen und Datenstrukturen** (sequentiell)   * **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)   * Parallele und funktionale Programmierung (parallel)
-  * Grundlagen der Informatik 
   * Rechnerkommunikation   * Rechnerkommunikation
-  * Verteilte Systeme 
   * Übersetzerbau 1-3   * Übersetzerbau 1-3
-  * Parallele Algorithmen +  * Verteilte Systeme 
-  * Geometrische Modellierung+
 ==== LabView ==== ==== LabView ====
   * Elektronikpraktikum für Physiker   * Elektronikpraktikum für Physiker
 +
 ====  MATLAB====  ====  MATLAB==== 
-  * **Medizintechnik I** (früher NF Medizin, nicht mehr anrechenbar)+  * **Biomedizinische Signalanalyse**
   * Diagnostic Medical Image Processing   * Diagnostic Medical Image Processing
 +  * Image processing in optical nanoscopy
   * Interventional Medical Image Processing   * Interventional Medical Image Processing
-  * (Introduction toPattern Recognition+  * **Medizintechnik I** (früher NF Medizin, nicht mehr anrechenbar)
   * Pattern Analysis   * Pattern Analysis
-  * Biomedizinische Signalanalyse+  * (Introduction to) Pattern Recognition
   * Wavelet-Transformationen in der Bildverarbeitung   * Wavelet-Transformationen in der Bildverarbeitung
-  * Image processing in optical nanoscopy+
 ==== OpenGL ==== ==== OpenGL ====
   * Computergraphik   * Computergraphik
-  * Mobile Computergraphik 
   * Interaktive Computergraphik   * Interaktive Computergraphik
 +  * Mobile Computergraphik
 +
 ==== Python ==== ==== Python ====
 +  * **Algorithmik kontinuierlicher Systeme**
   * Applied Visualization   * Applied Visualization
   * Hackerpraktikum   * Hackerpraktikum
   * Introduction to Parallel Mesh Refinement Techniques for the Solution of Partial Differential Equations   * Introduction to Parallel Mesh Refinement Techniques for the Solution of Partial Differential Equations
 +
 ==== Scala====  ==== Scala==== 
-  * Parallele und funktionale Programmierung+  * **Parallele und funktionale Programmierung** 
 ==== SQL====  ==== SQL==== 
-  * Konzeptionelle Modellierung 
   * Implementierung von Datenbanksystemen   * Implementierung von Datenbanksystemen
 +  * **Konzeptionelle Modellierung**
   * Logische Grundlagen der Datenbanktheorie   * Logische Grundlagen der Datenbanktheorie
 +
 ==== UML====  ==== UML==== 
   * Algorithmen und Datenstrukturen   * Algorithmen und Datenstrukturen
-  * Konzeptionelle Modellierung 
-  * Softwareentwicklung in Großprojekten 
-  * Grundlagen der Technischen Informatik 
   * Grundlagen des Software Engineering   * Grundlagen des Software Engineering
 +  * Grundlagen der Technischen Informatik
 +  * **Konzeptionelle Modellierung**
   * Software Design   * Software Design
 +  * Softwareentwicklung in Großprojekten
 +
 ==== VHDL====  ==== VHDL==== 
-  * Grundlagen der technischen Informatik 
   * CPU-Design   * CPU-Design
 +  * ** Digitaler Schaltungsentwurf mit VHDL**
   * FPGA-Online Basic Course with VHDL   * FPGA-Online Basic Course with VHDL
-  * Digitaler Schaltungsentwurf mit VHDL+  * **Grundlagen der Technischen Informatik**
   * Reconfigurable Computing   * Reconfigurable Computing
 +
 ==== XML / DTD / XQuery / XPath====  ==== XML / DTD / XQuery / XPath==== 
-  * Konzeptionelle Modellierung 
   * Implementierung von Datenbanksystemen   * Implementierung von Datenbanksystemen
 +  * **Konzeptionelle Modellierung**
   * Logische Grundlagen der Datenbanktheorie   * Logische Grundlagen der Datenbanktheorie
 +  * Multimedia-Technik (MMT)
  
 ===== Programmieren an sich ===== ===== Programmieren an sich =====
-  * **Systemprogrammierung 1+2**+  * Advanced Programming Techniques
   * **Algorithmen und Datenstrukturen**   * **Algorithmen und Datenstrukturen**
-  * Parallele und funktionale Programmierung 
-  * Principles of Programming Languages 
   * Geschichte der Programmiersprachen   * Geschichte der Programmiersprachen
-  * Advanced Programming Techniques 
   * IT-Modernisierung   * IT-Modernisierung
 +  * Parallele und funktionale Programmierung
   * Praktische Semantik von Programmiersprachen (Coq)    * Praktische Semantik von Programmiersprachen (Coq) 
 +  * Principles of Programming Languages
 +  * **Systemprogrammierung 1+2**