Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management

Karteikarten und Zusammenfassungen für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management

Arrow Arrow

Komplett kostenfrei

studysmarter schule studium
d

4.5 /5

studysmarter schule studium
d

4.8 /5

studysmarter schule studium
d

4.5 /5

studysmarter schule studium
d

4.8 /5

Lerne jetzt mit Karteikarten und Zusammenfassungen für den Kurs Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management.

Beispielhafte Karteikarten für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management auf StudySmarter:

Mit welchen Fragestellungen befasst sich Theoretische Informatik? 

Beispielhafte Karteikarten für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management auf StudySmarter:

Welche Fragen (spezifisch) können mit theoretischer Informatik gelöst werden?

Beispielhafte Karteikarten für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management auf StudySmarter:

Durch mathematischen Methoden verbessern wir:

Beispielhafte Karteikarten für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management auf StudySmarter:

Theoretisches Wissen bewahrt Sie vor groben Fehlern

Beispielhafte Karteikarten für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management auf StudySmarter:

Was ist durch Tests nicht Beweisbar?

Beispielhafte Karteikarten für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management auf StudySmarter:

Können wir uns Softwarefehler erlauben?

Beispielhafte Karteikarten für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management auf StudySmarter:

Alle Firmen können Fehler einbauen und sind davon potentiell/waren schon betroffen.

Beispielhafte Karteikarten für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management auf StudySmarter:

Fehler Ursachen

Beispielhafte Karteikarten für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management auf StudySmarter:

Ein Informatiker sollte …

Beispielhafte Karteikarten für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management auf StudySmarter:

Was ist ein Beweis?

Beispielhafte Karteikarten für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management auf StudySmarter:

Was ist ein guter Beweis?

Beispielhafte Karteikarten für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management auf StudySmarter:

Es gibt genauso viele gerade Zahlen wie natürliche Zahlen

Kommilitonen im Kurs Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management. erstellen und teilen Zusammenfassungen, Karteikarten, Lernpläne und andere Lernmaterialien mit der intelligenten StudySmarter Lernapp. Jetzt mitmachen!

Jetzt mitmachen!

Flashcard Flashcard

Beispielhafte Karteikarten für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management auf StudySmarter:

Formale Beschreibungsverfahren

Mit welchen Fragestellungen befasst sich Theoretische Informatik? 

• Was ist machbar und was nicht?
• Warum ist das so?
• Gibt es allgemeine Methoden zur Lösung eines Problems?
• Welche Erkenntnisse kann man als gesichert betrachten?

Formale Beschreibungsverfahren

Welche Fragen (spezifisch) können mit theoretischer Informatik gelöst werden?

Auf welche Arten kann man Hard-/Softwaremodule kombinieren?
• Wie hängen verschiedenartige Computerarchitekturen zusammen?
• Wie kann man sicherstellen, dass Software korrekt ist?
• Wie flexibel kann man Programmiersprachen gestalten?
• Was kann man prinzipiell mit Computern lösen, was nicht?
• Welche Probleme sind effizient lösbar – welche nicht?

Formale Beschreibungsverfahren

Durch mathematischen Methoden verbessern wir:

Abstraktion von irrelevanten Details
• Hardware oder Programmiersprache

Fokus auf beweisbare Erkenntnisse mit weitreichender Gültigkeit

Formale Beschreibungsverfahren

Theoretisches Wissen bewahrt Sie vor groben Fehlern

Viele Programmierer haben sich schon in Probleme verbissen, weil sie nicht
wussten oder glaubten, dass sie unlösbar sind, z. Bsp.:
• optimale Navigation ist nicht effizient möglich,

flexible Programmiersprachen sind nicht (effizient) compilierbar und
• Korrektheit von Software kann nicht getestet werden.

Formale Beschreibungsverfahren

Was ist durch Tests nicht Beweisbar?

Korrektheit von Software ist durch Tests nicht beweisbar

Formale Beschreibungsverfahren

Können wir uns Softwarefehler erlauben?

Ja

Formale Beschreibungsverfahren

Alle Firmen können Fehler einbauen und sind davon potentiell/waren schon betroffen.

Nein

Formale Beschreibungsverfahren

Fehler Ursachen

Große, unrealistische Projekte mit unklaren Anforderungen
• Termindruck führt zu vorschneller Auslieferung
• Probleme führen zu ad hoc-Änderungen statt Revision des Entwurfs
•Implementierung fokussiert auf Modellierungs-/Programmiersprachen statt auf Analyse
des Problembereichs
• Es gibt tatsächlich noch “Programmierer”, die sich direkt an ihr Terminal setzen und
Programme eintippen, ohne einen Entwurf zu machen
• Programmierer geben keine Begründung für Korrektheit ihres Programms

Formale Beschreibungsverfahren

Ein Informatiker sollte …

Nachweisen können, dass Programme ihre vorgesehenen Aufgaben korrekt erfüllen

Formale Beschreibungsverfahren

Was ist ein Beweis?

Eine Begründung, warum eine Behauptung gelten soll

Ein Beweis ist ein Argument, das den Leser überzeugt

Formale Beschreibungsverfahren

Was ist ein guter Beweis?

Klar erkennbarer roter Faden in der Argumentation • Knapp genug, um verständlich zu sein • Genau genug, um fehlende Details rekonstruieren zu können • Keine Gedankensprünge, außer wenn sie leicht nachvollziehbar sind

Formale Beschreibungsverfahren

Es gibt genauso viele gerade Zahlen wie natürliche Zahlen

Jeder Natürlichen Zahl, egal wie groß sie ist, kann man eine gerade Zahl zuordnen, nämlich ihr Doppeltes. Umgekehrt kann man auch jeder geraden Zahl genau eine Natürliche Zahl zuordnen, nämlich ihre Hälfte.

Melde dich jetzt kostenfrei an um alle Karteikarten und Zusammenfassungen für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management zu sehen

Singup Image Singup Image
Wave

Andere Kurse aus deinem Studiengang

Für deinen Studiengang Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management gibt es bereits viele Kurse auf StudySmarter, denen du beitreten kannst. Karteikarten, Zusammenfassungen und vieles mehr warten auf dich.

Zurück zur FOM Hochschule für Oekonomie & Management Übersichtsseite

Was ist StudySmarter?

Was ist StudySmarter?

StudySmarter ist eine intelligente Lernapp für Studenten. Mit StudySmarter kannst du dir effizient und spielerisch Karteikarten, Zusammenfassungen, Mind-Maps, Lernpläne und mehr erstellen. Erstelle deine eigenen Karteikarten z.B. für Formale Beschreibungsverfahren an der FOM Hochschule für Oekonomie & Management oder greife auf tausende Lernmaterialien deiner Kommilitonen zu. Egal, ob an deiner Uni oder an anderen Universitäten. Hunderttausende Studierende bereiten sich mit StudySmarter effizient auf ihre Klausuren vor. Erhältlich auf Web, Android & iOS. Komplett kostenfrei. Keine Haken.

Awards

Bestes EdTech Startup in Deutschland

Awards
Awards

European Youth Award in Smart Learning

Awards
Awards

Bestes EdTech Startup in Europa

Awards
Awards

Bestes EdTech Startup in Deutschland

Awards
Awards

European Youth Award in Smart Learning

Awards
Awards

Bestes EdTech Startup in Europa

Awards