Informatik

Funktionale und objektorientierte Programmierkonzepte (FOP)

Essentielle Kompetenzen in wissenschaftlich basierter, problemorientierter Entwicklung von Softwaresystemen. Vermittlung grundlegender Begriffe der Informatik, sowie Entwicklung einfacher Programmierfähigkeiten. Verstehen der Bedeutung von Abstraktion und Modellierung in der Informatik. Themenschwerpunkte sind: – Grundlegende Programmierkonzepte – Grundlagen der funktionalen Programmierung – Grundlagen der objektorientierten Programmierung – Entwurf einfacher Softwaresysteme – Einfache Typsysteme – Rekursion – Einfache Ein-/Ausgabe […]

Funktionale und objektorientierte Programmierkonzepte (FOP) Read More »

Funktionale und objektorientierte Programmierkonzepte (FOP): Recap

Tutorium zur Vorlesung Funktionale und objektorientierte Programmierkonzepte (FOP)(Wiederholung und Live-Coding im Plenum) Das Lernmaterial “Funktionale und objektorientierte Programmierkonzepte (FOP): Recap” von Prof. Dr. Karsten Weihe unterliegt folgender Creative Commons Lizenz: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International license. Lehrende: Prof. Dr. Karsten Weihe

Funktionale und objektorientierte Programmierkonzepte (FOP): Recap Read More »

Funktionale und objektorientierte Programmierkonzepte

Lehrinhalte:Essentielle Kompetenzen in wissenschaftlich basierter, problemorientierter Entwicklung von Softwaresystemen. Vermittlung grundlegender Begriffe der Informatik, sowie Entwicklung einfacher Programmierfähigkeiten. Verstehen der Bedeutung von Abstraktion und Modellierung in der Informatik. Literatur:- How to Design Programs M. Felleisen et al. The MIT Press Cambridge – Structure and Interpretation of Computer Programs H. Abelson et al. Springer – Thinking

Funktionale und objektorientierte Programmierkonzepte Read More »

Spaceflight Mechanics

Spaceflight Mechanics is a 6 CP lecture on the basics of astrodynamics. You will learn about the two body problem, orbital perturbations, orbital manoeuvres, and applications. Das Lernmaterial “Spaceflight Mechanics 278” von Dr. rer. nat. Markus Landgraf unterliegt folgender Creative Commons Lizenz: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International license. Lehrende: Dr. rer. nat. Markus Landgraf

Spaceflight Mechanics Read More »

Post-Quantum Cryptography

Die Vorlesung „Post-Quantum Cryptography“ beschäftigt sich mit der Sicherheit heutiger kryptographischer Systeme unter Berücksichtigung der Fähigkeiten von Quantencomputern. Dabei werden neben den Fähigkeiten und Grenzen von Quantencomputern verschiedene kryptographische Verfahren aus den Bereichen Hash-, Gitter- und Code-basierte Kryptographie, als auch dem Feld der multivariaten Kryptographie vorgestellt. Weitere Lernziele sind inbesondere die Kenntnis über Techniken der

Post-Quantum Cryptography Read More »

Introduction Computer Science I

The lecture presents important basic principles of computer science, including concepts of programming languages, elementary algorithms, types of abstract data, simple data structures (stacks, lists, trees), recursion, and algorithm efficiency analysis. Students will be encouraged to think in formal systems and to accept the necessity of abstraction and the importance of appropriate model formations in

Introduction Computer Science I Read More »

Einführung in Net Centric Systems

Vertiefte, umfassende, vernetzte, alle relevanten Aspekte umfassende Schwerpunktkompetenz (Theorie und Praxis) in einem grundlegenden Aspekt der modernen Informatik: * Überblickswissen über relevante Gebiete und wesentliche Fragestellungen des Net-Centric Computing (NCC), * Reproduzierbares Verständnis ausgewählter, zentraler Algorithmen, Protokolle und Verfahren (z.B. DCT-basierte Kompression), * Anwendbares Methodenwissen zu weit verbreiteten Bestandteilen des „Engineering“ von NCC-Systemen. NCC wird

Einführung in Net Centric Systems Read More »

Effiziente Graphenalgorithmen

Auf Basis analytischer Sachverhalte entwickeln wir algorithmische Ideen für Verfahren auf Graphen. Daraus entstehen zunächst generische Verfahren, welche formal bezüglich ihrer Korrektheit und Laufzeit analysiert werden. Im Anschluss daran werden in jedem Kapitel Techniken zur Verbesserung und Beschleunigung vorgestellt. Abgerundet wird der Stoffplan durch zahlreiche Modellierungs- und Anwendungsbeispiele und der (optionalen) Implementierung eines Benchmarks verschiedener

Effiziente Graphenalgorithmen Read More »

Optimierungsalgorithmen

Auf Basis analytischer Sachverhalte entwickeln wir algorithmische Ideen für Verfahren auf Graphen. Daraus entstehen zunächst generische Verfahren, welche formal bezüglich ihrer Korrektheit und Laufzeit analysiert werden. Im Anschluss daran werden in jedem Kapitel Techniken zur Verbesserung und Beschleunigung vorgestellt. Abgerundet wird der Stoffplan durch zahlreiche Modellierungs- und Anwendungsbeispiele und der (optionalen) Implementierung eines Benchmarks verschiedener

Optimierungsalgorithmen Read More »

Lehrfilme im Rahmen des Mentorensystems der Informatik (Version 1)

Lehrfilme im Rahmen des Mentorensystems der Informatik (Version 1) Das Lernmaterial “Lehrfilme im Rahmen des Mentorensystems der Informatik (Version 1) 56” von Dipl.-Psych. Sabine General unterliegt folgender Creative Commons Lizenz: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International license. Lehrende: Dipl.-Psych. Sabine General

Lehrfilme im Rahmen des Mentorensystems der Informatik (Version 1) Read More »

Nach oben scrollen