Fragen zum Verhältnis der (Teil-) Informatik zu den relevanten mathematischen Grundlagen und deren Anwendung.
Mir ist aufgefallen, dass ich es viel einfacher finde, mathematische Beweise fehlerfrei aufzuschreiben, als ein fehlerfreies Computerprogramm aufzuschreiben. Es scheint, dass dies etwas weiter verbreitet ist als nur meine Erfahrung. Die meisten Leute machen ständig Softwarefehler in ihrer...
Vielleicht liegt eine Entschuldigung vor, dass ich eine andere Frage zu den Voraussetzungen gestellt habe, aber ich war über die Ausgangspunkte verwirrt. Ich bin auf verschiedene Begriffe gestoßen, wie "Modale Logik", "Zeitliche Logik", "Logik erster Ordnung", "Logik zweiter Ordnung" und "Logik...
Ich verstehe, dass die "Struktur" von Daten vollständig von der Booleschen Algebra abhängt, aber: Warum werden Daten nicht als kontinuierliche, sondern als diskrete mathematische Einheit betrachtet? Im Zusammenhang damit: Was sind die Nachteile oder Invarianten, die bei der Strukturierung von Daten...
Dies ist eine naive und daher möglicherweise falsch formulierte Frage, also entschuldigen Sie sich im Voraus! Meiner Ansicht nach kann eine Turing-Maschine als Berechnungsgrundlage für prozedurale / imperative Programmiersprachen angesehen werden. Ebenso ist der Lambda-Kalkül die Grundlage für...
Ich habe die Lineare Algebra und ihre Anwendungen gelesen , um Informatikmaterial (hauptsächlich maschinelles Lernen) besser zu verstehen, aber ich bin besorgt, dass viele Informationen für CS nicht nützlich sind. Zum Beispiel scheint es nicht sehr nützlich zu sein, zu wissen, wie lineare...
Ich bin ein Student der Informatik auf Universitätsniveau mit einer großen Leidenschaft für das Studium der Mathematik. Ich bin der festen Überzeugung, dass Informatik oder Theoretische Informatik ein direkter Zweig der Mathematik und Logik ist und dass ein Informatik-Abschluss eigentlich immer auf...
Geschlossen . Diese Frage ist meinungsbasiert . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage, damit sie mit Fakten und Zitaten beantwortet werden kann, indem Sie diesen Beitrag bearbeiten . Geschlossen vor 2 Jahren . Im Allgemeinen sind...
Bei einer Reihe von Werten , der Shannon Entropy in Log - Basis zu kommen . Soweit ich weiß, ist die aufgerundete Shannon-Entropie in Basis die minimale Anzahl von Binärbits, um einen einzelnen der Werte darzustellen.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 Entnommen aus der Einführung...
Bei dieser Frage geht es darum, ob jeder mathematische Satz auf die Frage reduziert werden kann, ob eine einzelne Turing-Maschine anhält. Insbesondere interessieren mich Vermutungen, die derzeit nicht bewiesen sind. Zum Beispiel: Wikipedia sagt, dass es derzeit nicht bekannt ist, ob es ungerade...
Ich lese gerade einige Artikel über Markov-Kettenklumpen und sehe keinen Unterschied zwischen einer Markov-Kette und einem einfach gerichteten gewichteten Graphen. Zum Beispiel bieten sie im Artikel Optimale Zustandsraum-Klumpenbildung in Markov-Ketten die folgende Definition einer CTMC...
In dem Buch Berechenbarkeit, Komplexität und Sprachen (2 nd edition), schreibt Martin Davis in Kapitel 1 (Preliminaries), Abschnitt 2 (Funktionen): Eine Teilfunktion auf einer Menge ist einfach eine Funktion, deren Domäne eine Teilmenge von . Ein Beispiel für eine Teilfunktion von ist , wobei die...
Diese Frage basiert auf Hausaufgaben (ohne das eigentliche Problem zu verwenden)! Angenommen, Sie haben eine Funktion, die wie folgt beschrieben wird: f(n)∈O(2n2).f(n)∈O(2n2).f(n) \in O(2n^2) \, . Können Sie dann Folgendes behandeln: f(n)=2n2f(n)=2n2f(n) = 2n^2 und führt Mathematik darauf und...