Stilllegung des Forums
Das Forum wurde am 05.06.2023 nach über 20 Jahren stillgelegt (weitere Informationen und ein kleiner Rückblick).
Registrierungen, Anmeldungen und Postings sind nicht mehr möglich. Öffentliche Inhalte sind weiterhin zugänglich.
Das Team von spieleprogrammierer.de bedankt sich bei der Community für die vielen schönen Jahre.
Wenn du eine deutschsprachige Spieleentwickler-Community suchst, schau doch mal im Discord und auf ZFX vorbei!
Werbeanzeige
Anonymous
unregistriert
Administrator
Zitat von »"Abrexxes"«
Die Theorie kann aber nicht schaden, ist aber ohne die Praxis genau 0 Wert.
Anonymous
unregistriert
Zitat von »"David Scherfgen"«
Das alles ist aber Grundlage für alles, was wir heute am Computer machen können.
Anonymous
unregistriert
Administrator
Zitat von »"Abrexxes"«
Und diese Grundlagen entstanden durch praktische Experimente, überlegungen und des definieren in einer allgemeinen Logik (Theorie).
Anonymous
unregistriert
Administrator
Zitat von »"Abrexxes"«
Also, haben die damals Jahrelang Therotisch rumbebastelt und plötzlich "bumm" fertig war die erste Maschinensprache.?
Zitat von »"Abrexxes"«
Sorry. Aber Ihr stellt hier Theoretisches üBER praktisches.
Zitat von »"Abrexxes"«
Ich kann aber gern beim ersten "Relais" und dessen logischer Funktion anfangen.
Anonymous
unregistriert
Zitat
n der Berechenbarkeitstheorie wird die algorithmische Lösbarkeit von Problemen untersucht. Insbesondere geht es um die Analyse der internen Struktur von Problemen und um die Klassifikation von Problemen nach verschiedenen Graden der Unlösbarkeit.
Ein Ergebnis der Berechenbarkeitstheorie ist die Erkenntnis, dass das Halteproblem unentscheidbar ist, man also keinen Algorithmus finden kann, der ein beliebiges Programm daraufhin untersucht, ob es jemals (bei einer bestimmten Eingabe) anhält oder in einer Endlosschleife weiterläuft. Ebenfalls unentscheidbar ist das dem Halteproblem innenliegende Verifikationsproblem, bei dem ein beliebiges Programm überprüft werden soll, ob es eine bestimmte mathematische Spezifikation erfüllt. Aus der Unentscheidbarkeit folgt, dass diese beiden Fragestellungen nicht für alle Algorithmen entschieden werden können. Im speziellen kann dies jedoch für bestimmte Algorithmen möglich sein. Dabei ist das Problem des Haltens eine Voraussetzung für das Problem der Verifikation.
Werbeanzeige