Log out Zur App
Zur App

Lerninhalte finden

Features

Entdecke

Alle Lernmaterialien für deinen Studiengang Bachelor of Science Informatik

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

Kurse Lernmaterialien Zusammenfassungen Prüfung Bewertungen

Universität Erlangen-Nürnberg

Bachelor of Science Informatik

Kurse Lernmaterialien Zusammenfassungen Prüfung Bewertungen

Die beliebtesten Lernunterlagen deiner Kommilitonen

Jetzt hochladen
Advanced Mechanized Reasoning in Coq - Cheatsheet
Advanced Mechanized Reasoning in Coq - Cheatsheet Grundlagen der automatisierten Theorembeweiser Definition: Grundlagen der automatisierten Theorembeweiser sind die Basis für das automatisierte Beweisen von mathematischen Theoremen in der Logik und Informatik. Details: Automatisierte Theorembeweiser: Programme, die automatisch Beweise für logische Sätze finden. Drei Haupttypen: SAT-Solver, SMT-Sol...

Advanced Mechanized Reasoning in Coq - Cheatsheet

Zugreifen
Advanced Mechanized Reasoning in Coq - Exam
Advanced Mechanized Reasoning in Coq - Exam Aufgabe 1) Automatisierte Theorembeweiser sind spezialisierte Programme, die entwickelt wurden, um automatisch Beweise für logische Sätze zu finden. Es gibt verschiedene Typen solcher Beweiser und bedeutsame Algorithmen, die in ihnen verwendet werden. Deine Aufgabe ist es, die verschiedenen Aspekte automatisierter Theorembeweiser zu beleuchten und prakti...

Advanced Mechanized Reasoning in Coq - Exam

Zugreifen

Vertiefung des Studiengangs

Warum sollten Sie dieses Studium absolvieren?

Ein Studium der Informatik an der Universität Erlangen-Nürnberg bietet Dir eine fundierte und zukunftsorientierte Ausbildung in einem der dynamischsten und spannendsten Fachgebiete unserer Zeit. Du wirst umfassendes Wissen in Bereichen wie Programmierung, IT-Sicherheit und Logik in der Informatik erwerben. Ab Wintersemester 2024/25 hast Du zudem die Möglichkeit, das Studium in Teilzeit zu absolvieren und so flexibel Deinen individuellen Bedürfnissen anzupassen.

Was kann man mit diesem Abschluss nach der Uni machen?

Mit einem Abschluss in Informatik stehen Dir zahlreiche Karrieremöglichkeiten offen, darunter in der Softwareentwicklung, im IT-Consulting, in der Datenanalyse und in der Forschung. Es gibt zudem spezielle Angebote zur Unterstützung von Start-ups und zur Entwicklung von Innovationen durch Partnerschaften und Netzwerke. Besonders gefragt sind Absolventen im Bereich Hochleistungsrechnen und Cybersicherheit.

Wichtige Informationen

  • Das Studium dauert in der Regel sechs Semester und schließt mit dem Bachelor of Science (B.Sc.) ab.
  • Studienbeginn ist in der Regel im Wintersemester.
  • Für die Bewerbung sind Deutschkenntnisse auf DSH 2-Niveau erforderlich.
  • Ab Wintersemester 2024/25 ist auch ein Teilzeitstudium möglich.

Solltest du diesen Studiengang studieren?

Interessierst Du Dich für die Programmierung und Softwareentwicklung?

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

Arbeitest Du gerne mit Computern und technischer Ausrüstung?

Findest Du Mathematik und Logik faszinierend?

Bist Du bereit, kontinuierlich neue Technologien und Konzepte zu lernen?

Hast Du Interesse an den theoretischen Grundlagen der Informatik?

Kannst Du strukturiert und präzise arbeiten?

Arbeitest Du gerne sowohl alleine als auch im Team an Projekten?

Weiter
In App öffnen

4.7

Bewertungen von Bachelor of Science Informatik

  • 5.0

    Die Informatik an der Universität Erlangen-Nürnberg ist echt top. Das Kursangebot ist richtig breit gefächert und man findet auf jeden Fall spannende Themen. Das Studentenleben ist super lebendig und es wird einem nie langweilig – da ist für jeden was dabei. Besonders toll finde ich auch die vielen Möglichkeiten, mit anderen Studenten zu vernetzen und neue Freunde zu finden. Insgesamt macht das Studium hier einfach richtig Spaß!

    Lijuan D.

    Lijuan D.

  • 5.0

    Der Campus der Universität Erlangen-Nürnberg ist einfach großartig. Es gibt viele grüne Plätze, wo man zwischen den Vorlesungen entspannen kann. Die Unterstützungsdienste sind super hilfreich – sei es beim Lernen oder bei organisatorischen Fragen, man findet immer jemanden, der einem weiterhilft. Die Atmosphäre ist einfach klasse, alle sind total hilfsbereit und freundlich. Insgesamt kann ich das Informatikstudium hier nur wärmstens empfehlen!

    Scott E.

    Scott E.

  • 4.0

    Die Informatik an der Universität Erlangen-Nürnberg ist echt stark. Besonders die Studieneinrichtungen sind modern und gut ausgestattet – man hat alles, was man braucht. Der Standort ist auch super, die Stadt ist wunderschön und hat viele Freizeitmöglichkeiten. Natürlich gibt es auch ein paar Nachteile, wie z.B. manchmal überfüllte Bibliotheken. Insgesamt aber ein tolles Studium mit vielen Pluspunkten!

    Bi W.

    Bi W.

Ausgewählte Universitäten

IU Internationale Hochschule

Erfurt, Thüringen

TU München

München, Bayern

FOM Hochschule für Oekonomie & Management

Essen, Nordrhein-Westfalen

Universität Wien

Wien, Wien

FernUniversität in Hagen

Hagen, Nordrhein-Westfalen

RWTH Aachen

Aachen, Nordrhein-Westfalen

Finde dein Modul innerhalb Bachelor of Science Informatik

Grundlagenmodul Kurs ansehen
Handhabungs- und Montagetechnik Kurs ansehen
Hardware-Software-Co-Design Kurs ansehen
Hauptseminar Messtechnik Kurs ansehen
Heterogene Rechnerarchitekturen Online Kurs ansehen
HPC Software Projekt Kurs ansehen
Human Computer Interaction Kurs ansehen
Human Factors in Security and Privacy Kurs ansehen
Implementierung von Datenbanksystemen Kurs ansehen
Industrie 4.0 - Anwendungsszenarien in Design und Engineering Kurs ansehen

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

Kostenfrei loslegen