Alle Lernmaterialien für deinen Studiengang Master of Science Informatik

Egal, ob Zusammenfassung, Altklausur, Karteikarten oder Mitschriften - hier findest du alles für den Studiengang Master of Science Informatik

Universität Erlangen-Nürnberg

Master of Science Informatik

Die beliebtesten Lernunterlagen deiner Kommilitonen

Jetzt hochladen
Advanced Mechanized Reasoning in Coq - Cheatsheet
Advanced Mechanized Reasoning in Coq - Cheatsheet Gallina: Grundlagen und Syntax Definition: Gallina ist die eingebaute funktionale Programmiersprache von Coq zur formalen Spezifikation und Verifikation mathematischer Theorien und Software. Sie verwendet eine stark typisierte, funktionale Syntax. Details: Funktionen werden mit Schlüsselwort fun definiert: fun x : T => e Lokale Definitionen mit let...

Advanced Mechanized Reasoning in Coq - Cheatsheet

Zugreifen
Advanced Mechanized Reasoning in Coq - Exam
Advanced Mechanized Reasoning in Coq - Exam Aufgabe 1) Kontext: In diesem Übungsblatt wirst Du verschiedene Aspekte von Gallina verwenden, um funktionale Programme zu schreiben und mathematische Theoreme zu beweisen. Du wirst Funktionen definieren, lokale Definitionen verwenden, induktive Typen erstellen und Pattern-Matching anwenden. a) Definiere die Funktion add in Gallina, die zwei natürliche Z...

Advanced Mechanized Reasoning in Coq - Exam

Zugreifen

Vertiefung des Studiengangs

Warum sollten Sie dieses Studium absolvieren?

Die Informatik an der Universität Erlangen-Nürnberg bietet eine ingenieurwissenschaftlich geprägte Ausbildung mit einem breiten Fächerspektrum und großer Wahlfreiheit. Du erwirbst tiefgehende Kenntnisse in Softwareentwicklung, IT-Sicherheit und vielen anderen Bereichen. Die moderne und vernetzte Umgebung der Technischen Fakultät schafft optimale Lernbedingungen.

Was kann man mit diesem Abschluss nach der Uni machen?

Als Absolvent der Informatik stehen Dir vielfältige Karrieremöglichkeiten in der Industrie offen, sei es in der Softwareentwicklung, IT-Sicherheit oder Medizintechnik. Auch eine akademische Laufbahn in Forschung und Lehre ist möglich. Darüber hinaus bieten sich Karrierechancen in der IT-Beratung, Datenanalyse und vielen anderen Bereichen.

Wichtige Informationen

  • Akkreditierter Bachelorstudiengang
  • Regelstudienzeit von 6 Semestern
  • Einstieg im Wintersemester
  • Vielfältige internationale Studienmöglichkeiten und Auslandssemester

Solltest du diesen Studiengang studieren?

Interessierst Du Dich für das Programmieren von Software und Anwendungen?

Hast Du Spaß daran, komplexe Probleme zu analysieren und zu lösen?

Bist Du bereit, Dich mit Mathematik und logischem Denken auseinanderzusetzen?

Kannst Du Dir vorstellen, regelmäßig mit Computern und IT-Systemen zu arbeiten?

Arbeitest Du gerne im Team und bist Du kommunikativ?

Findest Du es spannend, immer wieder neue Technologien und Trends im IT-Bereich zu erlernen?

Hast Du Freude daran, theoretische Konzepte auf praktische Projekte anzuwenden?

Bist Du motiviert, kontinuierlich zu lernen und Dich weiterzubilden?

Weiter

4.5

Bewertungen von Master of Science Informatik

  • 4.0

    Das Informatik-Studium an der Universität Erlangen-Nürnberg hat mir insgesamt gut gefallen, besonders der starke Praxisbezug in den Kursen war ein großes Plus. In vielen Projekten konnte ich das Gelernte direkt anwenden und habe so wertvolle praktische Erfahrungen gesammelt. Die Profs sind meist super engagiert und wissen, wie sie den Stoff interessant rüberbringen. Ein Punkt, der mir weniger gefallen hat, war die Organisation mancher Veranstaltungen, die etwas chaotisch war. Dafür sind die Karrierechancen nach dem Abschluss echt top – viele meiner Kommilitonen haben direkt coole Jobs in der Branche gefunden!

    Jason M.

    Jason M.

  • 5.0

    Das Informatik-Studium an der Universität Erlangen-Nürnberg war der Hammer! Der Campus ist genial – super modern und bietet jede Menge Orte zum Lernen und Chillen. Die Zulassungsvoraussetzungen waren fair und gut zu schaffen, was echt entspannt war. Die Profs sind mega drauf und bringen den Stoff super rüber. Ich kann das Studium echt nur empfehlen, Top-Erfahrung!

    Donald Q.

    Donald Q.

  • 5.0

    Das Informatik-Studium an der Universität Erlangen-Nürnberg war genial! Die Zulassungsvoraussetzungen sind gut machbar und nicht übertrieben schwer, was schon mal einen super Einstieg bietet. Der Campus ist einfach klasse – modern, weitläufig und mit vielen chilligen Ecken zum Treffen und Lernen. Die Profs sind extrem engagiert und machen den Unterricht echt spannend und praxisnah. Insgesamt eine top Erfahrung, die ich echt nur jedem empfehlen kann!

    Melanie J.

    Melanie J.

  • 4.0

    Insgesamt war mein Informatik-Studium an der Universität Erlangen-Nürnberg echt klasse. Die vielfältigen Forschungsmöglichkeiten, die dort angeboten werden, sind mega spannend und bieten viel Platz für Innovationen. Ein weiteres Highlight ist definitiv der Standort – Erlangen ist eine super Stadt für Studierende mit vielen Freizeitmöglichkeiten. Ein kleiner Minuspunkt war manchmal die Bürokratie rund um Prüfungsanmeldungen, das könnte echt besser organisiert sein. Trotzdem kann ich das Studium nur empfehlen, eine tolle Erfahrung insgesamt!

    Margaret V.

    Margaret V.

Finde dein Modul innerhalb Master of Science Informatik

Praktikum: Numerische Methoden der Halbleiterbauelemente Kurs ansehen
Praktikum Photonik/Lasertechnik 1 Kurs ansehen
Praktikum Schaltungstechnik Kurs ansehen
Praktische Semantik von Programmiersprachen Kurs ansehen
Praktische Softwaretechnik Kurs ansehen
Produktionssystematik Kurs ansehen
Produktionstechnik I und II Kurs ansehen
Programmiertechniken für Supercomputer Kurs ansehen
Programmierung und Architekturen von ClusterRechnern Kurs ansehen
Project Deep Learning in Multimedia Forensics Kurs ansehen

Lerne jederzeit. Lerne überall. Auf allen Geräten.

Kostenfrei loslegen